ed26eca · elk · git.iko.soy

git.iko.soy/elk

Switch to Data.Map.Strict in type inference

commited26ecac1fb12a065c6d6c40b34b20d48db67af0 authorEvan Czaplicki <evancz@users.noreply.github.com> dateWed 4 Oct 2017, 19:48 (9 years ago) parent763189a

11 files changed+12−12

compare with master

unifiedsplit

src/Type/Constrain/Effects.hs+1−1 src/Type/Constrain/Expression.hs+1−1 src/Type/Constrain/Pattern.hs+1−1 src/Type/Constraint.hs+1−1 src/Type/Environment.hs+1−1 src/Type/Inference.hs+1−1 src/Type/Occurs.hs+1−1 src/Type/Solve.hs+1−1 src/Type/State.hs+2−2 src/Type/Type.hs+1−1 src/Type/Unify.hs+1−1

src/Type/Constrain/Effects.hs+1−1

@@ -2,7 +2,7 @@

22{-# LANGUAGE OverloadedStrings #-}

33module Type.Constrain.Effects (constrain) where

5−import qualified Data.Map as Map

5+import qualified Data.Map.Strict as Map

77import qualified AST.Effects as Effects

88import qualified AST.Module.Name as ModuleName

src/Type/Constrain/Expression.hs+1−1

@@ -4,7 +4,7 @@ module Type.Constrain.Expression where

55import Control.Arrow (second)

66import qualified Control.Monad as Monad

7−import qualified Data.Map as Map

7+import qualified Data.Map.Strict as Map

88import qualified Data.Text as Text

99import Data.Text (Text)

1010

src/Type/Constrain/Pattern.hs+1−1

@@ -3,7 +3,7 @@ module Type.Constrain.Pattern (Info(..), joinInfos, infoToScheme, constrain) whe

44import Control.Arrow (second)

55import qualified Control.Monad as Monad

6−import qualified Data.Map as Map

6+import qualified Data.Map.Strict as Map

77import qualified Data.List as List

88import Data.Text (Text)

src/Type/Constraint.hs+1−1

@@ -9,7 +9,7 @@ module Type.Constraint

99 )

1010 where

1111

12−import qualified Data.Map as Map

12+import qualified Data.Map.Strict as Map

1313import Data.Text (Text)

1414

1515import qualified Reporting.Annotation as A

src/Type/Environment.hs+1−1

@@ -13,7 +13,7 @@ module Type.Environment

1313

1414import qualified Control.Monad.State.Strict as State

1515import qualified Data.List as List

16−import qualified Data.Map as Map

16+import qualified Data.Map.Strict as Map

1717import qualified Data.Set as Set

1818import Data.Text (Text)

1919

src/Type/Inference.hs+1−1

@@ -3,7 +3,7 @@ module Type.Inference where

44import Control.Arrow (first, second)

55import Control.Monad.Except (Except, forM, liftIO, runExceptT, throwError)

6−import qualified Data.Map as Map

6+import qualified Data.Map.Strict as Map

77import qualified Data.Set as Set

88import Data.Monoid ((<>))

99import Data.Text (Text)

src/Type/Occurs.hs+1−1

@@ -2,7 +2,7 @@

22{-# LANGUAGE OverloadedStrings #-}

33module Type.Occurs (occurs) where

5−import qualified Data.Map as Map

5+import qualified Data.Map.Strict as Map

77import Type.Type as Type

88import qualified Type.UnionFind as UF

src/Type/Solve.hs+1−1

@@ -4,7 +4,7 @@ module Type.Solve (solve) where

55import Control.Monad

66import Control.Monad.Except (ExceptT, liftIO, throwError)

7−import qualified Data.Map as Map

7+import qualified Data.Map.Strict as Map

88import qualified Data.Text as Text

99import qualified Data.Vector as Vector

1010import qualified Data.Vector.Mutable as MVector

src/Type/State.hs+2−2

@@ -19,8 +19,8 @@ module Type.State

1919

2020import Control.Monad (forM_, liftM, liftM2)

2121import Control.Monad.Trans (MonadIO, liftIO)

22−import qualified Data.Map as Map

23−import Data.Map ((!))

22+import qualified Data.Map.Strict as Map

23+import Data.Map.Strict ((!))

2424import Data.Text (Text)

2525import qualified Data.Vector.Mutable as MVector

2626

src/Type/Type.hs+1−1

@@ -25,7 +25,7 @@ module Type.Type

2525import Control.Monad.State.Strict (StateT, liftIO)

2626import qualified Control.Monad.State.Strict as State

2727import qualified Data.Char as Char

28−import qualified Data.Map as Map

28+import qualified Data.Map.Strict as Map

2929import Data.Monoid ((<>))

3030import qualified Data.Text as Text

3131import Data.Text (Text)

src/Type/Unify.hs+1−1

@@ -4,7 +4,7 @@ module Type.Unify (unify) where

55import Control.Monad (liftM2, when, zipWithM_)

66import Control.Monad.Except (ExceptT, lift, liftIO, throwError, runExceptT)

7−import qualified Data.Map as Map

7+import qualified Data.Map.Strict as Map

88import qualified Data.Maybe as Maybe

99import Data.Text (Text)

1010