summaryrefslogtreecommitdiff
path: root/tests/typ/code/if.typ
blob: dd5d23a06a75b25168466b992e94a6a1d1c404aa (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
86
87
88
89
90
91
92
93
94
95
96
97
98
99
// 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)
}

---
// Ref: false

// 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" {}

---
// Error: 4 expected expression
#if

// Error: 4 expected expression
{if}

// Error: 6 expected body
#if x

// Error: 1-6 unexpected keyword `else`
#else {}

// Should output `x`.
// Error: 4 expected expression
#if
x {}

// Should output `something`.
// Error: 6 expected body
#if x something

// Should output `A thing.`
// Error: 20 expected body
A#if false {} #else thing