X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=sem.dcl;h=e981361a44e0f6f41e100c6788fccc497caacff2;hb=a8348a333a567e5a469d1e5f8ec6c3dafc051c91;hp=dbf101430f8bcf41857d20f0c23c22aecb42e9fb;hpb=f490bc3083cc290680499d4c12be9b732b94fd82;p=cc1516.git diff --git a/sem.dcl b/sem.dcl index dbf1014..e981361 100644 --- a/sem.dcl +++ b/sem.dcl @@ -10,6 +10,7 @@ from StdOverloaded import class toString | UnifyError Pos Type Type | FieldSelectorError Pos Type FieldSelector | OperatorError Pos Op2 Type + | UndeclaredVariableError Pos String | Error String :: Gamma :: SemOutput :== Either [SemError] (AST, Gamma)