put_ bh (IfaceCoreNote s) = do
putByte bh 4
put_ bh s
- put_ bh (IfaceTickBox m n) = do
- putByte bh 5
- put_ bh m
- put_ bh n
- put_ bh (IfaceBinaryTickBox m t e) = do
- putByte bh 6
- put_ bh m
- put_ bh t
- put_ bh e
get bh = do
h <- getByte bh
case h of
3 -> do return IfaceInlineMe
4 -> do ac <- get bh
return (IfaceCoreNote ac)
- 5 -> do m <- get bh
- n <- get bh
- return (IfaceTickBox m n)
- 6 -> do m <- get bh
- t <- get bh
- e <- get bh
- return (IfaceBinaryTickBox m t e)
-------------------------------------------------------------------------
-- IfaceDecl and friends