Opened 15 years ago

Closed 15 years ago

Last modified 46 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: 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 15 years ago by lewie

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