Add macro for reftypediff

Wasm-DSL · Sep 19, 2024 · 3bff8e3 · 3bff8e3
1 parent 8bd084b
commit 3bff8e3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/spectec/spec/wasm-3.0/2-syntax-aux.watsup b/spectec/spec/wasm-3.0/2-syntax-aux.watsup
@@ -95,7 +95,7 @@ def $unpackshape(Lnn X N) = $lunpack(Lnn)
 
 ;; Type difference
 
-def $diffrt(reftype, reftype) : reftype  hint(show %\%)
+def $diffrt(reftype, reftype) : reftype  hint(show %\%) hint(macro "reftypediff")
 
 def $diffrt((REF nul1 ht_1), (REF NULL ht_2)) = (REF ht_1)
 def $diffrt((REF nul1 ht_1), (REF ht_2)) = (REF nul1 ht_1)