blob: 8085b3804aac0998721b17e11a1b68f6c6794631 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
|
;;; TOOL: wat2wasm
;;; ERROR: 1
;; error when displaying source line when the line wasn't in the first 8192
;; bytes.
(module
(memory 1)
(data (i32.const 0) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 60) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 120) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 180) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 240) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 300) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 360) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 420) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 480) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 540) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 600) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 660) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 720) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 780) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 840) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 900) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 960) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 1020) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 1080) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 1140) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 1200) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 1260) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 1320) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 1380) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 1440) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 1500) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 1560) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 1620) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 1680) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 1740) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 1800) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 1860) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 1920) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 1980) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 2040) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 2100) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 2160) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 2220) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 2280) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 2340) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 2400) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 2460) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 2520) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 2580) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 2640) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 2700) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 2760) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 2820) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 2880) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 2940) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 3000) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 3060) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 3120) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 3180) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 3240) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 3300) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 3360) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 3420) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 3480) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 3540) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 3600) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 3660) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 3720) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 3780) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 3840) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 3900) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 3960) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 4020) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 4080) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 4140) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 4200) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 4260) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 4320) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 4380) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 4440) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 4500) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 4560) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 4620) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 4680) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 4740) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 4800) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 4860) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 4920) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 4980) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 5040) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 5100) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 5160) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 5220) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 5280) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 5340) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 5400) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 5460) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 5520) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 5580) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 5640) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 5700) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 5760) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 5820) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 5880) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 5940) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 6000) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 6060) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 6120) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 6180) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 6240) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 6300) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 6360) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 6420) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 6480) "000000000000000000000000000000000000000000000000000000000000")
(data (i32.const 6540) "000000000000000000000000000000000000000000000000000000000000")
(func (result i32)
(i64.const 0)) ;; deliberate type-check error
)
(;; STDERR ;;;
out/test/regress/regress-5.txt:118:6: error: type mismatch in implicit return, expected [i32] but got [i64]
(i64.const 0)) ;; deliberate type-check error
^^^^^^^^^
;;; STDERR ;;)
|
