Tests

54 files changed, 474 insertions, 0 deletions

diff --git a/tests/pracownia2/ok/000_without_expectation_concat_second_magic.xi b/tests/pracownia2/ok/000_without_expectation_concat_second_magic.xi
new file mode 100644
index 0000000..24a40c1
--- /dev/null
+++ b/tests/pracownia2/ok/000_without_expectation_concat_second_magic.xi
@@ -0,0 +1,6 @@
+test():int
+{
+    return length({true} + {}[0])
+}
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/001_ifelse_on_pred.xi b/tests/pracownia2/ok/001_ifelse_on_pred.xi
new file mode 100644
index 0000000..4cab2c4
--- /dev/null
+++ b/tests/pracownia2/ok/001_ifelse_on_pred.xi
@@ -0,0 +1,10 @@
+pred():bool
+test()
+{
+    if pred() {
+    } else {
+    }
+}
+
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/002_fetch_int.xi b/tests/pracownia2/ok/002_fetch_int.xi
new file mode 100644
index 0000000..447cba9
--- /dev/null
+++ b/tests/pracownia2/ok/002_fetch_int.xi
@@ -0,0 +1,7 @@
+test(x:int[]):int
+{
+    return x[15]
+}
+//@PRACOWNIA
+//@stop_after typechecker
+
diff --git a/tests/pracownia2/ok/003_with_expectation_concat_second_empty.xi b/tests/pracownia2/ok/003_with_expectation_concat_second_empty.xi
new file mode 100644
index 0000000..1844c7c
--- /dev/null
+++ b/tests/pracownia2/ok/003_with_expectation_concat_second_empty.xi
@@ -0,0 +1,6 @@
+test():bool[]
+{
+    return {true} + {}
+}
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/004_with_expectation_empty_curly.xi b/tests/pracownia2/ok/004_with_expectation_empty_curly.xi
new file mode 100644
index 0000000..30b9ff6
--- /dev/null
+++ b/tests/pracownia2/ok/004_with_expectation_empty_curly.xi
@@ -0,0 +1,7 @@
+test():bool[]
+{
+    return {}
+}
+
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/005_with_expectation_concat_second_magic.xi b/tests/pracownia2/ok/005_with_expectation_concat_second_magic.xi
new file mode 100644
index 0000000..e3bec49
--- /dev/null
+++ b/tests/pracownia2/ok/005_with_expectation_concat_second_magic.xi
@@ -0,0 +1,6 @@
+test():bool[]
+{
+    return {true} + {}[0]
+}
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/006_if_on_literal.xi b/tests/pracownia2/ok/006_if_on_literal.xi
new file mode 100644
index 0000000..cd1d2bd
--- /dev/null
+++ b/tests/pracownia2/ok/006_if_on_literal.xi
@@ -0,0 +1,8 @@
+test()
+{
+    if true {
+    }
+}
+
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/007_without_expectation_concat_second_weird.xi b/tests/pracownia2/ok/007_without_expectation_concat_second_weird.xi
new file mode 100644
index 0000000..377b7bf
--- /dev/null
+++ b/tests/pracownia2/ok/007_without_expectation_concat_second_weird.xi
@@ -0,0 +1,6 @@
+test():int
+{
+    return length({true} + {{}[0]})
+}
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/008_fetch_fetch.xi b/tests/pracownia2/ok/008_fetch_fetch.xi
new file mode 100644
index 0000000..ad01d39
--- /dev/null
+++ b/tests/pracownia2/ok/008_fetch_fetch.xi
@@ -0,0 +1,7 @@
+test(x:int[][]):int
+{
+    return x[1][2]
+}
+//@PRACOWNIA
+//@stop_after typechecker
+
diff --git a/tests/pracownia2/ok/009_while_on_literal.xi b/tests/pracownia2/ok/009_while_on_literal.xi
new file mode 100644
index 0000000..0bc0458
--- /dev/null
+++ b/tests/pracownia2/ok/009_while_on_literal.xi
@@ -0,0 +1,8 @@
+test()
+{
+    while true {
+    }
+}
+
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/010_with_expectation_concat_first_weird.xi b/tests/pracownia2/ok/010_with_expectation_concat_first_weird.xi
new file mode 100644
index 0000000..1aa4ac2
--- /dev/null
+++ b/tests/pracownia2/ok/010_with_expectation_concat_first_weird.xi
@@ -0,0 +1,6 @@
+test():bool[]
+{
+    return {{}[0]} + {true}
+}
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/011_simple_length.xi b/tests/pracownia2/ok/011_simple_length.xi
new file mode 100644
index 0000000..629bf19
--- /dev/null
+++ b/tests/pracownia2/ok/011_simple_length.xi
@@ -0,0 +1,6 @@
+test(x:bool[]):int
+{
+    return length(x)
+}
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/012_with_expectation_concat_first_magic.xi b/tests/pracownia2/ok/012_with_expectation_concat_first_magic.xi
new file mode 100644
index 0000000..62b3626
--- /dev/null
+++ b/tests/pracownia2/ok/012_with_expectation_concat_first_magic.xi
@@ -0,0 +1,6 @@
+test():bool[]
+{
+    return {}[0] + {true}
+}
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/013_without_expectation_concat_second_empty.xi b/tests/pracownia2/ok/013_without_expectation_concat_second_empty.xi
new file mode 100644
index 0000000..b294650
--- /dev/null
+++ b/tests/pracownia2/ok/013_without_expectation_concat_second_empty.xi
@@ -0,0 +1,6 @@
+test():int
+{
+    return length({true} + {})
+}
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/014_if_on_var.xi b/tests/pracownia2/ok/014_if_on_var.xi
new file mode 100644
index 0000000..b69eaf2
--- /dev/null
+++ b/tests/pracownia2/ok/014_if_on_var.xi
@@ -0,0 +1,8 @@
+test(x:bool)
+{
+    if x {
+    }
+}
+
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/015_with_expectation_concat_second_weird.xi b/tests/pracownia2/ok/015_with_expectation_concat_second_weird.xi
new file mode 100644
index 0000000..c7993e3
--- /dev/null
+++ b/tests/pracownia2/ok/015_with_expectation_concat_second_weird.xi
@@ -0,0 +1,6 @@
+test():bool[]
+{
+    return {true} + {{}[0]}
+}
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/016_with_expectation_a_lot_of_magic_int.xi b/tests/pracownia2/ok/016_with_expectation_a_lot_of_magic_int.xi
new file mode 100644
index 0000000..d73c4c6
--- /dev/null
+++ b/tests/pracownia2/ok/016_with_expectation_a_lot_of_magic_int.xi
@@ -0,0 +1,40 @@
+consumer1(x:int[])
+consumer2(x:int[][])
+consumer3(x:int[][][])
+ 
+test()
+{
+    consumer1(
+        { {{}[0]}[0]
+        , {}[0]
+        , {}[0][0][0]
+        })
+    consumer2(
+        { {{}[0]}[0]
+        , {}[0]
+        , {}[0][0][0]
+        })
+    consumer2(
+        { { {{}[0]}[0]   }
+        , { {}[0]        }
+        , { {}[0][0][0]  }
+        })
+    consumer3(
+        { {{}[0]}[0]
+        , {}[0]
+        , {}[0][0][0]
+        })
+    consumer3(
+        { { {{}[0]}[0]  }
+        , { {}[0]       }
+        , { {}[0][0][0] }
+        })
+    consumer3(
+        { { { {{}[0]}[0]  } }
+        , { { {}[0]       } }
+        , { { {}[0][0][0] } }
+        })
+}
+
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/017_ifelse_on_and.xi b/tests/pracownia2/ok/017_ifelse_on_and.xi
new file mode 100644
index 0000000..5ac374e
--- /dev/null
+++ b/tests/pracownia2/ok/017_ifelse_on_and.xi
@@ -0,0 +1,9 @@
+test()
+{
+    if true & false {
+    } else {
+    }
+}
+
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/018_if_on_pred.xi b/tests/pracownia2/ok/018_if_on_pred.xi
new file mode 100644
index 0000000..1bc8917
--- /dev/null
+++ b/tests/pracownia2/ok/018_if_on_pred.xi
@@ -0,0 +1,9 @@
+pred():bool
+test()
+{
+    if pred() {
+    }
+}
+
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/019_ifelse_on_or.xi b/tests/pracownia2/ok/019_ifelse_on_or.xi
new file mode 100644
index 0000000..451ce2e
--- /dev/null
+++ b/tests/pracownia2/ok/019_ifelse_on_or.xi
@@ -0,0 +1,9 @@
+test()
+{
+    if true | false {
+    } else {
+    }
+}
+
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/020_with_expectation_concat_both_empty.xi b/tests/pracownia2/ok/020_with_expectation_concat_both_empty.xi
new file mode 100644
index 0000000..a14097b
--- /dev/null
+++ b/tests/pracownia2/ok/020_with_expectation_concat_both_empty.xi
@@ -0,0 +1,6 @@
+test():bool[]
+{
+    return {} + {}
+}
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/021_mutualrec.xi b/tests/pracownia2/ok/021_mutualrec.xi
new file mode 100644
index 0000000..26d1b5b
--- /dev/null
+++ b/tests/pracownia2/ok/021_mutualrec.xi
@@ -0,0 +1,12 @@
+
+f(): int {
+    return g()
+}
+
+
+g(): int {
+    return f()
+}
+
+//@PRACOWNIA
+//@stop_after parser
diff --git a/tests/pracownia2/ok/022_int.xi b/tests/pracownia2/ok/022_int.xi
new file mode 100644
index 0000000..ae97ae7
--- /dev/null
+++ b/tests/pracownia2/ok/022_int.xi
@@ -0,0 +1,10 @@
+test()
+{
+    x:int = 1
+    x = 42
+    x = 'a'
+}    
+
+
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/023_with_expectation_concat_both_magic.xi b/tests/pracownia2/ok/023_with_expectation_concat_both_magic.xi
new file mode 100644
index 0000000..b30b3bd
--- /dev/null
+++ b/tests/pracownia2/ok/023_with_expectation_concat_both_magic.xi
@@ -0,0 +1,6 @@
+test():bool[]
+{
+    return {}[0] + {}[0]
+}
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/024_store_bool.xi b/tests/pracownia2/ok/024_store_bool.xi
new file mode 100644
index 0000000..5991605
--- /dev/null
+++ b/tests/pracownia2/ok/024_store_bool.xi
@@ -0,0 +1,6 @@
+test(x:bool[])
+{
+    x[15] = true
+}
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/025_with_expectation_concat_magic_empty.xi b/tests/pracownia2/ok/025_with_expectation_concat_magic_empty.xi
new file mode 100644
index 0000000..9a00030
--- /dev/null
+++ b/tests/pracownia2/ok/025_with_expectation_concat_magic_empty.xi
@@ -0,0 +1,6 @@
+test():bool[]
+{
+    return {}[0] + {}
+}
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/026_length_string.xi b/tests/pracownia2/ok/026_length_string.xi
new file mode 100644
index 0000000..acef6a4
--- /dev/null
+++ b/tests/pracownia2/ok/026_length_string.xi
@@ -0,0 +1,6 @@
+test():int
+{
+    return length("Klucze do domu")
+}
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/027_with_expectation_curly_elems.xi b/tests/pracownia2/ok/027_with_expectation_curly_elems.xi
new file mode 100644
index 0000000..eb407c1
--- /dev/null
+++ b/tests/pracownia2/ok/027_with_expectation_curly_elems.xi
@@ -0,0 +1,7 @@
+test():bool[]
+{
+    return {true, false, true}
+}
+
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/028_while_on_and.xi b/tests/pracownia2/ok/028_while_on_and.xi
new file mode 100644
index 0000000..cf00ff1
--- /dev/null
+++ b/tests/pracownia2/ok/028_while_on_and.xi
@@ -0,0 +1,8 @@
+test()
+{
+    while true & false {
+    }
+}
+
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/029_with_expectation_concat_empty_weird.xi b/tests/pracownia2/ok/029_with_expectation_concat_empty_weird.xi
new file mode 100644
index 0000000..e361865
--- /dev/null
+++ b/tests/pracownia2/ok/029_with_expectation_concat_empty_weird.xi
@@ -0,0 +1,6 @@
+test():bool[]
+{
+    return {} + {{}[0]}
+}
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/030_intA.xi b/tests/pracownia2/ok/030_intA.xi
new file mode 100644
index 0000000..3c052aa
--- /dev/null
+++ b/tests/pracownia2/ok/030_intA.xi
@@ -0,0 +1,8 @@
+test()
+{
+    x:int[] = "University"
+    x = "of Wroclaw"
+}
+
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/031_if_on_or.xi b/tests/pracownia2/ok/031_if_on_or.xi
new file mode 100644
index 0000000..5ee0e99
--- /dev/null
+++ b/tests/pracownia2/ok/031_if_on_or.xi
@@ -0,0 +1,8 @@
+test()
+{
+    if true | false {
+    }
+}
+
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/032_with_expectation_first_weird.xi b/tests/pracownia2/ok/032_with_expectation_first_weird.xi
new file mode 100644
index 0000000..b25485a
--- /dev/null
+++ b/tests/pracownia2/ok/032_with_expectation_first_weird.xi
@@ -0,0 +1,6 @@
+test():bool[]
+{
+    return {{}[0], false, true}
+}
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/033_with_expectation_concat_weird_empty.xi b/tests/pracownia2/ok/033_with_expectation_concat_weird_empty.xi
new file mode 100644
index 0000000..86a956b
--- /dev/null
+++ b/tests/pracownia2/ok/033_with_expectation_concat_weird_empty.xi
@@ -0,0 +1,6 @@
+test():bool[]
+{
+    return {{}[0]} + {}
+}
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/034_bool.xi b/tests/pracownia2/ok/034_bool.xi
new file mode 100644
index 0000000..ebf7565
--- /dev/null
+++ b/tests/pracownia2/ok/034_bool.xi
@@ -0,0 +1,8 @@
+test()
+{
+    x:bool = true
+    x = false
+}
+
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/035_store_store.xi b/tests/pracownia2/ok/035_store_store.xi
new file mode 100644
index 0000000..8af586b
--- /dev/null
+++ b/tests/pracownia2/ok/035_store_store.xi
@@ -0,0 +1,6 @@
+test(x:bool[][])
+{
+    x[0][1] = true
+}
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/036_ifelse_on_var.xi b/tests/pracownia2/ok/036_ifelse_on_var.xi
new file mode 100644
index 0000000..e906f81
--- /dev/null
+++ b/tests/pracownia2/ok/036_ifelse_on_var.xi
@@ -0,0 +1,9 @@
+test(x:bool)
+{
+    if x {
+    } else {
+    }
+}
+
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/037_with_expectation_concat.xi b/tests/pracownia2/ok/037_with_expectation_concat.xi
new file mode 100644
index 0000000..402e822
--- /dev/null
+++ b/tests/pracownia2/ok/037_with_expectation_concat.xi
@@ -0,0 +1,6 @@
+test():bool[]
+{
+    return {false, true} + {true, false}
+}
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/038_length_curly.xi b/tests/pracownia2/ok/038_length_curly.xi
new file mode 100644
index 0000000..7aae6bd
--- /dev/null
+++ b/tests/pracownia2/ok/038_length_curly.xi
@@ -0,0 +1,6 @@
+test():int
+{
+    return length({true, false})
+}
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/039_if_on_and.xi b/tests/pracownia2/ok/039_if_on_and.xi
new file mode 100644
index 0000000..bff5231
--- /dev/null
+++ b/tests/pracownia2/ok/039_if_on_and.xi
@@ -0,0 +1,8 @@
+test()
+{
+    if true & false {
+    }
+}
+
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/040_while_on_var.xi b/tests/pracownia2/ok/040_while_on_var.xi
new file mode 100644
index 0000000..881cc76
--- /dev/null
+++ b/tests/pracownia2/ok/040_while_on_var.xi
@@ -0,0 +1,8 @@
+test(x:bool)
+{
+    while x {
+    }
+}
+
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/041_without_expectation_concat.xi b/tests/pracownia2/ok/041_without_expectation_concat.xi
new file mode 100644
index 0000000..bb368db
--- /dev/null
+++ b/tests/pracownia2/ok/041_without_expectation_concat.xi
@@ -0,0 +1,6 @@
+test():int
+{
+    return length({false, true} + {true, false})
+}
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/042_init.xi b/tests/pracownia2/ok/042_init.xi
new file mode 100644
index 0000000..3f5c86f
--- /dev/null
+++ b/tests/pracownia2/ok/042_init.xi
@@ -0,0 +1,6 @@
+test()
+{
+    a:int[42][];
+}
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/043_without_expectation_second_weird.xi b/tests/pracownia2/ok/043_without_expectation_second_weird.xi
new file mode 100644
index 0000000..66997bf
--- /dev/null
+++ b/tests/pracownia2/ok/043_without_expectation_second_weird.xi
@@ -0,0 +1,6 @@
+test():int
+{
+    return length({false, {{}}[0][0], true})
+}
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/044_while_on_or.xi b/tests/pracownia2/ok/044_while_on_or.xi
new file mode 100644
index 0000000..bf80140
--- /dev/null
+++ b/tests/pracownia2/ok/044_while_on_or.xi
@@ -0,0 +1,8 @@
+test()
+{
+    while true | false {
+    }
+}
+
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/045_with_expectation_second_weird.xi b/tests/pracownia2/ok/045_with_expectation_second_weird.xi
new file mode 100644
index 0000000..26f7d74
--- /dev/null
+++ b/tests/pracownia2/ok/045_with_expectation_second_weird.xi
@@ -0,0 +1,6 @@
+test():bool[]
+{
+    return {false, {{}}[0][0], true}
+}
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/046_with_expectation_concat_first_empty.xi b/tests/pracownia2/ok/046_with_expectation_concat_first_empty.xi
new file mode 100644
index 0000000..c9b0b43
--- /dev/null
+++ b/tests/pracownia2/ok/046_with_expectation_concat_first_empty.xi
@@ -0,0 +1,6 @@
+test():bool[]
+{
+    return {} + {true}
+}
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/047_with_expectation_concat_empty_magic.xi b/tests/pracownia2/ok/047_with_expectation_concat_empty_magic.xi
new file mode 100644
index 0000000..92dc19e
--- /dev/null
+++ b/tests/pracownia2/ok/047_with_expectation_concat_empty_magic.xi
@@ -0,0 +1,6 @@
+test():bool[]
+{
+    return {} + {}[0]
+}
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/048_noconflict_other_scopes.xi b/tests/pracownia2/ok/048_noconflict_other_scopes.xi
new file mode 100644
index 0000000..788c5ee
--- /dev/null
+++ b/tests/pracownia2/ok/048_noconflict_other_scopes.xi
@@ -0,0 +1,11 @@
+test(x:bool)
+{
+    if x {
+        y:int
+    } else {
+        y:int[]
+    }
+}
+//@PRACOWNIA
+//@stop_after typechecker
+
diff --git a/tests/pracownia2/ok/049_ifelse_on_literal.xi b/tests/pracownia2/ok/049_ifelse_on_literal.xi
new file mode 100644
index 0000000..abae0f2
--- /dev/null
+++ b/tests/pracownia2/ok/049_ifelse_on_literal.xi
@@ -0,0 +1,9 @@
+test()
+{
+    if true {
+    } else {
+    }
+}
+
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/050_without_expectation_curly_elems.xi b/tests/pracownia2/ok/050_without_expectation_curly_elems.xi
new file mode 100644
index 0000000..246c002
--- /dev/null
+++ b/tests/pracownia2/ok/050_without_expectation_curly_elems.xi
@@ -0,0 +1,7 @@
+test():int
+{
+    return length({true, false, true})
+}
+
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/051_while_on_pred.xi b/tests/pracownia2/ok/051_while_on_pred.xi
new file mode 100644
index 0000000..9167206
--- /dev/null
+++ b/tests/pracownia2/ok/051_while_on_pred.xi
@@ -0,0 +1,9 @@
+pred():bool
+test()
+{
+    while pred() {
+    }
+}
+
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/052_with_expectation_a_lot_of_magic_bool.xi b/tests/pracownia2/ok/052_with_expectation_a_lot_of_magic_bool.xi
new file mode 100644
index 0000000..3400fbc
--- /dev/null
+++ b/tests/pracownia2/ok/052_with_expectation_a_lot_of_magic_bool.xi
@@ -0,0 +1,60 @@
+consumer1(x:bool[])
+consumer2(x:bool[][])
+consumer3(x:bool[][][])
+ 
+test()
+{
+    consumer1(
+        { {{}[0]}[0]
+        , {}[0]
+        , {}[0][0][0]
+        })
+    consumer2(
+        { {{}[0]}[0]
+        , {}[0]
+        , {}[0][0][0]
+        })
+    consumer2(
+        { { {{}[0]}[0] }
+        , {}[0]
+        , {}[0][0][0]
+        })
+    consumer2(
+        { {{}[0]}[0]
+        , { {}[0] }
+        , {}[0][0][0]
+        })
+    consumer2(
+        { {{}[0]}[0]
+        , {}[0]
+        , { {}[0][0][0] }
+        })
+    consumer2(
+        { { {{}[0]}[0]   }
+        , { {}[0]        }
+        , { {}[0][0][0]  }
+        })
+    consumer3(
+        { {{}[0]}[0]
+        , {}[0]
+        , {}[0][0][0]
+        })
+    consumer3(
+        { { {{}[0]}[0]  }
+        , { {}[0]       }
+        , { {}[0][0][0] }
+        })
+    consumer3(
+        { {{}[0]}[0]
+        , {}[0]
+        , { {}[0][0][0] }
+        })
+    consumer3(
+        { { { {{}[0]}[0]  } }
+        , { { {}[0]       } }
+        , { { {}[0][0][0] } }
+        })
+}
+
+//@PRACOWNIA
+//@stop_after typechecker
diff --git a/tests/pracownia2/ok/053_with_expectation_concat_both_weird.xi b/tests/pracownia2/ok/053_with_expectation_concat_both_weird.xi
new file mode 100644
index 0000000..28923a5
--- /dev/null
+++ b/tests/pracownia2/ok/053_with_expectation_concat_both_weird.xi
@@ -0,0 +1,6 @@
+test():bool[]
+{
+    return {{}[0]} + {{}[0]}
+}
+//@PRACOWNIA
+//@stop_after typechecker