projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1fc4b61) | patch
The dict-bindings in an IPBinds need not be in dependency order
authorsimonpj@microsoft.com <unknown>
Mon, 3 Jul 2006 15:15:17 +0000 (15:15 +0000)
committersimonpj@microsoft.com <unknown>
Mon, 3 Jul 2006 15:15:17 +0000 (15:15 +0000)
commit5c9c3660697f18ae9dcd95e254249d3dd908b94e
treeefa6412427580810489a467fae6955eab9b65725tree | snapshot
parent1fc4b619c20024735d6df56f9d33f10e1307e8accommit | diff
The dict-bindings in an IPBinds need not be in dependency order

This appears to be a long-standing bug, discovered by BlueSpec
(ravi@bluespec.com), Trac bug #795

The problem was that in an IP binding group, the dict bindings
aren't necessarily in dependency order; and if they aren't
we get a core-lint error.

Test tc203 checks this case.  (Though whether it shows up at
all depends a bit on accidental factors of binding ordering.)
compiler/deSugar/DsExpr.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)