Opened 7 years ago

Closed 7 years ago

Last modified 17 months ago

#237 closed defect (fixed)

Handle spill components of sums in type equivalence checker.

Reported by: benl Owned by:
Priority: high Milestone:
Component: Core Type Checker Version: 0.1.2
Keywords: Cc:

Description

See note in Type.Equiv

Change History (6)

comment:1 Changed 7 years ago by benl

  • Priority changed from normal to high

comment:2 Changed 7 years ago by benl

  • Summary changed from Add spill components of sums in type equivalence checker. to Handle spill components of sums in type equivalence checker.

comment:3 Changed 7 years ago by benl

  • Milestone 0.4.0 deleted

Milestone 0.4.0 deleted

comment:4 Changed 7 years ago by benl

  • Milestone set to 0.2.0

comment:5 Changed 7 years ago by benl

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

comment:6 Changed 17 months ago by benl

  • Milestone 0.2.0 deleted

Milestone deleted

Note: See TracTickets for help on using tickets.