Testpromote

Author: f52985

spectec/test-frontend/TEST.md

@@ -749,7 +749,7 @@ def $FUNCREF : reftype
 ;; ../../../../specification/wasm-3.0/1.2-syntax.types.spectec
 def $EXNREF : reftype
   ;; ../../../../specification/wasm-3.0/1.2-syntax.types.spectec
-  def $EXNREF = REF_reftype(?(NULL_NULL), EXTERN_heaptype)
+  def $EXNREF = REF_reftype(?(NULL_NULL), EXN_heaptype)
 
 ;; ../../../../specification/wasm-3.0/1.2-syntax.types.spectec
 def $EXTERNREF : reftype

spectec/test-latex/TEST.md

@@ -2847,7 +2847,7 @@ $$
 
 $$
 \begin{array}[t]{@{}lcl@{}l@{}}
-\mathsf{exnref} & = & (\mathsf{ref}~\mathsf{null}~\mathsf{extern}) \\
+\mathsf{exnref} & = & (\mathsf{ref}~\mathsf{null}~\mathsf{exn}) \\
 \end{array}
 $$
 

spectec/test-middlend/TEST.md

@@ -739,7 +739,7 @@ def $FUNCREF : reftype
 ;; ../../../../specification/wasm-3.0/1.2-syntax.types.spectec
 def $EXNREF : reftype
   ;; ../../../../specification/wasm-3.0/1.2-syntax.types.spectec
-  def $EXNREF = REF_reftype(?(NULL_NULL), EXTERN_heaptype)
+  def $EXNREF = REF_reftype(?(NULL_NULL), EXN_heaptype)
 
 ;; ../../../../specification/wasm-3.0/1.2-syntax.types.spectec
 def $EXTERNREF : reftype
@@ -9647,7 +9647,7 @@ def $FUNCREF : reftype
 ;; ../../../../specification/wasm-3.0/1.2-syntax.types.spectec
 def $EXNREF : reftype
   ;; ../../../../specification/wasm-3.0/1.2-syntax.types.spectec
-  def $EXNREF = REF_reftype(?(NULL_NULL), EXTERN_heaptype)
+  def $EXNREF = REF_reftype(?(NULL_NULL), EXN_heaptype)
 
 ;; ../../../../specification/wasm-3.0/1.2-syntax.types.spectec
 def $EXTERNREF : reftype
@@ -18560,7 +18560,7 @@ def $FUNCREF : reftype
 ;; ../../../../specification/wasm-3.0/1.2-syntax.types.spectec
 def $EXNREF : reftype
   ;; ../../../../specification/wasm-3.0/1.2-syntax.types.spectec
-  def $EXNREF = REF_reftype(?(NULL_NULL), EXTERN_heaptype)
+  def $EXNREF = REF_reftype(?(NULL_NULL), EXN_heaptype)
 
 ;; ../../../../specification/wasm-3.0/1.2-syntax.types.spectec
 def $EXTERNREF : reftype

spectec/test-prose/TEST.md

@@ -20364,7 +20364,7 @@ The instruction sequence :math:`(\mathsf{block}~{\mathit{blocktype}}~{{\mathit{i
 .......................
 
 
-1. Return :math:`(\mathsf{ref}~\mathsf{null}~\mathsf{extern})`.
+1. Return :math:`(\mathsf{ref}~\mathsf{null}~\mathsf{exn})`.
 
 
 :math:`\mathsf{externref}`
@@ -28874,7 +28874,7 @@ FUNCREF
 1. Return (REF ?(NULL) FUNC).
 
 EXNREF
-1. Return (REF ?(NULL) EXTERN).
+1. Return (REF ?(NULL) EXN).
 
 EXTERNREF
 1. Return (REF ?(NULL) EXTERN).