Ticket #51 (closed refactor: fixed)
Refactor representation of Effects and Closures to use Sets
|Reported by:||benl||Owned by:|
|Component:||Source Type Inferencer||Version:|
Using lists is a pain because we have to worry about duplicates, and flattening nesting after substitution.
Note: See TracTickets for help on using tickets.