definition module Sil.Error

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

from Sil.Syntax import :: Expression
from Sil.Types import :: Type

:: 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
	// Compile errors
	| C_UndefinedName String
	| C_UndefinedField String
	| C_VariableLabel
	| C_FunctionOnStack
	| C_TypeError Error Expression
	| C_CouldNotDeduceType Expression
	| C_TypeMisMatch Type Expression
	| C_BasicInitWithoutValue String
	// Miscellaneous
	| UnknownError String

instance toString Error
instance <<< Error