Opened 8 years ago

Closed 8 years ago

#246 closed defect (fixed)

universeFromType1 gives wrong result

Reported by: benl Owned by:
Priority: blocker Milestone: 0.3.0
Component: Core Type Checker Version: 0.2.1
Keywords: Cc:


Getting Nothing for Const r instead of Witness

Change History (1)

comment:1 Changed 8 years ago by benl

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