[project @ 2001-10-17 11:05:36 by simonpj]
authorsimonpj <unknown>
Wed, 17 Oct 2001 11:05:36 +0000 (11:05 +0000)
committersimonpj <unknown>
Wed, 17 Oct 2001 11:05:36 +0000 (11:05 +0000)
commit95e31ad5d5dbb3f3a3994fc267f6ed7591b86d17
tree2e6eb447d995e6eb937a53e83fb8984706deaef9
parent5afd840ff381e3743602330d6384df08fc7c47a8
[project @ 2001-10-17 11:05:36 by simonpj]
-------------------------------------------
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.
ghc/compiler/deSugar/DsBinds.lhs
ghc/compiler/deSugar/DsExpr.lhs