@@ -373,7 +373,7 @@ matchTypesBulk istate maxScore type1 types = getAllResults startQueueOfQueues wh
374 resolveUnis ((name, term) : xs)
374 resolveUnis ((name, term) : xs)
375 state@(State hs unresolved _ _) = case both (findName name) unresolved of
375 state@(State hs unresolved _ _) = case both (findName name) unresolved of
376− Sided Nothing Nothing -> nextStep
376+ Sided Nothing Nothing -> Nothing
377 Sided (Just _) (Just _) -> error "Idris internal error: TypeSearch.resolveUnis"
377 Sided (Just _) (Just _) -> error "Idris internal error: TypeSearch.resolveUnis"
378 oneOfEach -> first (addScore (both scoreFor oneOfEach)) <$> nextStep
378 oneOfEach -> first (addScore (both scoreFor oneOfEach)) <$> nextStep