From e341ae62f15d59f64c66cc0abdf628fb160506e0 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 15 Aug 2017 16:05:26 +0200
Subject: Made some more errors positional (#5)

---
 Sil/Error.dcl | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'Sil/Error.dcl')

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
-- 
cgit v1.2.3