Opened 8 years ago

Closed 8 years ago

Last modified 18 months ago

#238 closed defect (fixed)

Check for witness conflicts in initial expresson

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

Description

Like this: f (const R1#) (mutable R1#)

These are checked in a letregion by the core type checker, but we don't check the ones introduced by the interpreter.

Change History (2)

comment:1 Changed 8 years ago by benl

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

comment:2 Changed 18 months ago by benl

  • Milestone 0.2.0 deleted

Milestone deleted

Note: See TracTickets for help on using tickets.