default match policy not working in sequences

Matthias Radestock matthias at sorted.org
Mon Nov 1 12:46:17 CET 2004


# let ((x & 1) | (x := 2)) = 3;;
val x : 2 = 2
# let [((x & 1) | (x := 2))] = [3];;
Error at chars 30-31:
This expression should have type:
1
but its inferred type is:
3
which is not a subtype, as shown by the sample:
3


Am I doing something wrong, or is this a bug?


Matthias.




More information about the Cduce-users mailing list