@@ -5,6 +5,7 @@ module Idris.Core.Binary where
6import Control.Applicative ((<*>), (<$>))
6import Control.Applicative ((<*>), (<$>))
7import Control.Monad (liftM2)
7import Control.Monad (liftM2)
8+import Control.DeepSeq (($!!))
9import Data.Binary
10import Data.Binary
10import Data.Vector.Binary
11import Data.Vector.Binary
@@ -308,7 +309,8 @@ instance Binary Name where
308instance Binary T.Text where
309instance Binary T.Text where
309 put x = put (E.encodeUtf8 x)
310 put x = put (E.encodeUtf8 x)
310 get = do x <- get
311 get = do x <- get
311− return (E.decodeUtf8 x)
312+ return $!! (E.decodeUtf8 x)
313instance Binary SpecialName where
315instance Binary SpecialName where