• Richard Eisenberg's avatar
    Fix #12709 by not building bad applications · dca44adb
    Richard Eisenberg authored
    In an effort to report multiple levity polymorphism errors all at
    once, the desugarer does not fail when encountering bad levity
    polymorphism. But we must be careful not to build the bad applications,
    lest they try to satisfy the let/app invariant and call
    isUnliftedType on a levity polymorphic type. This protects calls
    to mkCoreAppDs appropriately.
    
    test case: typecheck/should_fail/T12709
    dca44adb
DsBinds.hs 55.5 KB