pigeonhole/tests/compile/errors/header.sieve


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

require "comparator-i;ascii-numeric";

/*
 * Compile errors for the header test
 *
 * Total errors: 9 (+1 validation failed msg = 10)
 */

# Unknown tagged argument
if header :all :comparator "i;ascii-casemap" "From" "nico" {
	keep;
}

# Wrong first argument
if header :is :comparator "i;ascii-numeric" 45 "nico" {
	keep;
}

# Wrong second argument
if header :is :comparator "i;ascii-numeric" "From" 45 {
	discard;
}

# Wrong second argument
if header :is :comparator "i;ascii-numeric" "From" :tag {
	stop;
}

# Missing second argument
if header :is :comparator "i;ascii-numeric" "From" {
	stop;
}

# Missing arguments
if header :is :comparator "i;ascii-numeric" {
	keep;
}

# Not an error
if header :is :comparator "i;ascii-casemap" "frop" ["frop", "frop"] {
	discard;
}

# Spurious sub-test
if header "frop" "frop" true {
	discard;
}

# Test used as command with block
header "frop" "frop" {
    discard;
}

# Test used as command
header "frop" "frop";