Opened 3 years ago

Closed 2 years ago

#368 closed defect (fixed)

Check for unconstrained meta-variables after inference.

Reported by: benl Owned by:
Priority: normal Milestone: 0.4.3
Component: Unknown Version: 0.4.2
Keywords: Cc:

Description

Unconstrained type meta-variables should not end up in interface files as multiple client modules might want to instantiate them differently. Eg with

foo x = x

The inferred type will be something like

foo : ?123 -> ?123

rather than properly polymorphic as we don't do let-generalisation.

Either default these to some Any type, or throw an error.

Change History (1)

comment:1 Changed 2 years ago by benl

  • Resolution set to fixed
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.