This is ambiguous:

main =
a := 1 {2}

[ report-ambs | error ] Ambiguity found in strategy main
amb>
1> a := 1{2}
2> a := 1 { 2 }
<amb

i.e., it seems to recognize it as (a := 1){2} and a := (1{2}).

Submitted on 2 April 2007 at 09:37