some work on HM interpreter

[fp.git] / src / HM / Test.hs

diff --git a/src/HM/Test.hs b/src/HM/Test.hs
new file mode 100644 (file)
index 0000000..bcdbd65
--- /dev/null
+++ b/src/HM/Test.hs
@@ -0,0 +1,13 @@
+module HM.Test where
+
+import HM
+import HM.Parser
+
+test x = do
+  print $ tRead x
+  print . algW $ tRead x
+
+x1 = "x :: T"
+x2 = "\\x.x :: T"
+x3 = "\\x.x"
+x4 = "\\x.\\y.z"