RE: External Core typechecker bug

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:krc@xxxxxxxxxxxxxxxxxxx]
| Sent: 19 February 2003 19:22
| To: glasgow-haskell-bugs@xxxxxxxxxxx
| 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 * krc@xxxxxxxxxxxxxxxxxxx * Often in error, never in
doubt
| _______________________________________________
| Glasgow-haskell-bugs mailing list
| Glasgow-haskell-bugs@xxxxxxxxxxx
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs