@@ -172,7 +172,7 @@ serialize_cap_op out_ptr DecOut = do
172 serialize_bytes out_bytes out_ptr
172 serialize_bytes out_bytes out_ptr
173serialize_cap_op out_ptr CharOut = do
173serialize_cap_op out_ptr CharOut = do
174 W# p <- pop
174 W# p <- pop
175− -- todo? Truncate the character value to a single byte?
175+ -- XXX Truncate the character value to a single byte?
176 let !out_byte = W8# (and# p 0xFF##)
176 let !out_byte = W8# (and# p 0xFF##)
177 !out_ptr' = out_ptr `plusPtr` 1
177 !out_ptr' = out_ptr `plusPtr` 1
178 liftIO $ poke out_ptr out_byte
178 liftIO $ poke out_ptr out_byte