diff options
Diffstat (limited to 'Sil/Error.icl')
| -rw-r--r-- | Sil/Error.icl | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/Sil/Error.icl b/Sil/Error.icl index 9253673..36a614b 100644 --- a/Sil/Error.icl +++ b/Sil/Error.icl @@ -19,27 +19,27 @@ where instance toString Error where - toString (P_Invalid w tk) = "Invalid token '" <+ tk <+ "' while parsing a " <+ w <+ "." - toString (P_Expected s) = "Expected " <+ s <+ "." - toString (T_IllegalApplication ft et) = "Cannot apply a " <+ et <+ " to a " <+ ft <+ "." - toString (T_IllegalField f t) = "Illegal field '" <+ f <+ "' on type " <+ t <+ "." - toString (T_TooHighTupleArity i) = "Too high tuple arity " <+ i <+ " (maximum is 32)." - toString Ck_NoMainFunction = "Error: no main function." + toString (P_Invalid w tk) = "\tInvalid token '" <+ tk <+ "' while parsing a " <+ w <+ "." + toString (P_Expected s) = "\tExpected " <+ s <+ "." + toString (T_IllegalApplication ft et) = "\tCannot apply a " <+ et <+ " to a " <+ ft <+ "." + toString (T_IllegalField f t) = "\tIllegal field '" <+ f <+ "' on type " <+ t <+ "." + toString (T_TooHighTupleArity i) = "\tToo high tuple arity " <+ i <+ " (maximum is 32)." + toString Ck_NoMainFunction = "\tError: no main function." toString (Ck_MainFunctionInvalidType p t) = p <+ "Error: function 'main' should not have arguments has type " <+ t <+ "." toString (Ck_DuplicateFunctionName p n) = p <+ "Error: multiply defined: '" <+ n <+ "'." toString (Ck_DuplicateLocalName p f arg) = p <+ "Error: multiply defined: '" <+ arg <+ "' in '" <+ f <+ "'." toString (Ck_ReturnExpressionFromVoid p f) = p <+ "Type error: an expression was returned from void function '" <+ f <+ "'." toString (Ck_NoReturnFromNonVoid p f) = p <+ "Type error: no return from non-void function '" <+ f <+ "'." - toString (Ck_LocalVoid f l) = "Type error: local variable '" <+ l <+ "' in '" <+ f <+ "' cannot have type Void." + toString (Ck_LocalVoid f l) = "\tType error: local variable '" <+ l <+ "' in '" <+ f <+ "' cannot have type Void." toString (Ck_BasicGlobal p g) = p <+ "Error: global variable '" <+ g <+ "' cannot have a basic type." - toString (C_UndefinedName n) = "Undefined name '" <+ n <+ "'." - toString (C_UndefinedField f) = "Undefined field '" <+ f <+ "'." - toString C_VariableLabel = "Variable stored at label." - toString C_FunctionOnStack = "Function stored on the stack." - toString (C_CouldNotDeduceType e) = "Could not deduce type of '" <+ e <+ "'." - toString (C_TypeMisMatch t e u) = "Type mismatch: expected " <+ t <+ " for '" <+ e <+ "'; had " <+ u <+ "." - toString (C_BasicInitWithoutValue n) = "Basic value '" <+ n <+ "' must have an initial value." - toString (UnknownError e) = "Unknown error: " <+ e <+ "." + toString (C_UndefinedName n) = "\tUndefined name '" <+ n <+ "'." + toString (C_UndefinedField f) = "\tUndefined field '" <+ f <+ "'." + toString C_VariableLabel = "\tVariable stored at label." + toString C_FunctionOnStack = "\tFunction stored on the stack." + toString (C_CouldNotDeduceType e) = "\tCould not deduce type of '" <+ e <+ "'." + toString (C_TypeMisMatch t e u) = "\tType mismatch: expected " <+ t <+ " for '" <+ e <+ "'; had " <+ u <+ "." + toString (C_BasicInitWithoutValue n) = "\tBasic value '" <+ n <+ "' must have an initial value." + toString (UnknownError e) = "\tUnknown error: " <+ e <+ "." instance <<< Error where <<< f e = f <<< toString e <<< "\r\n" |