[ ghc-Bugs-414990 ] Implicit Params broken

noreply@sourceforge.net noreply@sourceforge.net
Tue, 24 Apr 2001 16:28:31 -0700


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

Category: Compiler
Group: None
>Status: Closed
Resolution: Fixed
Priority: 7
Submitted By: Jeffrey R. Lewis (lewie)
Assigned to: Nobody/Anonymous (nobody)
Summary: Implicit Params broken

Initial Comment:
The definition:

x () = ?wibble

gets assigned type:

x :: __forall t => t -> () -> t;

instead of

x :: __forall t (?wibble :: t) => () -> t;


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

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