Typo in type error

Alastair David Reid reid at cs.utah.edu
Thu Aug 16 19:13:35 EDT 2001


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/




More information about the Glasgow-haskell-bugs mailing list