Open mattulbrich opened 5 months ago
This PR is meant as a wip - tryout - branch for mixfix parsing in KeY
We want to define syntax for symbols in .key files. This here allows you to do so.
You can now do this:
\functions { int myExp(int, int) \syntax _/30 !! _/30; int mySeqGet(Seq, int) \syntax _/100 --> _ <--; int myadd(int, int) \syntax _/40 ++ _/40; } \problem { ~ 3 ++ 3 !! 4 ++ (seqEmpty --> 3 <--) ~ > 0 }
In this experiment branch you need to add ~ to enter mixfix parsing.
~
It is still WIP.
The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.
de.uka.ilkd.key.nparser.ExprTest
This PR is meant as a wip - tryout - branch for mixfix parsing in KeY
Related Issue
We want to define syntax for symbols in .key files. This here allows you to do so.
Intended Change
You can now do this:
In this experiment branch you need to add
~
to enter mixfix parsing.Type of pull request
Ensuring quality
It is still WIP.
The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.