Skip to content
  • Richard Eisenberg's avatar
    Fix #8884. · 8c5ea91d
    Richard Eisenberg authored
    There were two unrelated errors fixed here:
     1) Make sure that only the *result kind* is reified when reifying
        a type family. Previously, the whole kind was reified, which
        defies the TH spec.
    
     2) Omit kind patterns in equations.
    8c5ea91d