on master help sign in
Start using strict State and Writer
7729527Evan Czaplicki
src/Elm/Compiler/Type/Extract.hs+1−1
@@ -6,7 +6,7 @@ module Elm.Compiler.Type.Extract
6 )
6 )
7 where
7 where
8
8
9−import qualified Control.Monad.Writer as Writer
9+import qualified Control.Monad.Writer.Strict as Writer
10import qualified Data.Map as Map
10import qualified Data.Map as Map
11import qualified Data.Maybe as Maybe
11import qualified Data.Maybe as Maybe
12import qualified Data.Set as Set
12import qualified Data.Set as Set
src/Optimize/Environment.hs+2−2
@@ -13,7 +13,7 @@ module Optimize.Environment
13 )
13 )
14 where
14 where
15
15
16−import qualified Control.Monad.State as State
16+import qualified Control.Monad.State.Strict as State
17import Data.Monoid ((<>))
17import Data.Monoid ((<>))
18import qualified Data.Set as Set
18import qualified Data.Set as Set
19import qualified Data.Text as Text
19import qualified Data.Text as Text
@@ -143,7 +143,7 @@ freshName =
143
143
144register :: Var.Global -> Optimizer ()
144register :: Var.Global -> Optimizer ()
145register global =
145register global =
146− State.modify (registerHelp global)
146+ State.modify' (registerHelp global)
147
147
148
148
149registerHelp :: Var.Global -> Env -> Env
149registerHelp :: Var.Global -> Env -> Env
src/Type/Environment.hs+1−1
@@ -11,7 +11,7 @@ module Type.Environment
11 where
11 where
12
12
13import Control.Monad (foldM)
13import Control.Monad (foldM)
14−import qualified Control.Monad.State as State
14+import qualified Control.Monad.State.Strict as State
15import qualified Data.List as List
15import qualified Data.List as List
16import qualified Data.Map as Map
16import qualified Data.Map as Map
17import qualified Data.Set as Set
17import qualified Data.Set as Set
src/Type/Type.hs+2−2
@@ -3,8 +3,8 @@
3module Type.Type where
3module Type.Type where
4
4
5import Control.Monad (when)
5import Control.Monad (when)
6−import Control.Monad.State (StateT, liftIO)
6+import Control.Monad.State.Strict (StateT, liftIO)
7−import qualified Control.Monad.State as State
7+import qualified Control.Monad.State.Strict as State
8import qualified Data.Char as Char
8import qualified Data.Char as Char
9import qualified Data.Map as Map
9import qualified Data.Map as Map
10import Data.Monoid ((<>))
10import Data.Monoid ((<>))