Ontwerpbesluitendocumentje toegevoegd

[cc1516.git] / sem.dcl

diff --git a/sem.dcl b/sem.dcl
index 92f1d51..be207dd 100644 (file)
--- a/sem.dcl
+++ b/sem.dcl
@@ -3,5 +3,8 @@ definition module sem
 from Data.Either import :: Either
 from AST import :: AST
 from lex import :: Error
+from parse import :: ParserOutput
 
-semanticAnalysis :: AST -> Either String AST
+:: SemOutput :== Either Error AST
+
+sem :: ParserOutput -> SemOutput