@@ -167,13 +167,11 @@ solve maxUniverseLevel ucs =
167167 doms <- gets domainStore
168168 let (oldDom@(Domain _ upper), suspects) = doms M.! Var var
169169 let newDom = Domain lower upper
170− when (wipeOut newDom) $ lift $ Error $ At (ufc suspect) $ Msg $ unlines
171− $ "Universe inconsistency."
172− : ("Working on: " ++ show (UVar var))
173− : ("Old domain: " ++ show oldDom)
174− : ("New domain: " ++ show newDom)
175− : "Involved constraints: "
176− : map (("\t"++) . show) (suspect : S.toList suspects)
170+ when (wipeOut newDom) $
171+ lift $ Error $
172+ UniverseError (ufc suspect) (UVar var)
173+ (asPair oldDom) (asPair newDom)
174+ (suspect : S.toList suspects)
177175 modify $ \ st -> st { domainStore = M.insert (Var var) (newDom, S.insert suspect suspects) doms }
178176 addToQueueLHS (uconstraint suspect) (Var var)
179177 updateLowerBoundOf _ UVal{} _ = return ()