strictness, ci

[minfp.git] / parse.dcl

diff --git a/parse.dcl b/parse.dcl
index 011c9da..21da778 100644 (file)
--- a/parse.dcl
+++ b/parse.dcl
@@ -1,6 +1,10 @@
 definition module parse
 
+from StdOverloaded import class toString
 from Data.Either import :: Either
-from ast import :: AST
+from ast import :: Function, :: TypeDef
 
-parse :: [Char] -> Either [String] AST
+:: Token
+instance toString Token
+lex :: ![Char] -> Either [String] [Token]
+parse :: ![Token] -> Either [String] [Either TypeDef Function]