X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=sem.dcl;h=0d4a7d6ad8f703d14239f1b960aa9341c94e4590;hb=cba53fea01b27f46668e9025f8b04ce7a85e62d8;hp=03320763369c604838b8fe37164676eb298940ee;hpb=2473a12c050ab50a6fded6d4ea6df9b81ab8abf1;p=cc1516.git diff --git a/sem.dcl b/sem.dcl index 0332076..0d4a7d6 100644 --- a/sem.dcl +++ b/sem.dcl @@ -9,6 +9,7 @@ from StdOverloaded import class toString = ParseError Pos String | UnifyError Pos Type Type | FieldSelectorError Pos Type FieldSelector + | UndeclaredVariableError Pos String | Error String :: Gamma :: SemOutput :== Either [SemError] (AST, Gamma)