@@ -127,7 +127,7 @@ solve maxUniverseLevel inpConstraints =
127 updateDomainOf suspect (UVar var) newDom = do
127 updateDomainOf suspect (UVar var) newDom = do
128 doms <- gets domainStore
128 doms <- gets domainStore
129 let (oldDom, suspects) = doms M.! Var var
129 let (oldDom, suspects) = doms M.! Var var
130− when (wipeOut newDom) $ lift $ Error $ Msg $ unlines
130+ when (wipeOut newDom) $ lift $ Error $ At (snd suspect) $ Msg $ unlines
131 $ "Universe inconsistency."
131 $ "Universe inconsistency."
132 : ("Working on: " ++ show (UVar var))
132 : ("Working on: " ++ show (UVar var))
133 : ("Old domain: " ++ show oldDom)
133 : ("Old domain: " ++ show oldDom)