Ticket #63 (new task)

Opened 7 years ago

Last modified 6 years ago

Mask closure terms which are constant

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


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

Change History

Changed 6 years ago by benl

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

Note: See TracTickets for help on using tickets.