using the strict version of the state monad
commit488fe790a053af8cdc7f56d9bbf6a8110c46b94d
authorOzgur Akgun <ozgurakgun@gmail.com>
dateThu 19 Mar 2015, 22:03 (12 years ago)
parentaceabb1
src/Idris/Core/Constraints.hs+1−1
@@ -4,7 +4,7 @@ module Idris.Core.Constraints ( ucheck ) where
44import Idris.Core.TT ( TC(..), UExp(..), UConstraint(..), FC(..), Err'(..) )
55
66import Control.Applicative
7−import Control.Monad.State
7+import Control.Monad.State.Strict
88import qualified Data.Map.Strict as M
99import qualified Data.Set as S
1010