@@ -107,10 +107,6 @@ solve maxUniverseLevel inpConstraints =
107 doms <- gets domainStore
107 doms <- gets domainStore
108 let (oldDom, suspects) = doms M.! Var var
108 let (oldDom, suspects) = doms M.! Var var
109 let newDom = domainIntersect oldDom dom
109 let newDom = domainIntersect oldDom dom
110− varsDoms <- mapM (\ (Var v) -> do
111− d <- domainOf (UVar v)
113− ) $ ordNub $ concatMap (varsIn . fst) (suspect : S.toList suspects)
114 when (wipeOut newDom) $ lift $ Error $ Msg $ unlines
110 when (wipeOut newDom) $ lift $ Error $ Msg $ unlines
115 $ "Universe inconsistency."
111 $ "Universe inconsistency."
116 : ("Working on: " ++ show (UVar var))
112 : ("Working on: " ++ show (UVar var))
@@ -119,10 +115,6 @@ solve maxUniverseLevel inpConstraints =
119 : ("New domain: " ++ show newDom)
115 : ("New domain: " ++ show newDom)
120 : "Involved constraints: "
116 : "Involved constraints: "
121 : map (("\t"++) . show) (suspect : S.toList suspects)
117 : map (("\t"++) . show) (suspect : S.toList suspects)
122− ++ ["Involved variables: "]
123− ++ map (\ (v,d) -> "\t"++ show v ++ " = " ++ show d) varsDoms
124− -- ++ ["All constraints"]
125− -- ++ map (show . fst) inpConstraints
126 unless (oldDom == newDom) $ do
118 unless (oldDom == newDom) $ do
127 modify $ \ st -> st { domainStore = M.insert (Var var) (newDom, S.insert suspect suspects) doms }
119 modify $ \ st -> st { domainStore = M.insert (Var var) (newDom, S.insert suspect suspects) doms }
128 addToQueue (Var var)
120 addToQueue (Var var)