|
1 |
| -assert(false) |
2 |
| - |
3 |
| -assert(truth) |
4 |
| - |
5 |
| -let x = assert(true) |
6 |
| -let x = assert(12) |
7 |
| -let x = assert((12: int)) |
8 |
| -let x = assert(12) |
9 |
| -let x = assert(list{1, 2, ...x}) |
10 |
| -let x = assert(module(Foo: Bar)) |
11 |
| -let x = assert(module(Foo)) |
12 |
| -let x = assert(Rgb(1, 2, 3)) |
13 |
| -let x = assert([a, b, c]) |
14 |
| -let x = assert({x: 1, y: 3}) |
15 |
| -let x = assert((1, 2, 3)) |
16 |
| -let x = assert(%extension) |
17 |
| -let x = assert(user.name) |
18 |
| -let x = assert(streets[0]) |
19 |
| -let x = assert(apply(arg1, arg2)) |
20 |
| -let x = assert(apply(. arg1, arg2)) |
21 |
| -let x = assert(-1) |
22 |
| -let x = assert(!true) |
| 1 | +assert false |
| 2 | + |
| 3 | +assert truth |
| 4 | + |
| 5 | +let x = assert true |
| 6 | +let x = assert 12 |
| 7 | +let x = assert (12: int) |
| 8 | +let x = assert 12 |
| 9 | +let x = assert list{1, 2, ...x} |
| 10 | +let x = assert module(Foo: Bar) |
| 11 | +let x = assert module(Foo) |
| 12 | +let x = assert Rgb(1, 2, 3) |
| 13 | +let x = assert [a, b, c] |
| 14 | +let x = assert {x: 1, y: 3} |
| 15 | +let x = assert (1, 2, 3) |
| 16 | +let x = assert %extension |
| 17 | +let x = assert user.name |
| 18 | +let x = assert streets[0] |
| 19 | +let x = assert apply(arg1, arg2) |
| 20 | +let x = assert apply(. arg1, arg2) |
| 21 | +let x = assert -1 |
| 22 | +let x = assert !true |
23 | 23 | let x = assert (x => print(x))
|
24 | 24 | let x = assert (switch x {
|
25 | 25 | | Blue => ()
|
@@ -47,11 +47,11 @@ let x = assert (@attr expr)
|
47 | 47 |
|
48 | 48 | let x = assert (a + b)
|
49 | 49 |
|
50 |
| -let x = @attr assert(false) |
| 50 | +let x = @attr assert false |
51 | 51 |
|
52 |
| -assert(invariant["fatal"]) |
53 |
| -assert(invariants[0]) |
| 52 | +assert invariant["fatal"] |
| 53 | +assert invariants[0] |
54 | 54 |
|
55 |
| -assert(address["street"] = "Brusselsestraat") |
| 55 | +assert address["street"] = "Brusselsestraat" |
56 | 56 |
|
57 | 57 | assert (true ? 0 : 1)
|
0 commit comments