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
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
|
Execute (Testing on EOF error):
AssertEqual [
\ {
\ 'filename': 'a.sml',
\ 'lnum': 2,
\ 'col': 15,
\ 'type': 'E',
\ 'text': 'Error: syntax error found at EOF',
\ },
\],
\ ale#handlers#sml#Handle(42, [
\ "Standard ML of New Jersey v110.78 [built: Thu Jul 23 11:21:58 2015]",
\ "[opening a.sml]",
\ "a.sml:2.16 Error: syntax error found at EOF",
\ '/usr/lib/smlnj/bin/sml: Fatal error -- Uncaught exception Compile with "syntax error" raised at ../compiler/Parse/main/smlfile.sml:15.24-15.46',
\])
Execute (Testing if the handler can handle multiple errors on the same line):
AssertEqual [
\ {
\ 'filename': 'a.sml',
\ 'lnum': 1,
\ 'col': 5,
\ 'type': 'E',
\ 'text': "Error: can't find function arguments in clause",
\ },
\ {
\ 'filename': 'a.sml',
\ 'lnum': 1,
\ 'col': 12,
\ 'type': 'E',
\ 'text': 'Error: unbound variable or constructor: wow',
\ },
\],
\ ale#handlers#sml#Handle(42, [
\ "Standard ML of New Jersey v110.78 [built: Thu Jul 23 11:21:58 2015]",
\ "[opening test.sml]",
\ "a.sml:1.6-1.10 Error: can't find function arguments in clause",
\ "a.sml:1.13-1.16 Error: unbound variable or constructor: wow",
\ "/usr/lib/smlnj/bin/sml: Fatal error -- Uncaught exception Error with 0",
\ "raised at ../compiler/TopLevel/interact/evalloop.sml:66.19-66.27",
\])
Execute (Testing rarer errors):
AssertEqual [
\ {
\ 'filename': 'a.sml',
\ 'lnum': 5,
\ 'col': 18,
\ 'type': 'E',
\ 'text': "Error: syntax error found at ID",
\ },
\ {
\ 'filename': 'a.sml',
\ 'lnum': 7,
\ 'col': 0,
\ 'type': 'E',
\ 'text': "Error: value type in structure doesn't match signature spec",
\ },
\],
\ ale#handlers#sml#Handle(42, [
\ "Standard ML of New Jersey v110.78 [built: Thu Jul 23 11:21:58 2015]",
\ "[opening test.sml]",
\ "a.sml:5.19 Error: syntax error found at ID",
\ "a.sml:7.1-9.27 Error: value type in structure doesn't match signature spec",
\ "/usr/lib/smlnj/bin/sml: Fatal error -- Uncaught exception Error with 0",
\ "raised at ../compiler/TopLevel/interact/evalloop.sml:66.19-66.27",
\])
Execute (Testing a warning):
AssertEqual [
\ {
\ 'filename': 'a.sml',
\ 'lnum': 4,
\ 'col': 4,
\ 'type': 'W',
\ 'text': "Warning: match nonexhaustive",
\ },
\],
\ ale#handlers#sml#Handle(42, [
\ "Standard ML of New Jersey v110.78 [built: Thu Jul 23 11:21:58 2015]",
\ "[opening a.sml]",
\ "a.sml:4.5-4.12 Warning: match nonexhaustive",
\ "0 => ...",
\ "val f = fn : int -> int",
\ "-",
\])
Execute (Testing stdIn):
AssertEqual [
\ {
\ 'bufnr': 42,
\ 'lnum': 1,
\ 'col': 5,
\ 'type': 'E',
\ 'text': "Error: operator and operand don't agree [overload conflict]",
\ },
\ {
\ 'bufnr': 42,
\ 'lnum': 2,
\ 'col': 4,
\ 'type': 'E',
\ 'text': "Error: operator and operand don't agree [overload conflict]",
\ },
\],
\ ale#handlers#sml#Handle(42, [
\ "Standard ML of New Jersey v110.79 [built: Sat Oct 26 12:27:04 2019]",
\ "- = stdIn:1.6-1.21 Error: operator and operand don't agree [overload conflict]",
\ " operator domain: [+ ty] * [+ ty]",
\ " operand: string * [int ty]",
\ " in expression:",
\ ' "abc" + 123',
\ "stdIn:2.5-2.20 Error: operator and operand don't agree [overload conflict]",
\ " operator domain: [+ ty] * [+ ty]",
\ " operand: [+ ty] * string",
\ " in expression:",
\ ' 890 + "xyz"',
\ "-",
\])
|
