Commit 04ea8f79 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Add magic when accessing the stack.

parent b79a07af
...@@ -1190,7 +1190,7 @@ let reducebody prod = ...@@ -1190,7 +1190,7 @@ let reducebody prod =
elementif (Action.has_beforeend action) elementif (Action.has_beforeend action)
( (* Extract the field at offset 1 in the top stack cell. *) ( (* Extract the field at offset 1 in the top stack cell. *)
PTuple [ PWildcard; PVar beforeendp ], PTuple [ PWildcard; PVar beforeendp ],
EVar stack EMagic (EVar stack)
) @ ) @
elementif bind_startp elementif bind_startp
( if length > 0 then ( if length > 0 then
...@@ -1199,7 +1199,7 @@ let reducebody prod = ...@@ -1199,7 +1199,7 @@ let reducebody prod =
else else
(* Extract the field at offset 1 in the top stack cell. *) (* Extract the field at offset 1 in the top stack cell. *)
PTuple [ PWildcard; PVar startp ], PTuple [ PWildcard; PVar startp ],
EVar stack EMagic (EVar stack)
) @ ) @
elementif (Invariant.endp symbol) elementif (Invariant.endp symbol)
( if length > 0 then ( if length > 0 then
...@@ -1211,7 +1211,7 @@ let reducebody prod = ...@@ -1211,7 +1211,7 @@ let reducebody prod =
else else
(* Extract the field at offset 1 in the top stack cell. *) (* Extract the field at offset 1 in the top stack cell. *)
PTuple [ PWildcard; PVar endp ], PTuple [ PWildcard; PVar endp ],
EVar stack EMagic (EVar stack)
) )
in in
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment