diff options
Diffstat (limited to 'src/runtime')
| -rw-r--r-- | src/runtime/haskell/PGF/Binary.hs | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/runtime/haskell/PGF/Binary.hs b/src/runtime/haskell/PGF/Binary.hs index bf30e4506..becf5b9de 100644 --- a/src/runtime/haskell/PGF/Binary.hs +++ b/src/runtime/haskell/PGF/Binary.hs @@ -49,7 +49,15 @@ instance Binary Abstr where , cats=fmap (\(x,y,z) -> (x,y,z,0)) cats
, code=BS.empty
})
-
+
+putSplitAbs :: PGF -> Put
+putSplitAbs pgf = do
+ putWord16be pgfMajorVersion
+ putWord16be pgfMinorVersion
+ put (Map.insert (mkCId "index") (LStr "true") (gflags pgf))
+ put (absname pgf, abstract pgf)
+ put [(name,cflags cnc) | (name,cnc) <- Map.toList (concretes pgf)]
+
instance Binary Concr where
put cnc = do put (cflags cnc)
put (printnames cnc)
|