src/HM/Test.hs

   1 module HM.Test where
   2
   3 import HM
   4 import HM.Parser
   5
   6 test x = do
   7   print $ tRead x
   8   print . algW $ tRead x
   9
  10 x1 = "x :: T"
  11 x2 = "\\x.x :: T"
  12 x3 = "\\x.x"
  13 x4 = "\\x.\\y.z"