aboutsummaryrefslogtreecommitdiff
path: root/Sil/Error.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'Sil/Error.dcl')
-rw-r--r--Sil/Error.dcl14
1 files changed, 7 insertions, 7 deletions
diff --git a/Sil/Error.dcl b/Sil/Error.dcl
index bdfa390..42341ed 100644
--- a/Sil/Error.dcl
+++ b/Sil/Error.dcl
@@ -19,8 +19,8 @@ instance < ErrorPosition
| E.a: P_Expected ErrorPosition String a & toString a
// Type errors
| T_IllegalApplication Type Type
- | T_IllegalField String Type
- | T_TooHighTupleArity Int
+ | T_IllegalField ErrorPosition String Type
+ | T_TooHighTupleArity ErrorPosition Int
// Check errors
| Ck_NoMainFunction
| Ck_MainFunctionInvalidType ErrorPosition Type
@@ -28,18 +28,18 @@ instance < ErrorPosition
| Ck_DuplicateLocalName ErrorPosition String String
| Ck_ReturnExpressionFromVoid ErrorPosition String
| Ck_NoReturnFromNonVoid ErrorPosition String
- | Ck_LocalVoid String String
+ | Ck_LocalVoid ErrorPosition String
| Ck_BasicGlobal ErrorPosition String
// Compile errors
- | C_UndefinedName String
- | C_UndefinedField String
+ | C_UndefinedName ErrorPosition String
+ | C_UndefinedField ErrorPosition String
| C_VariableLabel
| C_FunctionOnStack
| C_CouldNotDeduceType Expression
| C_TypeMisMatch Type Expression Type
- | C_BasicInitWithoutValue String
+ | C_BasicInitWithoutValue ErrorPosition String
// Miscellaneous
- | UnknownError String
+ | UnknownError String
instance toString Error
instance <<< Error