diff options
| author | peb <unknown> | 2004-06-02 11:17:15 +0000 |
|---|---|---|
| committer | peb <unknown> | 2004-06-02 11:17:15 +0000 |
| commit | 7716f818869971da138cf706c124a6be73bbab62 (patch) | |
| tree | 4ec44ec8a042d15b48a4554ef8333e6395487689 /grammars/testConversions/MicroAbs.gf | |
| parent | 9b0a96859790a4d30bf2071a20a7e7d29dbd1131 (diff) | |
*** empty log message ***
Diffstat (limited to 'grammars/testConversions/MicroAbs.gf')
| -rw-r--r-- | grammars/testConversions/MicroAbs.gf | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/grammars/testConversions/MicroAbs.gf b/grammars/testConversions/MicroAbs.gf index 44a3a0982..3e2e6c24b 100644 --- a/grammars/testConversions/MicroAbs.gf +++ b/grammars/testConversions/MicroAbs.gf @@ -1,8 +1,16 @@ abstract MicroAbs = { -cat S; +cat S; V; VV; W; -fun vars : S; +fun +sv : V -> S; +vars : VV; +ww : W -> W; +svw : V -> W -> S; +supr : V -> V -> S; +supredup : S -> S -> S; +suplbl : V -> S; +reorder : V -> V -> V; } |