git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2315 from david-christiansen/text-binary
22c8cdaDavid Christiansen
idris.cabal+1−1
compare with master
unifiedsplit
@@ -891,7 +891,7 @@ Library
891 , pretty < 1.2
891 , pretty < 1.2
892 , process < 1.3
892 , process < 1.3
893 , split < 0.3
893 , split < 0.3
894− , text < 1.3
894+ , text >=1.2.1.0 && < 1.3
895 , time >= 1.4 && < 1.6
895 , time >= 1.4 && < 1.6
896 , transformers < 0.5
896 , transformers < 0.5
897 , transformers-compat >= 0.3
897 , transformers-compat >= 0.3
src/Idris/Core/Binary.hs−6
@@ -311,12 +311,6 @@ instance Binary Name where
311 return (SymRef x1)
311 return (SymRef x1)
312 _ -> error "Corrupted binary data for Name"
312 _ -> error "Corrupted binary data for Name"
313
313
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−
320instance Binary SpecialName where
314instance Binary SpecialName where
321 put x
315 put x
322 = case x of
316 = case x of