Opened 13 years ago

Closed 13 years ago

Last modified 44 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: Difficulty:
Test Case: Blocked By:
Blocking: Related Tickets:

Description

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 13 years ago by lewie

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