• eir@cis.upenn.edu's avatar
    Fix #11246. · 489e6ab5
    eir@cis.upenn.edu authored
    We have to instantiate any invisible arguments to type families
    right away. This is now done in tcTyCon in TcHsType.
    
    testcase: typecheck/should_compile/T11246
    489e6ab5
all.T 18.5 KB