Move to strict maps

Author: gilith

README.md

@@ -12,7 +12,7 @@ Installing the hol package requires [cabal][]:
 
     git clone https://github.com/gilith/hol.git
     cd hol
-    cabal install
+    cabal install --enable-tests
 
 Test
 ----

src/HOL/OpenTheory/Article.hs

@@ -13,8 +13,8 @@ where
 
 import qualified Data.ByteString.Lazy as ByteString
 import qualified Data.List as List
-import Data.Map (Map)
-import qualified Data.Map as Map
+import Data.Map.Strict (Map)
+import qualified Data.Map.Strict as Map
 import Data.Set (Set)
 import qualified Data.Set as Set
 import Data.Text.Lazy (Text)

src/HOL/OpenTheory/Interpret.hs

@@ -12,8 +12,8 @@ module HOL.OpenTheory.Interpret
 where
 
 import Control.Monad (guard)
-import Data.Map (Map)
-import qualified Data.Map as Map
+import Data.Map.Strict (Map)
+import qualified Data.Map.Strict as Map
 import Data.Maybe (mapMaybe)
 import Text.Parsec ((<|>))
 import qualified Text.Parsec as Parsec

src/HOL/OpenTheory/Package.hs

@@ -16,8 +16,8 @@ import Control.Concurrent.MVar (newEmptyMVar,putMVar,readMVar)
 import Control.Monad (foldM,guard)
 import qualified Data.Char as Char
 import qualified Data.List as List
-import Data.Map (Map)
-import qualified Data.Map as Map
+import Data.Map.Strict (Map)
+import qualified Data.Map.Strict as Map
 import System.FilePath ((</>),(<.>),takeDirectory)
 import qualified System.Process
 import Text.Parsec ((<|>))

src/HOL/Print.hs

@@ -14,8 +14,8 @@ where
 import Control.Monad (guard)
 import qualified Data.Char as Char
 import qualified Data.List as List
-import Data.Map (Map)
-import qualified Data.Map as Map
+import Data.Map.Strict (Map)
+import qualified Data.Map.Strict as Map
 import Data.Maybe (isJust)
 import Data.Set (Set)
 import qualified Data.Set as Set

src/HOL/Rule.hs

@@ -12,7 +12,7 @@ module HOL.Rule
 where
 
 import Control.Monad (foldM,guard)
-import qualified Data.Map as Map
+import qualified Data.Map.Strict as Map
 import qualified Data.Set as Set
 
 import HOL.Data

src/HOL/Subst.hs

@@ -13,8 +13,8 @@ where
 
 import Control.Monad (guard)
 import Control.Monad.Trans.State (State,get,put,evalState)
-import Data.Map (Map)
-import qualified Data.Map as Map
+import Data.Map.Strict (Map)
+import qualified Data.Map.Strict as Map
 import Data.Maybe (fromMaybe,isNothing)
 import Data.Set (Set)
 import qualified Data.Set as Set

src/HOL/Term.hs

@@ -12,7 +12,7 @@ module HOL.Term
 where
 
 import Data.Maybe (isJust)
-import qualified Data.Map as Map
+import qualified Data.Map.Strict as Map
 import qualified Data.Set as Set
 import System.IO.Unsafe (unsafePerformIO)
 import System.Mem.StableName (makeStableName)

src/HOL/Theory.hs

@@ -11,8 +11,8 @@ portability: portable
 module HOL.Theory
 where
 
-import Data.Map (Map)
-import qualified Data.Map as Map
+import Data.Map.Strict (Map)
+import qualified Data.Map.Strict as Map
 import Data.Set (Set)
 import qualified Data.Set as Set
 import Text.PrettyPrint ((<>),(<+>),($+$))

src/HOL/TypeSubst.hs

@@ -11,8 +11,8 @@ portability: portable
 module HOL.TypeSubst
 where
 
-import Data.Map (Map)
-import qualified Data.Map as Map
+import Data.Map.Strict (Map)
+import qualified Data.Map.Strict as Map
 import Data.Maybe (fromMaybe)
 import Data.Set (Set)
 import qualified Data.Set as Set