11266fb · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Use Text's own Binary instance

11266fbDavid Raymond Christiansen11 years ago

idris.cabal+1−1

compare with master

@@ -888,7 +888,7 @@ Library

888 , pretty < 1.2

888 , pretty < 1.2

889 , process < 1.3

889 , process < 1.3

890 , split < 0.3

890 , split < 0.3

891− , text < 1.3

891+ , text >=1.2.1.0 && < 1.3

892 , time >= 1.4 && < 1.6

892 , time >= 1.4 && < 1.6

893 , transformers < 0.5

893 , transformers < 0.5

894 , transformers-compat >= 0.3

894 , 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