Merge pull request #2315 from david-christiansen/text-binary
Use Text's own Binary instance
commit22c8cda08501a29f4042097bf863e602e0519f4a
authorDavid Christiansen <david@davidchristiansen.dk>
dateSat 23 May 2015, 11:40 (11 years ago)
parent423e21e11266fb
idris.cabal+1−1
@@ -891,7 +891,7 @@ Library
891891 , pretty < 1.2
892892 , process < 1.3
893893 , split < 0.3
894− , text < 1.3
894+ , text >=1.2.1.0 && < 1.3
895895 , time >= 1.4 && < 1.6
896896 , transformers < 0.5
897897 , transformers-compat >= 0.3
src/Idris/Core/Binary.hs−6
@@ -311,12 +311,6 @@ instance Binary Name where
311311 return (SymRef x1)
312312 _ -> error "Corrupted binary data for Name"
313313
314−instance Binary T.Text where
315− put x = put (E.encodeUtf8 x)
316− get = do x <- get
317− return $!! (E.decodeUtf8 x)
318−
319−
320314instance Binary SpecialName where
321315 put x
322316 = case x of