git.iko.soy/Idris-dev
on master help sign in
using the strict version of the state monad
488fe79Ozgur Akgun
src/Idris/Core/Constraints.hs+1−1
compare with master
unifiedsplit
@@ -4,7 +4,7 @@ module Idris.Core.Constraints ( ucheck ) where
4import Idris.Core.TT ( TC(..), UExp(..), UConstraint(..), FC(..), Err'(..) )
4import Idris.Core.TT ( TC(..), UExp(..), UConstraint(..), FC(..), Err'(..) )
5
5
6import Control.Applicative
6import Control.Applicative
7−import Control.Monad.State
7+import Control.Monad.State.Strict
8import qualified Data.Map.Strict as M
8import qualified Data.Map.Strict as M
9import qualified Data.Set as S
9import qualified Data.Set as S
10
10