Opened 9 years ago

Closed 7 years ago

#181 closed defect (wontfix)

Fix display of node effects in type error messages

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

Description

PurifyReadWrite2 reports:

   Conflicting region constraints.
               constraint: Base.Const %75
        which purifies
              the use of: (*)
                 of type: (224 225)
                      at: ./test/15-Typing/Purity/PurifyReadWrite2/Test.ds:5:25

The application (224 225) isn't getting expanded to the real effect.

Change History (4)

comment:1 Changed 9 years ago by benl

  • Priority changed from blocker to normal

comment:2 Changed 9 years ago by benl

  • Milestone changed from 0.1.3 to 0.1.4

comment:3 Changed 8 years ago by benl

  • Milestone 0.1.4 deleted

Milestone 0.1.4 deleted

comment:4 Changed 7 years ago by benl

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