Aha, this was more complicated. The trouble is that an External Core module may refer to some "implicit" things (in this case the type :TEq) that are automatically produced from a normal Haskell thing (in this case the class Eq). The dependency analyser wasn't "seeing" these implicit dependencies, and as a result we ended up compiling the declarations in the wrong order.
The fix is easy, albeit tiresome. Done, anyway. Simon | -----Original Message----- | From: Kirsten Chevalier [mailto:[EMAIL PROTECTED]] | Sent: 19 February 2003 19:22 | To: [EMAIL PROTECTED] | Subject: External Core typechecker bug | | The external core file resulting from compiling the "circsim" nofib | benchmark won't compile with GHC 5.05 -- I get the following error message: | | tcLookup: `GHC.Base.:TEq' is not in scope | When checking kinds in `GHC.Base.:TEq a' | In the data type declaration for `Main.:TSignal' | | -- | Kirsten Chevalier * [EMAIL PROTECTED] * Often in error, never in doubt | _______________________________________________ | Glasgow-haskell-bugs mailing list | [EMAIL PROTECTED] | http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs _______________________________________________ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
