diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2014-09-05 11:53:02 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2014-09-05 11:53:02 +0000 |
| commit | 4d28c7632e83aed413c22001ec0821971f58f14d (patch) | |
| tree | d7c13e926b38f5b8aa6be1275a323e9b55a49c62 /src/runtime/haskell/PGF/ByteCode.hs | |
| parent | 86b5f78c579ce5fcc9c96370644c41c35a421070 (diff) | |
the code for def rules now uses proper graph update to preserve lazyness
Diffstat (limited to 'src/runtime/haskell/PGF/ByteCode.hs')
| -rw-r--r-- | src/runtime/haskell/PGF/ByteCode.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/runtime/haskell/PGF/ByteCode.hs b/src/runtime/haskell/PGF/ByteCode.hs index 2e317d4c0..158de0358 100644 --- a/src/runtime/haskell/PGF/ByteCode.hs +++ b/src/runtime/haskell/PGF/ByteCode.hs @@ -23,12 +23,13 @@ data Instr | SET_VALUE {-# UNPACK #-} !Int | SET_ARG_VAR {-# UNPACK #-} !Int | SET_FREE_VAR {-# UNPACK #-} !Int + | SET_PAD | PUSH_VALUE {-# UNPACK #-} !Int | PUSH_ARG_VAR {-# UNPACK #-} !Int | PUSH_FREE_VAR {-# UNPACK #-} !Int | TAIL_CALL CId - | UPDATE | FAIL + | UPDATE | RET {-# UNPACK #-} !Int ppCode :: Int -> [[Instr]] -> Doc @@ -52,11 +53,13 @@ ppInstr (PUT_FLT d ) = text "PUT_FLT " <+> double d ppInstr (SET_VALUE n) = text "SET_VALUE " <+> int n ppInstr (SET_ARG_VAR n) = text "SET_ARG_VAR " <+> int n ppInstr (SET_FREE_VAR n) = text "SET_FREE_VAR " <+> int n +ppInstr (SET_PAD ) = text "SET_PAD" ppInstr (PUSH_VALUE n) = text "PUSH_VALUE " <+> int n ppInstr (PUSH_ARG_VAR n) = text "PUSH_ARG_VAR " <+> int n ppInstr (PUSH_FREE_VAR n) = text "PUSH_FREE_VAR" <+> int n ppInstr (TAIL_CALL id) = text "TAIL_CALL " <+> ppCId id ppInstr (FAIL ) = text "FAIL" +ppInstr (UPDATE ) = text "UPDATE" ppInstr (RET n) = text "RET " <+> int n ppLabel l = text (let s = show l in replicate (3-length s) '0' ++ s) |