id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
181	Fix display of node effects in type error messages	benl		"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.
"	defect	new	blocker	0.1.3	Source Type Inferencer