@@ -1,15 +1,17 @@
2module Types.Constrain (constrain) where
2module Types.Constrain (constrain) where
6import Data.List (foldl',sort,group,isPrefixOf,intercalate,isSuffixOf)
4import Data.List (foldl',sort,group,isPrefixOf,intercalate,isSuffixOf)
7import qualified Data.Set as Set
5import qualified Data.Set as Set
8import qualified Data.Map as Map
6import qualified Data.Map as Map
9import Control.Arrow (second)
7import Control.Arrow (second)
10import Control.Monad (liftM,mapM,zipWithM,foldM)
8import Control.Monad (liftM,mapM,zipWithM,foldM)
11import Control.Monad.State (evalState)
9import Control.Monad.State (evalState)
12import Guid
12import Guid
13import Types.Substitutions
15import Types.Substitutions
15--import System.IO.Unsafe
17--import System.IO.Unsafe