Skip to content

Commit

Permalink
Use decodeUtf8ByteArray for decoding builtins
Browse files Browse the repository at this point in the history
  • Loading branch information
sjakobi committed May 23, 2020
1 parent 0c7e1cf commit 666aae0
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions dhall/src/Dhall/Binary.hs
Original file line number Diff line number Diff line change
Expand Up @@ -65,7 +65,6 @@ import qualified Data.ByteArray
import qualified Data.ByteString
import qualified Data.ByteString.Lazy
import qualified Data.Sequence
import qualified Data.Text as Text
import qualified Dhall.Crypto
import qualified Dhall.Map
import qualified Dhall.Set
Expand Down Expand Up @@ -157,7 +156,7 @@ decodeExpressionInternal decodeEmbed = go
return (BoolLit b)

TypeString -> {-# SCC dEI_builtin #-} do
s <- Decoding.decodeString
s <- Decoding.decodeUtf8ByteArray

case s of
"Natural/build" -> return NaturalBuild
Expand Down Expand Up @@ -194,7 +193,7 @@ decodeExpressionInternal decodeEmbed = go
"Type" -> return (Const Type)
"Kind" -> return (Const Kind)
"Sort" -> return (Const Sort)
_ -> die ("Unrecognized built-in: " <> Text.unpack s)
_ -> die ("Unrecognized built-in: " <> show s)

TypeListLen -> do
len <- Decoding.decodeListLen
Expand Down

0 comments on commit 666aae0

Please sign in to comment.