[ ghc-Bugs-415225 ] GHC5.0 restricted bindings broken

[noreply@sourceforge.net]

Bugs item #415225, was updated on 2001-04-10 12:47
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=108032&aid=415225&group_id=8032

Category: Compiler (Type checker)
Group: None
Status: Open
Priority: 9
Submitted By: Jeffrey R. Lewis (lewie)
Assigned to: Nobody/Anonymous (nobody)
Summary: GHC5.0 restricted bindings broken

Initial Comment:
How did this compiler get thru its regression tests?

x () = y where y = 1

yields:

N.hs:4:
    Could not deduce `Num t' from the context ()
    Probable fix:
	Add `Num t' to the banding(s) for {y}
    arising from the literal `1' at N.hs:4
    in the definition of function `y': 1

After a glance thru TcBinds, I see that in
`generalise', under the `RESTRICTED CASE', it calls
`generalise_help' to do most of the work.  However,
`generalise_help' only appears to be designed to handle
the UNrestricted case, judging from the comments.

The good news is that the second implicit param bug is
probably just an instance of this same bug.

----------------------------------------------------------------------

>Comment By: Jeffrey R. Lewis (lewie)
Date: 2001-04-10 13:43

Message:
Logged In: YES 
user_id=50286

Deep apologies... was accidently using a debugging version,
not the real ghc.  This bug report is bogus.

----------------------------------------------------------------------

You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=108032&aid=415225&group_id=8032