Opened 10 years ago

Closed 9 years ago

#36 closed defect (fixed)

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 (2)

comment:1 Changed 10 years ago by benl

  • Version set to 0.1.2

comment:2 Changed 9 years ago by benl

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