Opened 6 years ago

Closed 4 years ago

#307 closed refactor (wontfix)

Shift lazy witness type constructors to Eval fragment

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

Description


Change History (4)

comment:1 Changed 6 years ago by benl

  • Milestone changed from 0.3.2 to 0.3.3

comment:2 Changed 6 years ago by benl

  • Milestone changed from 0.3.3 to 0.4.1

comment:3 Changed 6 years ago by benl

  • Milestone changed from 0.4.1 to 0.4.2

comment:4 Changed 4 years ago by benl

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

Eval fragment is deprecated.

Note: See TracTickets for help on using tickets.