@@ -6,7 +6,7 @@ module Idris.Core.Binary where
6import Data.Binary
6import Data.Binary
7import Data.Vector.Binary
7import Data.Vector.Binary
8import qualified Data.Text as T
8import qualified Data.Text as T
9−
9+import qualified Data.Text.Encoding as E
10import Idris.Core.TT
10import Idris.Core.TT
12instance Binary ErrorReportPart where
12instance Binary ErrorReportPart where
@@ -267,9 +267,9 @@ instance Binary Name where
267 _ -> error "Corrupted binary data for Name"
267 _ -> error "Corrupted binary data for Name"
269instance Binary T.Text where
269instance Binary T.Text where
270− put x = put (str x)
270+ put x = put (E.encodeUtf8 x)
271 get = do x <- get
271 get = do x <- get
272− return (txt x)
272+ return (E.decodeUtf8 x)
274instance Binary SpecialName where
274instance Binary SpecialName where