diff options
Diffstat (limited to 'grammars/ljung/variants/TestVars.gf')
| -rw-r--r-- | grammars/ljung/variants/TestVars.gf | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/grammars/ljung/variants/TestVars.gf b/grammars/ljung/variants/TestVars.gf new file mode 100644 index 000000000..5341f12fe --- /dev/null +++ b/grammars/ljung/variants/TestVars.gf @@ -0,0 +1,14 @@ + +concrete TestVars of TestVarsA = open TestVarsR in { + +lincat S = { s : XYZ => Str; p : { s : Str; a : AB } }; + +lin a = { s = table { X _ => variants { "x1" ; "x2" }; + Y => variants { "y1" ; "y2" }; + _ => variants { "z1" ; "z2" } }; + p = variants { { s = "s1" ; a = A } ; + { s = "s2" ; a = B } }; + }; + +} + |