diff options
| author | peb <unknown> | 2004-04-30 07:17:03 +0000 |
|---|---|---|
| committer | peb <unknown> | 2004-04-30 07:17:03 +0000 |
| commit | 181e12823019301bd483414de64e9f187f858807 (patch) | |
| tree | 116086ee1dd569743e0dad4b2d3f7d0ea70d5fad /grammars | |
| parent | cbbb6d65c7bd05a0543c4e023610a2a9bbfe2054 (diff) | |
*** empty log message ***
Diffstat (limited to 'grammars')
| -rw-r--r-- | grammars/testConversions/MicroAbs.gf | 8 | ||||
| -rw-r--r-- | grammars/testConversions/MicroCnc.gf | 10 |
2 files changed, 18 insertions, 0 deletions
diff --git a/grammars/testConversions/MicroAbs.gf b/grammars/testConversions/MicroAbs.gf new file mode 100644 index 000000000..44a3a0982 --- /dev/null +++ b/grammars/testConversions/MicroAbs.gf @@ -0,0 +1,8 @@ + +abstract MicroAbs = { + +cat S; + +fun vars : S; + +} diff --git a/grammars/testConversions/MicroCnc.gf b/grammars/testConversions/MicroCnc.gf new file mode 100644 index 000000000..c58c44c9b --- /dev/null +++ b/grammars/testConversions/MicroCnc.gf @@ -0,0 +1,10 @@ + +concrete MicroCnc of MicroAbs = { + +lincat S = {a : {s1:Str ; s2:Str}}; + +lin vars = {a = variants { {s1="a" ; s2=variants{"b";"c"}} ; {s1="d";s2="e"} }}; + +} + + |