diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2014-10-14 11:15:18 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2014-10-14 11:15:18 +0000 |
| commit | ac288386c44bdfab783ae2cdc0882d411a9c6b00 (patch) | |
| tree | 5ed4e7aecc60b2066188a25f6e36654f52bd2925 /src/runtime/haskell | |
| parent | b5cc77aea18e5855e95ddc1fb67039d99a2e956a (diff) | |
the compiler now allows + to be used as a floating point addition in the abstract syntax
Diffstat (limited to 'src/runtime/haskell')
| -rw-r--r-- | src/runtime/haskell/PGF/Binary.hs | 1 | ||||
| -rw-r--r-- | src/runtime/haskell/PGF/ByteCode.hs | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/src/runtime/haskell/PGF/Binary.hs b/src/runtime/haskell/PGF/Binary.hs index ca2784da2..9a74ac2f2 100644 --- a/src/runtime/haskell/PGF/Binary.hs +++ b/src/runtime/haskell/PGF/Binary.hs @@ -170,6 +170,7 @@ instance Binary Instr where put (EVAL (GLOBAL id) (UpdateCall b c)) = putWord8 51 >> put id >> put (b,c)
put (DROP n l ) = putWord8 52 >> put (n,l)
put (FAIL ) = putWord8 56
+ put (ADD ) = putWord8 60
instance Binary Type where
put (DTyp hypos cat exps) = put (hypos,cat,exps)
diff --git a/src/runtime/haskell/PGF/ByteCode.hs b/src/runtime/haskell/PGF/ByteCode.hs index 393efa5b9..ababdde0d 100644 --- a/src/runtime/haskell/PGF/ByteCode.hs +++ b/src/runtime/haskell/PGF/ByteCode.hs @@ -28,6 +28,7 @@ data Instr | EVAL IVal TailInfo | DROP {-# UNPACK #-} !Int {-# UNPACK #-} !CodeLabel | FAIL + | ADD data IVal = HEAP {-# UNPACK #-} !Int @@ -61,6 +62,7 @@ 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 (FAIL ) = text "FAIL" +ppInstr (ADD ) = text "ADD" ppIVal (HEAP n) = text "hp" <> parens (int n) ppIVal (ARG_VAR n) = text "stk" <> parens (int n) |