The test below from stratego-sglr-tests fails.

Parse-string-pt results in a term with an amb() with a list as child (as it should). After asfix-anno-location the elements of the list are then the direct children of the amb node.

; apply-and-check(!“Location for a simple ambiguous expression”
, asfix-anno-location-test-strategy(|ambtbl)
, !“1 + 2 + 3”
, ?amb()
; fetch(
?Plus(
Int(“1”{Location(1,1,1,2)}){Location(1,1,1,2)}
, Plus(
Int(“2”{Location(1,5,1,6)}){Location(1,5,1,6)}
, Int(“3”{Location(1,9,1,10)}){Location(1,9,1,10)}
){Location(1,5,1,10)}
){Location(1,1,1,10)}
)
; fetch(
?Plus(
Plus(
Int(“1”{Location(1,1,1,2)}){Location(1,1,1,2)}
, Int(“2”{Location(1,5,1,6)}){Location(1,5,1,6)}
){Location(1,1,1,6)}
, Int(“3”{Location(1,9,1,10)}){Location(1,9,1,10)}
){Location(1,1,1,10)}
)
)

asfix-anno-location-test-strategy(|tbl) =
parse-string-pt(|tbl)
; asfix-anno-location
; implode-asfix

Submitted by Rob Vermaas on 13 May 2011 at 14:37

Fixed in r22881.