Ticket #181 (new defect)

Opened 3 years ago

Fix display of node effects in type error messages

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

Description

PurifyReadWrite?2 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.

Note: See TracTickets for help on using tickets.