From 26ad164cecc65afd9420e0ac34a15d49b02e6cbf Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Thu, 16 Oct 2014 10:00:32 +0000 Subject: finally proper stack unwind in the evaluator --- src/runtime/haskell/PGF/ByteCode.hs | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src/runtime/haskell/PGF/ByteCode.hs') diff --git a/src/runtime/haskell/PGF/ByteCode.hs b/src/runtime/haskell/PGF/ByteCode.hs index ababdde0d..46f81cff9 100644 --- a/src/runtime/haskell/PGF/ByteCode.hs +++ b/src/runtime/haskell/PGF/ByteCode.hs @@ -26,7 +26,8 @@ data Instr | SET_PAD | PUSH IVal | EVAL IVal TailInfo - | DROP {-# UNPACK #-} !Int {-# UNPACK #-} !CodeLabel + | DROP {-# UNPACK #-} !Int + | JUMP {-# UNPACK #-} !CodeLabel | FAIL | ADD @@ -60,7 +61,8 @@ ppInstr (SET v) = text "SET " <+> ppIVal v ppInstr (SET_PAD ) = text "SET_PAD" ppInstr (PUSH v) = text "PUSH " <+> ppIVal v ppInstr (EVAL v ti) = text "EVAL " <+> ppIVal v <+> ppTailInfo ti -ppInstr (DROP n l ) = text "DROP " <+> int n <+> ppLabel l +ppInstr (DROP n ) = text "DROP " <+> int n +ppInstr (JUMP l ) = text "JUMP " <+> ppLabel l ppInstr (FAIL ) = text "FAIL" ppInstr (ADD ) = text "ADD" -- cgit v1.2.3