diff --git a/fec/tests/format/bad_ari.fe b/fec/tests/format/bad_ari.fe index 7dc30b8..4dde572 100644 --- a/fec/tests/format/bad_ari.fe +++ b/fec/tests/format/bad_ari.fe @@ -1,3 +1,4 @@ +// ERROR:5:format argument count mismatch unit bad_ari; fn main() -> i32 { diff --git a/fec/tests/format/bad_cls.fe b/fec/tests/format/bad_cls.fe index 1f8a720..0871f16 100644 --- a/fec/tests/format/bad_cls.fe +++ b/fec/tests/format/bad_cls.fe @@ -1,3 +1,4 @@ +// ERROR:5:unmatched '}' in format unit bad_cls; fn main() -> i32 { diff --git a/fec/tests/format/bad_many.fe b/fec/tests/format/bad_many.fe index ab25401..d7608d6 100644 --- a/fec/tests/format/bad_many.fe +++ b/fec/tests/format/bad_many.fe @@ -1,3 +1,4 @@ +// ERROR:5:format argument count mismatch unit bad_many; fn main() -> i32 { diff --git a/fec/tests/format/bad_open.fe b/fec/tests/format/bad_open.fe index 98ee2c8..00a59f2 100644 --- a/fec/tests/format/bad_open.fe +++ b/fec/tests/format/bad_open.fe @@ -1,3 +1,4 @@ +// ERROR:5:unterminated format placeholder unit bad_open; fn main() -> i32 { diff --git a/fec/tests/format/bad_run.fe b/fec/tests/format/bad_run.fe index c7945e1..d5d81b7 100644 --- a/fec/tests/format/bad_run.fe +++ b/fec/tests/format/bad_run.fe @@ -1,3 +1,4 @@ +// ERROR:6:format must be a comptime string unit bad_run; fn main() -> i32 { diff --git a/fec/tests/format/bad_try.fe b/fec/tests/format/bad_try.fe index 0c5da62..b09ecea 100644 --- a/fec/tests/format/bad_try.fe +++ b/fec/tests/format/bad_try.fe @@ -1,3 +1,4 @@ +// ERROR:5:try requires an error result unit bad_try; fn main() -> i32 { diff --git a/fec/tests/format/bad_type.fe b/fec/tests/format/bad_type.fe index 9279e47..1b9ff35 100644 --- a/fec/tests/format/bad_type.fe +++ b/fec/tests/format/bad_type.fe @@ -1,3 +1,4 @@ +// ERROR:8:no fmt writer for argument type unit bad_type; struct Point { x: i32, } diff --git a/fec/tests/format/bad_verb.fe b/fec/tests/format/bad_verb.fe index 9a928ce..e683f90 100644 --- a/fec/tests/format/bad_verb.fe +++ b/fec/tests/format/bad_verb.fe @@ -1,3 +1,4 @@ +// ERROR:5:unsupported format verb unit bad_verb; fn main() -> i32 { diff --git a/fec/tests/format/bad_writ.fe b/fec/tests/format/bad_writ.fe index 18e33a6..6331833 100644 --- a/fec/tests/format/bad_writ.fe +++ b/fec/tests/format/bad_writ.fe @@ -1,3 +1,4 @@ +// ERROR:6:@fprint requires io.Writer unit bad_writ; fn main() -> i32 { diff --git a/fec/tests/own/bad_clos.fe b/fec/tests/own/bad_clos.fe index 28ff3e4..298b0d5 100644 --- a/fec/tests/own/bad_clos.fe +++ b/fec/tests/own/bad_clos.fe @@ -1,3 +1,4 @@ +// ERROR:13:use of moved value unit bad_clos; struct FileLike { diff --git a/fec/tests/own/bad_cond.fe b/fec/tests/own/bad_cond.fe index f46cfe4..a869374 100644 --- a/fec/tests/own/bad_cond.fe +++ b/fec/tests/own/bad_cond.fe @@ -1,3 +1,4 @@ +// ERROR:8:use of possibly moved value unit bad_cond; fn take(p: ^i32) -> void { mem.destroy(p); } diff --git a/fec/tests/own/bad_dbl.fe b/fec/tests/own/bad_dbl.fe index a990673..52a7cca 100644 --- a/fec/tests/own/bad_dbl.fe +++ b/fec/tests/own/bad_dbl.fe @@ -1,3 +1,4 @@ +// ERROR:6:use of moved value unit bad_dbl; fn bad(p: ^i32) -> void { diff --git a/fec/tests/own/bad_dest.fe b/fec/tests/own/bad_dest.fe index 8cedd19..3db184a 100644 --- a/fec/tests/own/bad_dest.fe +++ b/fec/tests/own/bad_dest.fe @@ -1,3 +1,4 @@ +// ERROR:5:mem.destroy requires exactly one owned pointer unit bad_dest; fn bad(x: i32) -> void { diff --git a/fec/tests/own/bad_drop.fe b/fec/tests/own/bad_drop.fe index ad9e9cc..a80a0a8 100644 --- a/fec/tests/own/bad_drop.fe +++ b/fec/tests/own/bad_drop.fe @@ -1,3 +1,4 @@ +// ERROR:11:drop may only be invoked by scope cleanup unit bad_drop; struct Box { diff --git a/fec/tests/own/bad_loop.fe b/fec/tests/own/bad_loop.fe index c7fd822..3f74193 100644 --- a/fec/tests/own/bad_loop.fe +++ b/fec/tests/own/bad_loop.fe @@ -1,3 +1,4 @@ +// ERROR:7:use of possibly moved value unit bad_loop; fn take(p: ^i32) -> void { mem.destroy(p); } diff --git a/fec/tests/own/bad_move.fe b/fec/tests/own/bad_move.fe index 15d25fb..01496ba 100644 --- a/fec/tests/own/bad_move.fe +++ b/fec/tests/own/bad_move.fe @@ -1,3 +1,4 @@ +// ERROR:8:use of moved value unit bad_move; fn take(p: ^i32) -> void { mem.destroy(p); } diff --git a/fec/tests/own/bad_proj.fe b/fec/tests/own/bad_proj.fe index 0c50987..ba5fd64 100644 --- a/fec/tests/own/bad_proj.fe +++ b/fec/tests/own/bad_proj.fe @@ -1,3 +1,4 @@ +// ERROR:8:cannot move a non-Copy value out of a projection; use mem.replace unit bad_proj; struct Holder { p: ^i32 } diff --git a/fec/tests/types/bad_ari.fe b/fec/tests/types/bad_ari.fe index bdf4619..4a26425 100644 --- a/fec/tests/types/bad_ari.fe +++ b/fec/tests/types/bad_ari.fe @@ -1,3 +1,4 @@ +// ERROR:9:wrong number of arguments unit bad_ari; fn add(a: i32, b: i32) -> i32 { diff --git a/fec/tests/types/bad_asgn.fe b/fec/tests/types/bad_asgn.fe index 3e921bc..8171754 100644 --- a/fec/tests/types/bad_asgn.fe +++ b/fec/tests/types/bad_asgn.fe @@ -1,3 +1,4 @@ +// ERROR:6:cannot assign to immutable let unit bad_asgn; fn main() -> i32 { diff --git a/fec/tests/types/bad_cast.fe b/fec/tests/types/bad_cast.fe index 0eafcfc..5881636 100644 --- a/fec/tests/types/bad_cast.fe +++ b/fec/tests/types/bad_cast.fe @@ -1,3 +1,4 @@ +// ERROR:5:'as' requires integer or char types unit bad_cast; fn main() -> i32 { diff --git a/fec/tests/types/bad_cond.fe b/fec/tests/types/bad_cond.fe index a3968f1..72e2347 100644 --- a/fec/tests/types/bad_cond.fe +++ b/fec/tests/types/bad_cond.fe @@ -1,3 +1,4 @@ +// ERROR:5:if condition must be bool unit bad_cond; fn main() -> i32 { diff --git a/fec/tests/types/bad_mlet.fe b/fec/tests/types/bad_mlet.fe index a3960b0..7211577 100644 --- a/fec/tests/types/bad_mlet.fe +++ b/fec/tests/types/bad_mlet.fe @@ -1,3 +1,4 @@ +// ERROR:6:let cannot bind a mutable slice unit bad_mlet; fn bad() -> void { diff --git a/fec/tests/types/bad_ret.fe b/fec/tests/types/bad_ret.fe index a151ab3..367a1f5 100644 --- a/fec/tests/types/bad_ret.fe +++ b/fec/tests/types/bad_ret.fe @@ -1,3 +1,4 @@ +// ERROR:5:return type mismatch unit bad_ret; fn main() -> i32 { diff --git a/fec/tests/types/bad_shwr.fe b/fec/tests/types/bad_shwr.fe index 7c7881f..c67fc29 100644 --- a/fec/tests/types/bad_shwr.fe +++ b/fec/tests/types/bad_shwr.fe @@ -1,3 +1,4 @@ +// ERROR:5:cannot write through shared slice unit bad_shwr; fn bad(s: []u8) -> void { diff --git a/fec/tests/types/bad_type.fe b/fec/tests/types/bad_type.fe index 15a4aca..ba421b9 100644 --- a/fec/tests/types/bad_type.fe +++ b/fec/tests/types/bad_type.fe @@ -1,3 +1,4 @@ +// ERROR:9:argument type mismatch unit bad_type; fn add(a: i32, b: i32) -> i32 { diff --git a/fec/tests/types/bad_unit.fe b/fec/tests/types/bad_unit.fe index 99d8bbd..be33f54 100644 --- a/fec/tests/types/bad_unit.fe +++ b/fec/tests/types/bad_unit.fe @@ -1,3 +1,4 @@ +// ERROR:6:use of uninitialized variable unit bad_unit; fn main() -> i32 { diff --git a/fec/tests/types/bad_unk.fe b/fec/tests/types/bad_unk.fe index b868c3b..12ab2c4 100644 --- a/fec/tests/types/bad_unk.fe +++ b/fec/tests/types/bad_unk.fe @@ -1,3 +1,4 @@ +// ERROR:5:unknown name unit bad_unk; fn main() -> i32 { diff --git a/fec/tests/types/bad_void.fe b/fec/tests/types/bad_void.fe index bf3ce1f..4f983f2 100644 --- a/fec/tests/types/bad_void.fe +++ b/fec/tests/types/bad_void.fe @@ -1,3 +1,4 @@ +// ERROR:9:initializer type mismatch unit bad_void; fn noop() { diff --git a/fec/tests/types/badarr.fe b/fec/tests/types/badarr.fe index 11007cb..0fc94b5 100644 --- a/fec/tests/types/badarr.fe +++ b/fec/tests/types/badarr.fe @@ -1,3 +1,4 @@ +// ERROR:4:array element type mismatch unit badarr; fn main() -> i32 { let a: [2]i32 = [1, true, 3]; diff --git a/fec/tests/types/badchar.fe b/fec/tests/types/badchar.fe index 9d1a1d4..dbe2c10 100644 --- a/fec/tests/types/badchar.fe +++ b/fec/tests/types/badchar.fe @@ -1,3 +1,4 @@ +// ERROR:5:initializer type mismatch unit badchar; fn main() -> i32 { diff --git a/fec/tests/types/badcycle.fe b/fec/tests/types/badcycle.fe index 532ea1e..94fbd43 100644 --- a/fec/tests/types/badcycle.fe +++ b/fec/tests/types/badcycle.fe @@ -1,3 +1,4 @@ +// ERROR:2:by-value recursive type unit badcycle; struct A { b: B, } diff --git a/fec/tests/types/badfield.fe b/fec/tests/types/badfield.fe index 4fa664c..bfda363 100644 --- a/fec/tests/types/badfield.fe +++ b/fec/tests/types/badfield.fe @@ -1,3 +1,4 @@ +// ERROR:7:cannot assign through immutable value unit badfield; struct Point { x: i32, y: i32, } diff --git a/fec/tests/types/badfld.fe b/fec/tests/types/badfld.fe index 68704be..8ef5366 100644 --- a/fec/tests/types/badfld.fe +++ b/fec/tests/types/badfld.fe @@ -1,3 +1,4 @@ +// ERROR:5:missing struct field unit badfld; struct Point { x: i32, y: i32, } fn main() -> i32 { diff --git a/fec/tests/types/badindex.fe b/fec/tests/types/badindex.fe index 06b1b10..9db50a9 100644 --- a/fec/tests/types/badindex.fe +++ b/fec/tests/types/badindex.fe @@ -1,3 +1,4 @@ +// ERROR:6:cannot assign through immutable value unit badindex; fn main() -> i32 { diff --git a/fec/tests/types/badmat.fe b/fec/tests/types/badmat.fe index 3c7df6a..cc235a7 100644 --- a/fec/tests/types/badmat.fe +++ b/fec/tests/types/badmat.fe @@ -1,3 +1,4 @@ +// ERROR:5:non-exhaustive match unit badmat; enum Shape { Empty, Circle(i32), } fn main() -> i32 { diff --git a/fec/tests/types/badstr.fe b/fec/tests/types/badstr.fe index 6219d9a..8bcee1f 100644 --- a/fec/tests/types/badstr.fe +++ b/fec/tests/types/badstr.fe @@ -1,3 +1,4 @@ +// ERROR:5:cannot write through shared slice unit badstr; fn main() -> i32 { var text: str = "abc";