definition module Sil.Error

from StdFile import class <<<
from StdOverloaded import class toString

from Sil.Syntax import :: Expression
from Sil.Types import :: Type
from Sil.Util.Parser import :: Positioned

:: ErrorPosition

:: Error
	// Parser errors
	= E.a: P_Invalid              String a & toString a
	| P_Expected                  String
	// Type errors
	| T_IllegalApplication        Type Type
	| T_IllegalField              String Type
	| T_TooHighTupleArity         Int
	// Check errors
	| Ck_NoMainFunction
	| Ck_MainFunctionInvalidType  ErrorPosition Type
	| Ck_DuplicateFunctionName    ErrorPosition String
	| Ck_DuplicateLocalName       ErrorPosition String String
	| Ck_ReturnExpressionFromVoid ErrorPosition String
	| Ck_NoReturnFromNonVoid      ErrorPosition String
	| Ck_LocalVoid                String String
	| Ck_BasicGlobal              ErrorPosition String
	// Compile errors
	| C_UndefinedName             String
	| C_UndefinedField            String
	| C_VariableLabel
	| C_FunctionOnStack
	| C_CouldNotDeduceType        Expression
	| C_TypeMisMatch              Type Expression Type
	| C_BasicInitWithoutValue     String
	// Miscellaneous
	| UnknownError String

instance toString Error
instance <<< Error

errpos :: (Positioned a) -> ErrorPosition