• eir@cis.upenn.edu's avatar
    Fix #11405. · 3c6635ef
    eir@cis.upenn.edu authored
    This adds a new variant of AbsBinds that is used solely for bindings
    with a type signature. This allows for a simpler desugaring that
    does not produce the bogus output that tripped up Core Lint in
    ticket #11405. Should make other desugarings simpler, too.
DsBinds.hs 48.9 KB