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

Switch Name type to use Data.Text instead of String

Browse Source 
This gives a few percent speedup in the interpreter.
This commit is contained in:
Brian Huffman 2015-08-12 17:58:57 -07:00
parent 4976a8db3e
commit dadc5e1781
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/Cryptol/ModuleSystem/Name.hs
View File

@ -1,12 +1,14 @@
module Cryptol.ModuleSystem.Name where
type Ident = String
import qualified Data.Text as Text
type Ident = Text.Text
pack :: String -> Ident
pack = id
pack = Text.pack
unpack :: Ident -> String
unpack = id
unpack = Text.unpack
-- | Module names are just namespaces.
--