Closed lausdahl closed 10 years ago
The parser does something strange when parsing the following:
aux2 = {c.x.x | x: nat @ x = 3}
this parses as c.x, note the mising x.
c.x
A similar issue happens with c.1.2 which gives a number c.(1,2)
c.1.2
c.(1,2)
This example seems to work fine; we can't reproduce it even on Kenneth's machine.
The second example is related to #215.
The parser does something strange when parsing the following:
this parses as
c.x
, note the mising x.A similar issue happens with
c.1.2
which gives a numberc.(1,2)