summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/parse/expr/bad-block-sig-multi.txt14
-rw-r--r--test/parse/expr/bad-if-sig-multi.txt18
-rw-r--r--test/parse/expr/bad-loop-sig-multi.txt14
-rw-r--r--test/parse/expr/bad-return-multi.txt2
-rw-r--r--test/parse/module/bad-global-invalid-expr.txt2
-rw-r--r--test/typecheck/bad-if-condition-type-mismatch.txt2
6 files changed, 49 insertions, 3 deletions
diff --git a/test/parse/expr/bad-block-sig-multi.txt b/test/parse/expr/bad-block-sig-multi.txt
new file mode 100644
index 00000000..cfb7ffed
--- /dev/null
+++ b/test/parse/expr/bad-block-sig-multi.txt
@@ -0,0 +1,14 @@
+;;; ERROR: 1
+(module
+ (func
+ block i32 i32
+ i32.const 1
+ i32.const 1
+ end
+ drop
+ drop))
+(;; STDERR ;;;
+out/test/parse/expr/bad-block-sig-multi.txt:4:5: multiple block signature result types not currently supported.
+ block i32 i32
+ ^^^^^
+;;; STDERR ;;)
diff --git a/test/parse/expr/bad-if-sig-multi.txt b/test/parse/expr/bad-if-sig-multi.txt
new file mode 100644
index 00000000..44ef8189
--- /dev/null
+++ b/test/parse/expr/bad-if-sig-multi.txt
@@ -0,0 +1,18 @@
+;;; ERROR: 1
+(module
+ (func
+ i32.const 1
+ if i32 i32
+ i32.const 1
+ i32.const 2
+ else
+ i32.const 3
+ i32.const 4
+ end
+ drop
+ drop))
+(;; STDERR ;;;
+out/test/parse/expr/bad-if-sig-multi.txt:5:5: multiple if signature result types not currently supported.
+ if i32 i32
+ ^^
+;;; STDERR ;;)
diff --git a/test/parse/expr/bad-loop-sig-multi.txt b/test/parse/expr/bad-loop-sig-multi.txt
new file mode 100644
index 00000000..5ea5b726
--- /dev/null
+++ b/test/parse/expr/bad-loop-sig-multi.txt
@@ -0,0 +1,14 @@
+;;; ERROR: 1
+(module
+ (func
+ loop i32 i32
+ i32.const 1
+ i32.const 2
+ end
+ drop
+ drop))
+(;; STDERR ;;;
+out/test/parse/expr/bad-loop-sig-multi.txt:4:5: multiple loop signature result types not currently supported.
+ loop i32 i32
+ ^^^^
+;;; STDERR ;;)
diff --git a/test/parse/expr/bad-return-multi.txt b/test/parse/expr/bad-return-multi.txt
index 796c2edc..bbcafc05 100644
--- a/test/parse/expr/bad-return-multi.txt
+++ b/test/parse/expr/bad-return-multi.txt
@@ -6,5 +6,5 @@
(;; STDERR ;;;
out/test/parse/expr/bad-return-multi.txt:2:9: multiple result values not currently supported.
(module (func (result f32 f32)
- ^^^^^^^^^
+ ^
;;; STDERR ;;)
diff --git a/test/parse/module/bad-global-invalid-expr.txt b/test/parse/module/bad-global-invalid-expr.txt
index b863add4..2008e8fe 100644
--- a/test/parse/module/bad-global-invalid-expr.txt
+++ b/test/parse/module/bad-global-invalid-expr.txt
@@ -7,5 +7,5 @@
(;; STDERR ;;;
out/test/parse/module/bad-global-invalid-expr.txt:3:3: invalid global initializer expression, must be a constant expression; either *.const or get_global.
(global i32
- ^^^^^^^^^^
+ ^
;;; STDERR ;;)
diff --git a/test/typecheck/bad-if-condition-type-mismatch.txt b/test/typecheck/bad-if-condition-type-mismatch.txt
index 14eae4b4..e3af0879 100644
--- a/test/typecheck/bad-if-condition-type-mismatch.txt
+++ b/test/typecheck/bad-if-condition-type-mismatch.txt
@@ -12,5 +12,5 @@
(;; STDERR ;;;
out/test/typecheck/bad-if-condition-type-mismatch.txt:5:5: type mismatch in if, expected i32 but got f32.
if i32
- ^^^
+ ^^
;;; STDERR ;;)