Skip to content

Commit 46ef662

Browse files
bvisnessbvisness
committed
Update test files
1 parent 3b50ef1 commit 46ef662

File tree

5 files changed

+31
-17
lines changed

5 files changed

+31
-17
lines changed

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

-1.27 KB
Binary file not shown.

‎spectec/test-frontend/TEST.md‎

Lines changed: 6 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8708,16 +8708,19 @@ grammar Btypesec : type*
87088708
prod{`ty*` : type*} ty*{ty <- `ty*`}:Bsection_(1, syntax type, grammar Blist(syntax type, grammar Btype)) => ty*{ty <- `ty*`}
87098709

87108710
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec
8711-
grammar Bimport : (name, externtype)
8711+
grammar Bimportitem : (name, externtype)
87128712
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec
87138713
prod{nm_2 : name, xt : externtype} {{nm_2:Bname} {xt:Bexterntype}} => (nm_2, xt)
87148714

87158715
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec
87168716
grammar Bimports : import*
87178717
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec
8718-
prod{nm_1 : name, nm_2 : name, xt : externtype} {{nm_1:Bname} {(nm_2, xt):Bimport}} => [IMPORT_import(nm_1, nm_2, xt)]
8718+
prod{nm_1 : name, nm_2 : name, xt : externtype} {{nm_1:Bname} {nm_2:Bname} {xt:Bexterntype}} => [IMPORT_import(nm_1, nm_2, xt)]
87198719
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec
8720-
prod{nm_1 : name, nm_e : name, `nm_2*` : name*, `xt*` : externtype*} {{nm_1:Bname} {nm_e:Bname} {0x7F} {(nm_2, xt)*{nm_2 <- `nm_2*`, xt <- `xt*`}:Blist(syntax (name, externtype), grammar Bimport)}} => IMPORT_import(nm_1, nm_2, xt)*{nm_2 <- `nm_2*`, xt <- `xt*`}
8720+
prod{nm_1 : name, nm_e : name, `nm_2*` : name*, `xt*` : externtype*} {{nm_1:Bname} {nm_e:Bname} {0x7F} {(nm_2, xt)*{nm_2 <- `nm_2*`, xt <- `xt*`}:Blist(syntax (name, externtype), grammar Bimportitem)}} => IMPORT_import(nm_1, nm_2, xt)*{nm_2 <- `nm_2*`, xt <- `xt*`}
8721+
-- if (nm_e = `%`_name([]))
8722+
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec
8723+
prod{nm_1 : name, nm_e : name, xt : externtype, `nm_2*` : name*} {{nm_1:Bname} {nm_e:Bname} {0x7E} {xt:Bexterntype} {nm_2*{nm_2 <- `nm_2*`}:Blist(syntax name, grammar Bname)}} => IMPORT_import(nm_1, nm_2, xt)*{nm_2 <- `nm_2*`}
87218724
-- if (nm_e = `%`_name([]))
87228725

87238726
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec

‎spectec/test-latex/TEST.md‎

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -12024,9 +12024,10 @@ $$
1202412024

1202512025
$$
1202612026
\begin{array}[t]{@{}lrrl@{}l@{}l@{}l@{}}
12027-
& {\mathtt{import}} & ::= & {\mathit{nm}}_2{:}{\mathtt{name}}~~{\mathit{xt}}{:}{\mathtt{externtype}} & \quad\Rightarrow\quad{} & ({\mathit{nm}}_2, {\mathit{xt}}) \\
12028-
& {\mathtt{imports}} & ::= & {\mathit{nm}}_1{:}{\mathtt{name}}~~({\mathit{nm}}_2, {\mathit{xt}}){:}{\mathtt{import}} & \quad\Rightarrow\quad{} & \mathsf{import}~{\mathit{nm}}_1~{\mathit{nm}}_2~{\mathit{xt}} \\
12029-
& & | & {\mathit{nm}}_1{:}{\mathtt{name}}~~{\mathit{nm}}_e{:}{\mathtt{name}}~~\mathtt{0x7F}~~{({\mathit{nm}}_2, {\mathit{xt}})^\ast}{:}{\mathtt{list}}({\mathtt{import}}) & \quad\Rightarrow\quad{} & {(\mathsf{import}~{\mathit{nm}}_1~{\mathit{nm}}_2~{\mathit{xt}})^\ast} & \quad \mbox{if}~ {\mathit{nm}}_e = \epsilon \\
12027+
& {\mathtt{importitem}} & ::= & {\mathit{nm}}_2{:}{\mathtt{name}}~~{\mathit{xt}}{:}{\mathtt{externtype}} & \quad\Rightarrow\quad{} & ({\mathit{nm}}_2, {\mathit{xt}}) \\
12028+
& {\mathtt{imports}} & ::= & {\mathit{nm}}_1{:}{\mathtt{name}}~~{\mathit{nm}}_2{:}{\mathtt{name}}~~{\mathit{xt}}{:}{\mathtt{externtype}} & \quad\Rightarrow\quad{} & \mathsf{import}~{\mathit{nm}}_1~{\mathit{nm}}_2~{\mathit{xt}} \\
12029+
& & | & {\mathit{nm}}_1{:}{\mathtt{name}}~~{\mathit{nm}}_e{:}{\mathtt{name}}~~\mathtt{0x7F}~~{({\mathit{nm}}_2, {\mathit{xt}})^\ast}{:}{\mathtt{list}}({\mathtt{importitem}}) & \quad\Rightarrow\quad{} & {(\mathsf{import}~{\mathit{nm}}_1~{\mathit{nm}}_2~{\mathit{xt}})^\ast} & \quad \mbox{if}~ {\mathit{nm}}_e = \epsilon \\
12030+
& & | & {\mathit{nm}}_1{:}{\mathtt{name}}~~{\mathit{nm}}_e{:}{\mathtt{name}}~~\mathtt{0x7E}~~{\mathit{xt}}{:}{\mathtt{externtype}}~~{{\mathit{nm}}_2^\ast}{:}{\mathtt{list}}({\mathtt{name}}) & \quad\Rightarrow\quad{} & {(\mathsf{import}~{\mathit{nm}}_1~{\mathit{nm}}_2~{\mathit{xt}})^\ast} & \quad \mbox{if}~ {\mathit{nm}}_e = \epsilon \\
1203012031
\mbox{(import section)} & {\mathtt{importsec}} & ::= & {{{\mathit{im}}^\ast}^\ast}{:}{{\mathtt{section}}}_{2}({\mathtt{list}}({\mathtt{imports}})) & \quad\Rightarrow\quad{} & {\bigoplus}\, {{{\mathit{im}}^\ast}^\ast} \\
1203112032
\end{array}
1203212033
$$

‎spectec/test-middlend/TEST.md‎

Lines changed: 18 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -8698,16 +8698,19 @@ grammar Btypesec : type*
86988698
prod{`ty*` : type*} ty*{ty <- `ty*`}:Bsection_(1, syntax type, grammar Blist(syntax type, grammar Btype)) => ty*{ty <- `ty*`}
86998699

87008700
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec
8701-
grammar Bimport : (name, externtype)
8701+
grammar Bimportitem : (name, externtype)
87028702
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec
87038703
prod{nm_2 : name, xt : externtype} {{nm_2:Bname} {xt:Bexterntype}} => (nm_2, xt)
87048704

87058705
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec
87068706
grammar Bimports : import*
87078707
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec
8708-
prod{nm_1 : name, nm_2 : name, xt : externtype} {{nm_1:Bname} {(nm_2, xt):Bimport}} => [IMPORT_import(nm_1, nm_2, xt)]
8708+
prod{nm_1 : name, nm_2 : name, xt : externtype} {{nm_1:Bname} {nm_2:Bname} {xt:Bexterntype}} => [IMPORT_import(nm_1, nm_2, xt)]
87098709
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec
8710-
prod{nm_1 : name, nm_e : name, `nm_2*` : name*, `xt*` : externtype*} {{nm_1:Bname} {nm_e:Bname} {0x7F} {(nm_2, xt)*{nm_2 <- `nm_2*`, xt <- `xt*`}:Blist(syntax (name, externtype), grammar Bimport)}} => IMPORT_import(nm_1, nm_2, xt)*{nm_2 <- `nm_2*`, xt <- `xt*`}
8710+
prod{nm_1 : name, nm_e : name, `nm_2*` : name*, `xt*` : externtype*} {{nm_1:Bname} {nm_e:Bname} {0x7F} {(nm_2, xt)*{nm_2 <- `nm_2*`, xt <- `xt*`}:Blist(syntax (name, externtype), grammar Bimportitem)}} => IMPORT_import(nm_1, nm_2, xt)*{nm_2 <- `nm_2*`, xt <- `xt*`}
8711+
-- if (nm_e = `%`_name([]))
8712+
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec
8713+
prod{nm_1 : name, nm_e : name, xt : externtype, `nm_2*` : name*} {{nm_1:Bname} {nm_e:Bname} {0x7E} {xt:Bexterntype} {nm_2*{nm_2 <- `nm_2*`}:Blist(syntax name, grammar Bname)}} => IMPORT_import(nm_1, nm_2, xt)*{nm_2 <- `nm_2*`}
87118714
-- if (nm_e = `%`_name([]))
87128715

87138716
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec
@@ -20050,16 +20053,19 @@ grammar Btypesec : type*
2005020053
prod{`ty*` : type*} ty*{ty <- `ty*`}:Bsection_(1, syntax type, grammar Blist(syntax type, grammar Btype)) => ty*{ty <- `ty*`}
2005120054

2005220055
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec
20053-
grammar Bimport : (name, externtype)
20056+
grammar Bimportitem : (name, externtype)
2005420057
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec
2005520058
prod{nm_2 : name, xt : externtype} {{nm_2:Bname} {xt:Bexterntype}} => (nm_2, xt)
2005620059

2005720060
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec
2005820061
grammar Bimports : import*
2005920062
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec
20060-
prod{nm_1 : name, nm_2 : name, xt : externtype} {{nm_1:Bname} {(nm_2, xt):Bimport}} => [IMPORT_import(nm_1, nm_2, xt)]
20063+
prod{nm_1 : name, nm_2 : name, xt : externtype} {{nm_1:Bname} {nm_2:Bname} {xt:Bexterntype}} => [IMPORT_import(nm_1, nm_2, xt)]
20064+
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec
20065+
prod{nm_1 : name, nm_e : name, `nm_2*` : name*, `xt*` : externtype*} {{nm_1:Bname} {nm_e:Bname} {0x7F} {(nm_2, xt)*{nm_2 <- `nm_2*`, xt <- `xt*`}:Blist(syntax (name, externtype), grammar Bimportitem)}} => IMPORT_import(nm_1, nm_2, xt)*{nm_2 <- `nm_2*`, xt <- `xt*`}
20066+
-- if (nm_e = `%`_name([]))
2006120067
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec
20062-
prod{nm_1 : name, nm_e : name, `nm_2*` : name*, `xt*` : externtype*} {{nm_1:Bname} {nm_e:Bname} {0x7F} {(nm_2, xt)*{nm_2 <- `nm_2*`, xt <- `xt*`}:Blist(syntax (name, externtype), grammar Bimport)}} => IMPORT_import(nm_1, nm_2, xt)*{nm_2 <- `nm_2*`, xt <- `xt*`}
20068+
prod{nm_1 : name, nm_e : name, xt : externtype, `nm_2*` : name*} {{nm_1:Bname} {nm_e:Bname} {0x7E} {xt:Bexterntype} {nm_2*{nm_2 <- `nm_2*`}:Blist(syntax name, grammar Bname)}} => IMPORT_import(nm_1, nm_2, xt)*{nm_2 <- `nm_2*`}
2006320069
-- if (nm_e = `%`_name([]))
2006420070

2006520071
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec
@@ -31581,16 +31587,19 @@ grammar Btypesec : type*
3158131587
prod{`ty*` : type*} ty*{ty <- `ty*`}:Bsection_(1, syntax type, grammar Blist(syntax type, grammar Btype)) => ty*{ty <- `ty*`}
3158231588

3158331589
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec
31584-
grammar Bimport : (name, externtype)
31590+
grammar Bimportitem : (name, externtype)
3158531591
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec
3158631592
prod{nm_2 : name, xt : externtype} {{nm_2:Bname} {xt:Bexterntype}} => (nm_2, xt)
3158731593

3158831594
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec
3158931595
grammar Bimports : import*
3159031596
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec
31591-
prod{nm_1 : name, nm_2 : name, xt : externtype} {{nm_1:Bname} {(nm_2, xt):Bimport}} => [IMPORT_import(nm_1, nm_2, xt)]
31597+
prod{nm_1 : name, nm_2 : name, xt : externtype} {{nm_1:Bname} {nm_2:Bname} {xt:Bexterntype}} => [IMPORT_import(nm_1, nm_2, xt)]
31598+
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec
31599+
prod{nm_1 : name, nm_e : name, `nm_2*` : name*, `xt*` : externtype*} {{nm_1:Bname} {nm_e:Bname} {0x7F} {(nm_2, xt)*{nm_2 <- `nm_2*`, xt <- `xt*`}:Blist(syntax (name, externtype), grammar Bimportitem)}} => IMPORT_import(nm_1, nm_2, xt)*{nm_2 <- `nm_2*`, xt <- `xt*`}
31600+
-- if (nm_e = `%`_name([]))
3159231601
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec
31593-
prod{nm_1 : name, nm_e : name, `nm_2*` : name*, `xt*` : externtype*} {{nm_1:Bname} {nm_e:Bname} {0x7F} {(nm_2, xt)*{nm_2 <- `nm_2*`, xt <- `xt*`}:Blist(syntax (name, externtype), grammar Bimport)}} => IMPORT_import(nm_1, nm_2, xt)*{nm_2 <- `nm_2*`, xt <- `xt*`}
31602+
prod{nm_1 : name, nm_e : name, xt : externtype, `nm_2*` : name*} {{nm_1:Bname} {nm_e:Bname} {0x7E} {xt:Bexterntype} {nm_2*{nm_2 <- `nm_2*`}:Blist(syntax name, grammar Bname)}} => IMPORT_import(nm_1, nm_2, xt)*{nm_2 <- `nm_2*`}
3159431603
-- if (nm_e = `%`_name([]))
3159531604

3159631605
;; ../../../../specification/wasm-3.0/5.4-binary.modules.spectec

‎spectec/test-splice/TEST.md‎

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -545,7 +545,7 @@ warning: grammar `Bglobalsec` was never spliced
545545
warning: grammar `Bglobaltype` was never spliced
546546
warning: grammar `Bheaptype` was never spliced
547547
warning: grammar `BiN` was never spliced
548-
warning: grammar `Bimport` was never spliced
548+
warning: grammar `Bimportitem` was never spliced
549549
warning: grammar `Bimports` was never spliced
550550
warning: grammar `Bimportsec` was never spliced
551551
warning: grammar `Binstr/parametric` was never spliced
@@ -769,7 +769,8 @@ warning: grammar `Timport_/abbrev-mem` was never spliced
769769
warning: grammar `Timport_/abbrev-table` was never spliced
770770
warning: grammar `Timport_/abbrev-func` was never spliced
771771
warning: grammar `Timportdots` was never spliced
772-
warning: grammar `Timports_/abbrev` was never spliced
772+
warning: grammar `Timports_/abbrev-compact1` was never spliced
773+
warning: grammar `Timports_/abbrev-compact2` was never spliced
773774
warning: grammar `Tinstr_` was never spliced
774775
warning: grammar `Tinstrs_/unfolded` was never spliced
775776
warning: grammar `Tinstrs_/folded` was never spliced

0 commit comments

Comments
 (0)