compiler bug

[minfp.git] / check.dcl

diff --git a/check.dcl b/check.dcl
index b35ad70..a26c31b 100644 (file)
--- a/check.dcl
+++ b/check.dcl
@@ -1,6 +1,14 @@
 definition module check
 
+from StdOverloaded import class toString
 from Data.Either import :: Either
-from ast import :: Function, :: Expression, :: Type
+from ast import :: Function, :: Expression
 
+:: Scheme = Forall [[Char]] Type
+:: Type
+       = TVar [Char]
+       | TInt
+       | TBool
+       | TFun Type Type
+instance toString Scheme, Type
 check :: [Function] -> Either [String] Expression