[Avail] weird n-ary (tuple) update behaviour

[Robbert van Dalen]

Hi,

I’ve stumbled on the following weirdness:

This compiles and runs:

Method "testpath" is [
        t : <<natural number…|3>…|> := <<1,2,3>,<4,5,6>>;
        n ::= t[1][3] → 7;
        Require: <<1,2,7>,<4,5,6>> = n;
        {n,t}
];

{<<1, 2, 7>, <4, 5, 6>>, <<1, 2, 3>, <4, 5, 6>>}

But without the Require, it doesn’t compile??

Method "testpath" is [
        t : <<natural number…|3>…|> := <<1,2,3>,<4,5,6>>;
        n ::= t[1][3] → 7;
        {n,t}
];

>>> Expected...
>>>     unambiguous interpretation.  Here are two possible parsings...
>>>             «t«[1]»«[3]»→ 7»
>>>             ««t[1]»[3]→ 7»

cheers,
Robbert.

signature.asc
Description: Message signed with OpenPGP using GPGMail