Opened 11 years ago

Closed 8 years ago

#29 closed enhancement (fixed)

Check well-formedness of bound witnesses in letregion

Reported by: benl Owned by:
Priority: minor Milestone:
Component: Source Type Inferencer Version:
Keywords: Cc:


The source to core translation shouldn't create malformed witnesses, but we should check them in core anyway.

Change History (2)

comment:1 Changed 9 years ago by erikd

  • Component changed from Build System to Source Type Inferencer

comment:2 Changed 8 years ago by benl

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

This is fixed in the new core language

Note: See TracTickets for help on using tickets.