GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-01 08:32:23 +03:00
Code Issues Projects Releases Wiki Activity

update to use Text in Ident

Browse Source
This commit is contained in:
Adam C. Foltzer 2015-08-19 14:42:40 -07:00
parent 5cf2b9e47e
commit 3825ce84c8
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
cryptol-server/Cryptol/Aeson.hs
View File

@ -15,7 +15,6 @@ import Control.Exception
import Data.Aeson
import Data.Aeson.TH
import qualified Data.HashMap.Strict as HM
import Data.List
import qualified Data.Map as Map
import Data.Map (Map)
import Data.Text (Text)
@ -57,7 +56,7 @@ instance ToJSON a => ToJSON (Map QName a) where
-- purposes of this API where we're dealing with top-level names.
keyToQName :: Text -> QName
keyToQName str =
case map T.unpack (T.split (== '.') str) of
case T.split (== '.') str of
[] -> error "empty QName"
[""] -> error "empty QName"
[x] -> mkUnqual (Name x)
@ -65,9 +64,9 @@ keyToQName str =
keyFromQName :: QName -> Text
keyFromQName = \case
QName Nothing (Name x) -> T.pack x
QName Nothing (Name x) -> x
QName (Just (ModName mn)) (Name x) ->
T.pack (intercalate "." (mn ++ [x]))
T.intercalate "." (mn ++ [x])
_ -> error "NewName unsupported in JSON"
instance ToJSON Doc where