1 files changed, 24 insertions, 0 deletions
diff --git a/grammars/testConversions/TestVarsA.gf b/grammars/testConversions/TestVarsA.gf
new file mode 100644
index 000000000..1b34ddef1
--- /dev/null
+++ b/grammars/testConversions/TestVarsA.gf
@@ -0,0 +1,24 @@
+
+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;
+}
+