blob: 904ffd5af7cf5ad632b822dcf95c11a73b44b564 (
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
|
have <space>
have_chars " "
have_range "a" "z"
information
have <space>
have_chars " "
have_range "a" "z"
end information
# (have (@ 1 0-4)
# (.data
# (keys (@ 1 5-12) ‘<space>’)
# )
# )
# (have_chars (@ 2 0-10) ‘" "’)
# (have_range (@ 3 0-10) ‘"a"’ ‘"z"’)
# (information (@ 4 0-11)
# (.inner
# (have (@ 5 2-6)
# (.data
# (keys (@ 5 7-14) ‘<space>’)
# )
# )
# (have_chars (@ 6 2-12) ‘" "’)
# (have_range (@ 7 2-12) ‘"a"’ ‘"z"’)
# )
# )
# :1:0–4: error: assumption outside assumption clause
# have <space>
# ^^^^
# :2:0–10: error: assumption outside assumption clause
# have_chars " "
# ^^^^^^^^^^
# :3:0–10: error: assumption outside assumption clause
# have_range "a" "z"
# ^^^^^^^^^^
# :5:2–6: error: assumption outside assumption clause
# have <space>
# ^^^^
# :6:2–12: error: assumption outside assumption clause
# have_chars " "
# ^^^^^^^^^^
# :7:2–12: error: assumption outside assumption clause
# have_range "a" "z"
# ^^^^^^^^^^
|