@@ -5,6 +5,7 @@ module Idris.Core.Binary where
55
66import Control.Applicative ((<*>), (<$>))
77import Control.Monad (liftM2)
8+import Control.DeepSeq (($!!))
89
910import Data.Binary
1011import Data.Vector.Binary
@@ -308,7 +309,8 @@ instance Binary Name where
308309instance Binary T.Text where
309310 put x = put (E.encodeUtf8 x)
310311 get = do x <- get
311− return (E.decodeUtf8 x)
312+ return $!! (E.decodeUtf8 x)
313+
312314
313315instance Binary SpecialName where
314316 put x