summaryrefslogtreecommitdiff
path: root/GeneratorTest.hs
diff options
context:
space:
mode:
Diffstat (limited to 'GeneratorTest.hs')
-rw-r--r--GeneratorTest.hs10
1 files changed, 0 insertions, 10 deletions
diff --git a/GeneratorTest.hs b/GeneratorTest.hs
deleted file mode 100644
index 419e904..0000000
--- a/GeneratorTest.hs
+++ /dev/null
@@ -1,10 +0,0 @@
-import Library.Parse
-import Library.Generator
-import Library.Term
-import Library.TypeVar
-
-
-main = do
- let s = substitutionGen ([],[])
- let t = substitutionGen ( [(Name [] "tyvar", AType [] (TypeOp (Name [] "atype")))], [] )
- output t