Opened 10 years ago

Closed 7 years ago

#63 closed task (fixed)

Mask closure terms which are constant

Reported by: benl Owned by:
Priority: project Milestone:
Component: Source Type Inferencer Version:
Keywords: Cc:

Description

Probably want to implement the Shared constraint from thesis at the same time.

Change History (2)

comment:1 Changed 10 years ago by benl

This is a hazy, experimental change to the type inferencer I should try some time.

comment:2 Changed 7 years ago by benl

  • Resolution set to fixed
  • Status changed from new to closed

The new core language masks closure terms with the 'forget' cast

Note: See TracTickets for help on using tickets.