diff options
| author | Bad Diode <bd@badd10de.dev> | 2024-06-23 20:21:25 +0200 |
|---|---|---|
| committer | Bad Diode <bd@badd10de.dev> | 2024-06-23 20:21:25 +0200 |
| commit | caf4d4c7dd0fff6cdf69bf8cb27f3bbb6d02a366 (patch) | |
| tree | a434ad3519f9a2e14a5db343754dc7960bc82d32 /tests | |
| parent | c6fd7856bfe5dd0567f672d0d1a70a3b698feaa4 (diff) | |
| download | bdl-caf4d4c7dd0fff6cdf69bf8cb27f3bbb6d02a366.tar.gz bdl-caf4d4c7dd0fff6cdf69bf8cb27f3bbb6d02a366.zip | |
Change typechecking to be independent of the symbolic checking
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/semantics.bad | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/tests/semantics.bad b/tests/semantics.bad index d1effe4..158cec6 100644 --- a/tests/semantics.bad +++ b/tests/semantics.bad | |||
| @@ -1,12 +1,16 @@ | |||
| 1 | ; let a:f32 = (1.0 + 2.0 * 2.0) / 2.0 | 1 | ; let a:f32 = (1.0 + 2.0 * 2.0) / 2.0 |
| 2 | 2 | ||
| 3 | let a:int = (1 + 2 * 2) / 2 | 3 | let annotated:int = (1 + 2 * 2) / 2 |
| 4 | let b = 1 | 4 | let numbers = 1 |
| 5 | let c = b | 5 | let symbols = numbers |
| 6 | let d = 1 + 2 * 4 | 6 | let arith = 1 + 2 * 4 |
| 7 | let e = 1 <= 2 | 7 | let cmp = 1 <= 2 |
| 8 | let booleans = !true && false || (1 <= 2) | 8 | let logic = !true && false || (1 <= 2) |
| 9 | let bits = 0xff & 0b00001111 | 9 | let bits = 0xff & 0b00001111 |
| 10 | let block = { | ||
| 11 | let a = 1 + 2 | ||
| 12 | a + 3 | ||
| 13 | } | ||
| 10 | 14 | ||
| 11 | ; enum test { | 15 | ; enum test { |
| 12 | ; a = 1 | 16 | ; a = 1 |