Opened 13 years ago

Closed 13 years ago

Last modified 44 years ago

#528 closed bug (Invalid)

GHC5.0 restricted bindings broken

Reported by: lewie Owned by: nobody
Priority: highest Milestone:
Component: Compiler (Type checker) Version: None
Keywords: Cc:
Operating System: Architecture:
Type of failure: Difficulty:
Test Case: Blocked By:
Blocking: Related Tickets:

Description

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.

Change History (2)

comment:1 Changed 13 years ago by lewie

Logged In: YES 
user_id=50286

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

comment:2 Changed 13 years ago by lewie

  • Status changed from assigned to closed
Note: See TracTickets for help on using tickets.