Ticket #36 (closed defect: fixed)
Give better source location info for Const/Write errors.
|Reported by:||benl||Owned by:|
|Component:||Source Type Inferencer||Version:||0.1.2|
Try and find the write effect / source of constness. or at least give different source locations.
test/Error/Purity/ConstWrite/Main.ds:16:8 Conflicting region constraints. constraint: Base.Mutable %86 from the use of: a at: test/Error/Purity/ConstWrite/Main.ds:16:8 conflicts with, constraint: Base.Const %86 from the use of: a at: test/Error/Purity/ConstWrite/Main.ds:16:8
Note: See TracTickets for help on using tickets.