summaryrefslogtreecommitdiff
path: root/grammars/testConversions/TestVarsA.gf
diff options
context:
space:
mode:
Diffstat (limited to 'grammars/testConversions/TestVarsA.gf')
-rw-r--r--grammars/testConversions/TestVarsA.gf24
1 files changed, 0 insertions, 24 deletions
diff --git a/grammars/testConversions/TestVarsA.gf b/grammars/testConversions/TestVarsA.gf
deleted file mode 100644
index 1b34ddef1..000000000
--- a/grammars/testConversions/TestVarsA.gf
+++ /dev/null
@@ -1,24 +0,0 @@
-
-abstract TestVarsA = {
-
--- cat S; A; B;
--- fun a : B -> S;
--- fun b : A -> B -> S;
--- fun c : S;
-
--- cat V; W;
--- fun v : V;
--- fun w : W;
-
-cat S;
---fun s : S;
-fun e : S;
-fun ee : S -> S;
-fun f : S;
-fun ff : S -> S;
-
--- cat D;
--- fun d : D;
--- fun dd : D -> D;
-}
-