@@ -107,10 +107,6 @@ solve maxUniverseLevel inpConstraints =
107107 doms <- gets domainStore
108108 let (oldDom, suspects) = doms M.! Var var
109109 let newDom = domainIntersect oldDom dom
110− varsDoms <- mapM (\ (Var v) -> do
111− d <- domainOf (UVar v)
112− return (UVar v, d)
113− ) $ ordNub $ concatMap (varsIn . fst) (suspect : S.toList suspects)
114110 when (wipeOut newDom) $ lift $ Error $ Msg $ unlines
115111 $ "Universe inconsistency."
116112 : ("Working on: " ++ show (UVar var))
@@ -119,10 +115,6 @@ solve maxUniverseLevel inpConstraints =
119115 : ("New domain: " ++ show newDom)
120116 : "Involved constraints: "
121117 : 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
126118 unless (oldDom == newDom) $ do
127119 modify $ \ st -> st { domainStore = M.insert (Var var) (newDom, S.insert suspect suspects) doms }
128120 addToQueue (Var var)