Opened 6 years ago

Closed 4 years ago

#319 closed enhancement (fixed)

During type inference, ensure all annots on ctor fields refine type env before checking bodies.

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

Description (last modified by benl)

Looks like this was already fixed.

Change History (3)

comment:1 Changed 6 years ago by benl

  • Summary changed from During type inference, ensure all annots on ctor fields refine type env before checking any alt bodies. to During type inference, ensure all annots on ctor fields refine type env before checking bodies.

comment:2 Changed 6 years ago by benl

  • Milestone changed from 0.4.1 to 0.4.2

comment:3 Changed 4 years ago by benl

  • Description modified (diff)
  • Resolution set to fixed
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.