@@ -6,7 +6,7 @@ module Idris.Core.Binary where
66import Data.Binary
77import Data.Vector.Binary
88import qualified Data.Text as T
9−
9+import qualified Data.Text.Encoding as E
1010import Idris.Core.TT
1111
1212instance Binary ErrorReportPart where
@@ -267,9 +267,9 @@ instance Binary Name where
267267 _ -> error "Corrupted binary data for Name"
268268
269269instance Binary T.Text where
270− put x = put (str x)
270+ put x = put (E.encodeUtf8 x)
271271 get = do x <- get
272− return (txt x)
272+ return (E.decodeUtf8 x)
273273
274274instance Binary SpecialName where
275275 put x