strictness, ci
[minfp.git] / parse.dcl
index 07121fd..21da778 100644 (file)
--- a/parse.dcl
+++ b/parse.dcl
@@ -1,8 +1,10 @@
 definition module parse
 
+from StdOverloaded import class toString
 from Data.Either import :: Either
-from ast import :: Function
+from ast import :: Function, :: TypeDef
 
 :: Token
-lex :: [Char] -> Either [String] [Token]
-parse :: [Token] -> Either [String] [Function]
+instance toString Token
+lex :: ![Char] -> Either [String] [Token]
+parse :: ![Token] -> Either [String] [Either TypeDef Function]