Ticket #36 (closed defect: fixed)

Opened 6 years ago

Last modified 5 years ago

Give better source location info for Const/Write errors.

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

Description

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

Change History

Changed 6 years ago by benl

  • version set to 0.1.2

Changed 5 years ago by benl

  • status changed from new to closed
  • resolution set to fixed
Note: See TracTickets for help on using tickets.