Opened 4 years ago

Last modified 3 years ago

#276 new refactor

Delay lifting of indices in type environments.

Reported by: benl Owned by:
Priority: normal Milestone:
Component: Core Type Checker Version: 0.2.1
Keywords: Cc:

Description

The 'lift' function on type environments applies to every member of the environment. We'd get better complexity by recording how many levels all types should be lifted by, and only applying the real lift function when the type is finally extracted.

Change History (1)

comment:1 Changed 3 years ago by benl

  • Milestone 0.4.0 deleted
Note: See TracTickets for help on using tickets.