fix: DSL store instruction expansion

tydeu · Sep 13, 2021 · d0f2c0b · d0f2c0b
1 parent 6af1a8d
commit d0f2c0b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Papyrus/Script/Instructions.lean b/Papyrus/Script/Instructions.lean
@@ -168,15 +168,15 @@ def expandStoreInst : (stx : Syntax) → MacroM Syntax
   let isVolatile := quote volatile?.isSome
   let order ← expandAtomicOrdering order
   let ssid ← expandOptSyncScope ssid?
-  ``(store $val $ptr $isVolatile $align $order $ssid)
+  `(doElem| store $val $ptr $isVolatile $align $order $ssid)
 | `(storeInst|
   store $[volatile%$volatile?]? $val:llvmValue, $ptr:llvmValue
     $[, align $align?]?) => do
   let val ← expandValueAsRefArrow val
   let ptr ← expandValueAsRefArrow ptr
   let isVolatile := quote volatile?.isSome
   let align ← expandOptAlign align?
-  ``(store $val $ptr $isVolatile $align)
+  `(doElem| store $val $ptr $isVolatile $align)
 | inst => Macro.throwErrorAt inst "ill-formed store instruction"
 
 macro x:storeInst : bbDoElem => expandStoreInst x