unload #as foot-gun

jberthold · jberthold · commit f193657fc63f · 2025-02-04T16:07:50.000+11:00
diff --git a/kmir/src/kmir/kdist/mir-semantics/kmir.md b/kmir/src/kmir/kdist/mir-semantics/kmir.md
@@ -504,7 +504,7 @@ The local data has to be set up for the call, which requires information about t
 
   // reserve space for local variables and copy arguments from old locals into their place
   rule <k> #setUpCalleeData(
-              monoItemFn(_, _, body(FIRST:BasicBlock _ #as BLOCKS, NEWLOCALS, _, _, _, _) _:Bodies),
+              monoItemFn(_, _, body((FIRST:BasicBlock _) #as BLOCKS, NEWLOCALS, _, _, _, _) _:Bodies),
               ARGS
               )
          =>

Original file line number	Diff line number	Diff line change
`@@ -504,7 +504,7 @@ The local data has to be set up for the call, which requires information about t`
`504`	`504`
`505`	`505`	`// reserve space for local variables and copy arguments from old locals into their place`
`506`	`506`	`rule <k> #setUpCalleeData(`
`507`		`- monoItemFn(_, _, body(FIRST:BasicBlock _ #as BLOCKS, NEWLOCALS, _, _, _, _) _:Bodies),`
	`507`	`+ monoItemFn(_, _, body((FIRST:BasicBlock _) #as BLOCKS, NEWLOCALS, _, _, _, _) _:Bodies),`
`508`	`508`	`ARGS`
`509`	`509`	`)`
`510`	`510`	`=>`