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/semantics.bad | |
parent | c6fd7856bfe5dd0567f672d0d1a70a3b698feaa4 (diff) | |
download | bdl-caf4d4c7dd0fff6cdf69bf8cb27f3bbb6d02a366.tar.gz bdl-caf4d4c7dd0fff6cdf69bf8cb27f3bbb6d02a366.zip |
Change typechecking to be independent of the symbolic checking
Diffstat (limited to 'tests/semantics.bad')
-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 |