Ticket #51 (closed refactor: fixed)

Opened 4 years ago

Last modified 3 years ago

Refactor representation of Effects and Closures to use Sets

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

Description

Using lists is a pain because we have to worry about duplicates, and flattening nesting after substitution.

Change History

Changed 3 years ago by benl

  • status changed from new to closed
  • resolution set to fixed

Fixed in core type checker.

Note: See TracTickets for help on using tickets.