Opened 6 years ago

Closed 6 years ago

#255 closed defect (fixed)

Anonymisation transform doesn't work with letregions construct

Reported by: benl Owned by: tranma
Priority: high Milestone: 0.3.0
Component: Core Transforms Version: 0.2.1
Keywords: Cc:

Description (last modified by tranma)

> :trans..
letregions r1 r2 with { w : Distinct r1 r2 } in ();;
* CRASH AND BURN: Type error in transformed program.
Witness type is not for bound regions.
      letregion binds: ^0^0
  but witness type is: ^ : Distinct2 ^1 ^0

with: letregions ^ ^ with {^ : Distinct2 ^1 ^0} in
      ()

Transformed expression:
letregions ^ ^ with {^ : Distinct2 ^1 ^0} in ()

This is probably a problem with letregions rather than with Anonymize:

> letregions ^ ^ with { w : Distinct ^1 ^0 } in ();;
When checking expression.
  Witness type is not for bound regions.
        letregion binds: ^0^0
    but witness type is: w : Distinct2 ^1 ^0
  
  with: letregions ^ ^ with {w : Distinct2 ^1 ^0} in
        ()

Change History (2)

comment:1 Changed 6 years ago by tranma

  • Description modified (diff)
  • Owner set to tranma
  • Priority changed from normal to high
  • Status changed from new to assigned

comment:2 Changed 6 years ago by benl

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