Jan Mas Rovira

@ii8 Thanks again for this contribution!

@lukaszcz We discussed this issue before you joined. We want to have as-patterns using the Haskell syntax that you already displayed above: `x@(cons _ _)`. It's not in the language...

> Is it fine if I just add "@" to reservedSymbols? You don't use it anywhere, you plan to use it for as-patterns (which probably requires making it reserved anyway),...

I haven't been able to reproduce this problem. Can you provide a minimal example?

I'd say go for option 1 since it is the simplest and is enough for what we need now (and probably what we'll need for a long while). When/if needed,...

any ideas of how this could be tested? Maybe we could have a parser for the subset of isabelle that we are producing. Then we would manually write the expected...