checker update

[minfp.git] / parse.dcl

diff --git a/parse.dcl b/parse.dcl
index 011c9da..7c609ae 100644 (file)
--- a/parse.dcl
+++ b/parse.dcl
@@ -3,4 +3,6 @@ definition module parse
 from Data.Either import :: Either
 from ast import :: AST
 
-parse :: [Char] -> Either [String] AST
+:: Token
+lex :: [Char] -> Either [String] [Token]
+parse :: ([Token] -> Either [String] AST)