Opened 17 years ago

Closed 17 years ago

Last modified 48 years ago

#524 closed bug (Fixed)

Implicit Params broken

Reported by: lewie Owned by: nobody
Priority: high Milestone:
Component: Compiler Version: None
Keywords: Cc:
Operating System: Architecture:
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


The definition:

x () = ?wibble

gets assigned type:

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

instead of

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

Change History (1)

comment:1 Changed 17 years ago by lewie

Status: assignedclosed
Note: See TracTickets for help on using tickets.