Skip to content

Commit f2fce28

Browse files
rossbergrossberg
committed
[ci] Update test expects
1 parent d2cb595 commit f2fce28

4 files changed

Lines changed: 25 additions & 25 deletions

File tree

‎spectec/doc/example/output/NanoWasm.pdf‎

-4 Bytes
Binary file not shown.

‎spectec/test-frontend/TEST.md‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -11196,10 +11196,15 @@ grammar Tdata_(I : I) : (data, idctxt)
1119611196
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
1119711197
prod{`b*` : byte*, x : idx, e : expr, `id?` : char?} {{"("} {"data"} {?(`%`_name(lift(id?{id <- `id?`}))):Tid?{}} {x:Tmemuse_(I)} {e:Toffset_(I)} {b*{b <- `b*`}:Tdatastring} {")"}} => (DATA_data(b*{b <- `b*`}, ACTIVE_datamode(x, e)), {TYPES [], TAGS [], GLOBALS [], MEMS [], TABLES [], FUNCS [], DATAS [?(`%`_name(lift(id?{id <- `id?`})))], ELEMS [], LOCALS [], LABELS [], FIELDS [], TYPEDEFS []})
1119811198

11199+
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
11200+
grammar Telemexpr_(I : I) : expr
11201+
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
11202+
prod{e : expr} {{"("} {"item"} {e:Texpr_(I)} {")"}} => e
11203+
1119911204
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
1120011205
grammar Telemlist_(I : I) : (reftype, expr*)
1120111206
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
11202-
prod{rt : reftype, `e*` : expr*} {{rt:Treftype_(I)} {e*{e <- `e*`}:Tlist(syntax expr, grammar Texpr_(I))}} => (rt, e*{e <- `e*`})
11207+
prod{rt : reftype, `e*` : expr*} {{rt:Treftype_(I)} {e*{e <- `e*`}:Tlist(syntax expr, grammar Telemexpr_(I))}} => (rt, e*{e <- `e*`})
1120311208

1120411209
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
1120511210
grammar Ttableuse_(I : I) : tableidx
@@ -11215,11 +11220,6 @@ grammar Telem_(I : I) : (elem, idctxt)
1121511220
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
1121611221
prod{rt : reftype, `e*` : expr*, `id?` : char?} {{"("} {"elem"} {?(`%`_name(lift(id?{id <- `id?`}))):Tid?{}} {"declare"} {(rt, e*{e <- `e*`}):Telemlist_(I)} {")"}} => (ELEM_elem(rt, e*{e <- `e*`}, DECLARE_elemmode), {TYPES [], TAGS [], GLOBALS [], MEMS [], TABLES [], FUNCS [], DATAS [], ELEMS [?(`%`_name(lift(id?{id <- `id?`})))], LOCALS [], LABELS [], FIELDS [], TYPEDEFS []})
1121711222

11218-
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
11219-
grammar Telemexpr_(I : I) : expr
11220-
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
11221-
prod{e : expr} {{"("} {"item"} {e:Texpr_(I)} {")"}} => e
11222-
1122311223
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
1122411224
grammar Tstart_(I : I) : (start, idctxt)
1122511225
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec

‎spectec/test-latex/TEST.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13599,7 +13599,7 @@ $$
1359913599
\mbox{‘\texttt{{(}}’}~~\mbox{‘\texttt{elem}’}~~{{\mathtt{offset}}}_{I}~~\mbox{‘\texttt{func}’}~~{\mathtt{list}}({{\mathtt{funcidx}}}_{I})~~\mbox{‘\texttt{{)}}’} \\
1360013600
\end{array}
1360113601
} \\
13602-
& {{\mathtt{elemlist}}}_{I} & ::= & {\mathit{rt}}{:}{{\mathtt{reftype}}}_{I}~~{e^\ast}{:}{\mathtt{list}}({{\mathtt{expr}}}_{I}) & \quad\Rightarrow\quad{} & ({\mathit{rt}}, {e^\ast}) \\
13602+
& {{\mathtt{elemlist}}}_{I} & ::= & {\mathit{rt}}{:}{{\mathtt{reftype}}}_{I}~~{e^\ast}{:}{\mathtt{list}}({{\mathtt{elemexpr}}}_{I}) & \quad\Rightarrow\quad{} & ({\mathit{rt}}, {e^\ast}) \\
1360313603
& & | & \mbox{‘\texttt{func}’}~~{x^\ast}{:}{{{\mathtt{funcidx}}}_{I}^\ast} & \quad\equiv\quad{} & \mbox{‘\texttt{{(}}’}~~\mbox{‘\texttt{ref}’}~~\mbox{‘\texttt{func}’}~~\mbox{‘\texttt{{)}}’}~~{(\mbox{‘\texttt{{(}}’}~~\mbox{‘\texttt{ref.func}’}~~{{\mathtt{funcidx}}}_{I}~~\mbox{‘\texttt{{)}}’})^\ast} \\
1360413604
& {{\mathtt{elemexpr}}}_{I} & ::= & \mbox{‘\texttt{{(}}’}~~\mbox{‘\texttt{item}’}~~e{:}{{\mathtt{expr}}}_{I}~~\mbox{‘\texttt{{)}}’} & \quad\Rightarrow\quad{} & e \\
1360513605
& & | & {{\mathtt{foldedinstr}}}_{I} & \quad\equiv\quad{} & \mbox{‘\texttt{{(}}’}~~\mbox{‘\texttt{item}’}~~{{\mathtt{foldedinstr}}}_{I}~~\mbox{‘\texttt{{)}}’} \\

‎spectec/test-middlend/TEST.md‎

Lines changed: 18 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -11186,10 +11186,15 @@ grammar Tdata_(I : I) : (data, idctxt)
1118611186
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
1118711187
prod{`b*` : byte*, x : idx, e : expr, `id?` : char?} {{"("} {"data"} {?(`%`_name(lift(id?{id <- `id?`}))):Tid?{}} {x:Tmemuse_(I)} {e:Toffset_(I)} {b*{b <- `b*`}:Tdatastring} {")"}} => (DATA_data(b*{b <- `b*`}, ACTIVE_datamode(x, e)), {TYPES [], TAGS [], GLOBALS [], MEMS [], TABLES [], FUNCS [], DATAS [?(`%`_name(lift(id?{id <- `id?`})))], ELEMS [], LOCALS [], LABELS [], FIELDS [], TYPEDEFS []})
1118811188

11189+
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
11190+
grammar Telemexpr_(I : I) : expr
11191+
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
11192+
prod{e : expr} {{"("} {"item"} {e:Texpr_(I)} {")"}} => e
11193+
1118911194
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
1119011195
grammar Telemlist_(I : I) : (reftype, expr*)
1119111196
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
11192-
prod{rt : reftype, `e*` : expr*} {{rt:Treftype_(I)} {e*{e <- `e*`}:Tlist(syntax expr, grammar Texpr_(I))}} => (rt, e*{e <- `e*`})
11197+
prod{rt : reftype, `e*` : expr*} {{rt:Treftype_(I)} {e*{e <- `e*`}:Tlist(syntax expr, grammar Telemexpr_(I))}} => (rt, e*{e <- `e*`})
1119311198

1119411199
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
1119511200
grammar Ttableuse_(I : I) : tableidx
@@ -11205,11 +11210,6 @@ grammar Telem_(I : I) : (elem, idctxt)
1120511210
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
1120611211
prod{rt : reftype, `e*` : expr*, `id?` : char?} {{"("} {"elem"} {?(`%`_name(lift(id?{id <- `id?`}))):Tid?{}} {"declare"} {(rt, e*{e <- `e*`}):Telemlist_(I)} {")"}} => (ELEM_elem(rt, e*{e <- `e*`}, DECLARE_elemmode), {TYPES [], TAGS [], GLOBALS [], MEMS [], TABLES [], FUNCS [], DATAS [], ELEMS [?(`%`_name(lift(id?{id <- `id?`})))], LOCALS [], LABELS [], FIELDS [], TYPEDEFS []})
1120711212

11208-
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
11209-
grammar Telemexpr_(I : I) : expr
11210-
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
11211-
prod{e : expr} {{"("} {"item"} {e:Texpr_(I)} {")"}} => e
11212-
1121311213
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
1121411214
grammar Tstart_(I : I) : (start, idctxt)
1121511215
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
@@ -22578,10 +22578,15 @@ grammar Tdata_(I : I) : (data, idctxt)
2257822578
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
2257922579
prod{`b*` : byte*, x : idx, e : expr, `id?` : char?} {{"("} {"data"} {?(`%`_name(lift(id?{id <- `id?`}))):Tid?{}} {x:Tmemuse_(I)} {e:Toffset_(I)} {b*{b <- `b*`}:Tdatastring} {")"}} => (DATA_data(b*{b <- `b*`}, ACTIVE_datamode(x, e)), {TYPES [], TAGS [], GLOBALS [], MEMS [], TABLES [], FUNCS [], DATAS [?(`%`_name(lift(id?{id <- `id?`})))], ELEMS [], LOCALS [], LABELS [], FIELDS [], TYPEDEFS []})
2258022580

22581+
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
22582+
grammar Telemexpr_(I : I) : expr
22583+
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
22584+
prod{e : expr} {{"("} {"item"} {e:Texpr_(I)} {")"}} => e
22585+
2258122586
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
2258222587
grammar Telemlist_(I : I) : (reftype, expr*)
2258322588
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
22584-
prod{rt : reftype, `e*` : expr*} {{rt:Treftype_(I)} {e*{e <- `e*`}:Tlist(syntax expr, grammar Texpr_(I))}} => (rt, e*{e <- `e*`})
22589+
prod{rt : reftype, `e*` : expr*} {{rt:Treftype_(I)} {e*{e <- `e*`}:Tlist(syntax expr, grammar Telemexpr_(I))}} => (rt, e*{e <- `e*`})
2258522590

2258622591
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
2258722592
grammar Ttableuse_(I : I) : tableidx
@@ -22597,11 +22602,6 @@ grammar Telem_(I : I) : (elem, idctxt)
2259722602
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
2259822603
prod{rt : reftype, `e*` : expr*, `id?` : char?} {{"("} {"elem"} {?(`%`_name(lift(id?{id <- `id?`}))):Tid?{}} {"declare"} {(rt, e*{e <- `e*`}):Telemlist_(I)} {")"}} => (ELEM_elem(rt, e*{e <- `e*`}, DECLARE_elemmode), {TYPES [], TAGS [], GLOBALS [], MEMS [], TABLES [], FUNCS [], DATAS [], ELEMS [?(`%`_name(lift(id?{id <- `id?`})))], LOCALS [], LABELS [], FIELDS [], TYPEDEFS []})
2259922604

22600-
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
22601-
grammar Telemexpr_(I : I) : expr
22602-
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
22603-
prod{e : expr} {{"("} {"item"} {e:Texpr_(I)} {")"}} => e
22604-
2260522605
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
2260622606
grammar Tstart_(I : I) : (start, idctxt)
2260722607
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
@@ -34150,10 +34150,15 @@ grammar Tdata_(I : I) : (data, idctxt)
3415034150
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
3415134151
prod{`b*` : byte*, x : idx, e : expr, `id?` : char?} {{"("} {"data"} {?(`%`_name(lift(id?{id <- `id?`}))):Tid?{}} {x:Tmemuse_(I)} {e:Toffset_(I)} {b*{b <- `b*`}:Tdatastring} {")"}} => (DATA_data(b*{b <- `b*`}, ACTIVE_datamode(x, e)), {TYPES [], TAGS [], GLOBALS [], MEMS [], TABLES [], FUNCS [], DATAS [?(`%`_name(lift(id?{id <- `id?`})))], ELEMS [], LOCALS [], LABELS [], FIELDS [], TYPEDEFS []})
3415234152

34153+
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
34154+
grammar Telemexpr_(I : I) : expr
34155+
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
34156+
prod{e : expr} {{"("} {"item"} {e:Texpr_(I)} {")"}} => e
34157+
3415334158
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
3415434159
grammar Telemlist_(I : I) : (reftype, expr*)
3415534160
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
34156-
prod{rt : reftype, `e*` : expr*} {{rt:Treftype_(I)} {e*{e <- `e*`}:Tlist(syntax expr, grammar Texpr_(I))}} => (rt, e*{e <- `e*`})
34161+
prod{rt : reftype, `e*` : expr*} {{rt:Treftype_(I)} {e*{e <- `e*`}:Tlist(syntax expr, grammar Telemexpr_(I))}} => (rt, e*{e <- `e*`})
3415734162

3415834163
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
3415934164
grammar Ttableuse_(I : I) : tableidx
@@ -34169,11 +34174,6 @@ grammar Telem_(I : I) : (elem, idctxt)
3416934174
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
3417034175
prod{rt : reftype, `e*` : expr*, `id?` : char?} {{"("} {"elem"} {?(`%`_name(lift(id?{id <- `id?`}))):Tid?{}} {"declare"} {(rt, e*{e <- `e*`}):Telemlist_(I)} {")"}} => (ELEM_elem(rt, e*{e <- `e*`}, DECLARE_elemmode), {TYPES [], TAGS [], GLOBALS [], MEMS [], TABLES [], FUNCS [], DATAS [], ELEMS [?(`%`_name(lift(id?{id <- `id?`})))], LOCALS [], LABELS [], FIELDS [], TYPEDEFS []})
3417134176

34172-
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
34173-
grammar Telemexpr_(I : I) : expr
34174-
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
34175-
prod{e : expr} {{"("} {"item"} {e:Texpr_(I)} {")"}} => e
34176-
3417734177
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec
3417834178
grammar Tstart_(I : I) : (start, idctxt)
3417934179
;; ../../../../specification/wasm-latest/6.4-text.modules.spectec

0 commit comments

Comments
 (0)