summaryrefslogtreecommitdiff
path: root/grammars/testConversions/MicroAbs.gf
diff options
context:
space:
mode:
Diffstat (limited to 'grammars/testConversions/MicroAbs.gf')
-rw-r--r--grammars/testConversions/MicroAbs.gf8
1 files changed, 8 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;
+
+}