-
Simon Peyton Jones authored
------------------------------------------- Desugar bindings into Rec groups more often ------------------------------------------- In rather obscure cases (involving functional dependencies) it is possible to get an AbsBinds [] [] (no tyvars, no dicts) which nevertheless has some "dictionary bindings". These come out of the typechecker in non-dependency order, so we need to Rec them just in case. It turns out to be a bit awkward. The smallest fix is to make dsLet always make a Rec; brutal but correct.
95e31ad5