Use Text's own Binary instance
Text has added a Binary instance upstream, so we can't define our own anymore.
commit11266fb7838a458977059dd75d9f962063860d00
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateSat 23 May 2015, 10:33 (11 years ago)
parent5a366ac
idris.cabal+1−1
@@ -888,7 +888,7 @@ Library
888888 , pretty < 1.2
889889 , process < 1.3
890890 , split < 0.3
891− , text < 1.3
891+ , text >=1.2.1.0 && < 1.3
892892 , time >= 1.4 && < 1.6
893893 , transformers < 0.5
894894 , 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