Typo in type error

[Simon Peyton-Jones]

Thanks.  Can't think how this one has survived so long.

S

| -----Original Message-----
| From: Alastair David Reid [mailto:reid at cs.utah.edu] 
| Sent: 17 August 2001 00:14
| To: glasgow-haskell-bugs at haskell.org
| Subject: Typo in type error
| 
| 
| 
| The 
| 
|   "with [(oenv, oenv), (benv, benv)]"
| 
| right at the end of this error message should be displayed in 
| legal Haskell syntax such as 
| 
|   "with ?benv=benv; ?oenv=oenv"
| 
| ../TcUnits.hs:160:
|     Could not deduce `?cenv :: ClassEnv' from the context ()
|     Probable fix:
|         Add `?cenv :: ClassEnv'
|         to the type signature(s) for {bundleIdents, bs', 
| benvty, benvty2, glues', benvty1, benv, ty, imps', exps', oenv}
|         Or add an instance declaration for `?cenv :: ClassEnv'
|     arising from use of `tcUnitType' at ../TcUnits.hs:160
|     in a pattern binding:
|         tcUnitType imps exps constraints is fs deps with 
| [(oenv, oenv),
|                                                           
| (benv, benv)]
| 
| [My compiler is a month or two old (some random snapshot of 
| 5.0) so this error may be fixed already.]
| 
| -- 
| Alastair Reid        reid at cs.utah.edu        
| http://www.cs.utah.edu/~reid/
| 
| 
| _______________________________________________
| Glasgow-haskell-bugs mailing list 
| Glasgow-haskell-bugs at haskell.org 
| http://www.haskell.org/mailman/listinfo/glasgow-| haskell-bugs
|