[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)
-------------------------------------------
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.


No differences found