blob: fde96ee1fff60d0b592aaab118cf8e4ce02fb719 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
implementation module Sil.Error
import StdFile
import StdInt
import StdString
import Data.Maybe
import Text
import Sil.Syntax
import Sil.Types
import Sil.Util.Parser
:: ErrorPosition =
{ ep_line :: Int
, ep_token :: Int
}
instance < ErrorPosition where < p1 p2 = p1.ep_token < p2.ep_token
instance toString ErrorPosition
where
toString ep = ep.ep_line <+ ":\t"
instance toString Error
where
toString (P_Invalid w tk) = "\tInvalid token '" <+ tk <+ "' while parsing a " <+ w <+ "."
toString (P_Expected p s h) = p <+ "Expected " <+ s <+ " near '" <+ h <+ "'."
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) = "\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) = "\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"
instance < Error
where
< _ (UnknownError _) = False
< (UnknownError _) _ = True
< e1 e2 = case (getErrorPosition e1, getErrorPosition e2) of
(Just p1, Just p2) -> p1 < p2
(_ , Nothing) -> False
(Nothing, _ ) -> True
getErrorPosition :: Error -> Maybe ErrorPosition
getErrorPosition (P_Invalid w tk) = Nothing
getErrorPosition (P_Expected p s h) = Just p
getErrorPosition (T_IllegalApplication ft et) = Nothing
getErrorPosition (T_IllegalField f t) = Nothing
getErrorPosition (T_TooHighTupleArity i) = Nothing
getErrorPosition Ck_NoMainFunction = Nothing
getErrorPosition (Ck_MainFunctionInvalidType p t) = Just p
getErrorPosition (Ck_DuplicateFunctionName p n) = Just p
getErrorPosition (Ck_DuplicateLocalName p f arg) = Just p
getErrorPosition (Ck_ReturnExpressionFromVoid p f) = Just p
getErrorPosition (Ck_NoReturnFromNonVoid p f) = Just p
getErrorPosition (Ck_LocalVoid f l) = Nothing
getErrorPosition (Ck_BasicGlobal p g) = Just p
getErrorPosition (C_UndefinedName n) = Nothing
getErrorPosition (C_UndefinedField f) = Nothing
getErrorPosition C_VariableLabel = Nothing
getErrorPosition C_FunctionOnStack = Nothing
getErrorPosition (C_CouldNotDeduceType e) = Nothing
getErrorPosition (C_TypeMisMatch t e u) = Nothing
getErrorPosition (C_BasicInitWithoutValue n) = Nothing
getErrorPosition (UnknownError e) = Nothing
errpos :: a -> ErrorPosition | getPos a
errpos x = {ep_line=p.pp_line, ep_token=p.pp_token}
where p = getPos x
|
