tests/typ/code/if.typ


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

// Test if-else expressions.

---
// Test condition evaluation.
#if 1 < 2 [
    One.
]

#if true == false [
    {Bad}, but we {dont-care}!
]

---
// Braced condition.
#if {true} [
    One.
]

// Template in condition.
#if [] != none [
    Two.
]

// Multi-line condition with parens.
#if (
    1 + 1
      == 1
) [
    Nope.
] #else {
    "Three."
}

// Multiline.
#if false [
    Bad.
] #else {
    let point = "."
    "Four" + point
}

---
// Value of if expressions.
// Ref: false
{
    let x = 1
    let y = 2
    let z

    // Returns if branch.
    z = if x < y { "ok" }
    test(z, "ok")

    // Returns else branch.
    z = if x > y { "bad" } else { "ok" }
    test(z, "ok")

    // Missing else evaluates to none.
    z = if x > y { "bad" }
    test(z, none)
}

---
// Condition must be boolean.
// If it isn't, neither branch is evaluated.
// Error: 5-14 expected boolean, found string
#if "a" + "b" { nope } #else { nope }

// Make sure that we don't complain twice.
// Error: 5-12 cannot add integer and string
#if 1 + "2" {}