Opened 11 years ago

Closed 9 years ago

#51 closed refactor (fixed)

Refactor representation of Effects and Closures to use Sets

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


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

Change History (1)

comment:1 Changed 9 years ago by benl

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

Fixed in core type checker.

Note: See TracTickets for help on using tickets.