Fix logical error in :search's unification resolution
commit185f808eafcaf96fbce0ef7d36ab39ed3d993a8e
authorbmsherman <bmsherman@users.noreply.github.com>
dateMon 1 Sep 2014, 18:08 (12 years ago)
parentaa98ab1
src/Idris/TypeSearch.hs+1−1
@@ -373,7 +373,7 @@ matchTypesBulk istate maxScore type1 types = getAllResults startQueueOfQueues wh
373373
374374 resolveUnis ((name, term) : xs)
375375 state@(State hs unresolved _ _) = case both (findName name) unresolved of
376− Sided Nothing Nothing -> nextStep
376+ Sided Nothing Nothing -> Nothing
377377 Sided (Just _) (Just _) -> error "Idris internal error: TypeSearch.resolveUnis"
378378 oneOfEach -> first (addScore (both scoreFor oneOfEach)) <$> nextStep
379379 where