Parsing error on specific explicit type expression

[bobismijnnaam]

The following example doesn't parse:

function f(): Int
{
  (f(R[0..][..5], true): Int)
}

I think according to the tutorial it should. Can it be fixed? Notice that the "..5" expression can be replaced by "0", or the ": Int" part can be removed, to make the example parse again.

[bobismijnnaam]

My example above is fixed by removing the cut ~/ operator on the line referenced below in fastparser, and replacing it with a regular concat ~:

silver/src/main/scala/viper/silver/parser/FastParser.scala

Line 844 in c566958

FP("[" ~ Pass ~ ".." ~/ exp ~ "]").map { case (pos, n) => SuffixedExpressionGenerator[PExp]((e: PExp) => PSeqTake(e, n)(pos)) } |

I have never used this library before, and have next to no experience with silver's grammar, so I can't estimate what the correctness/performance/user experience/error reporting impacts is of this change. But if these concerns are only minor I would like to request that this change is incorporated into silver, as we experience this problem quite a lot (i.e. having to manually modify the encoded silver file before being able to check it with vscode). Of course if there is a better solution available I would be very happy with that as well; I mostly want to be able to easily check my files in vscode :) Let me know if additional work is necessary or if you would like me to create a PR.