Add more expressions to type inference method

1 files changed, 4 insertions, 0 deletions

diff --git a/tests/semantics.bad b/tests/semantics.bad
index e574a73..d1effe4 100644
--- a/tests/semantics.bad
+++ b/tests/semantics.bad
@@ -3,6 +3,10 @@
 let a:int = (1 + 2 * 2) / 2
 let b = 1
 let c = b
+let d = 1 + 2 * 4
+let e = 1 <= 2
+let booleans = !true && false || (1 <= 2)
+let bits = 0xff & 0b00001111
 
 ; enum test {
 ;     a = 1