asum instead of choice for assumption

isovector · isovector · commit d80fc2c5fd2b · 2021-08-16T08:39:37.000-07:00
diff --git a/plugins/hls-tactics-plugin/src/Wingman/Tactics.hs b/plugins/hls-tactics-plugin/src/Wingman/Tactics.hs
@@ -48,6 +48,8 @@ import           Wingman.Types
 -- | Use something in the hypothesis to fill the hole.
 assumption :: TacticsM ()
 assumption = attemptOn (S.toList . allNames) assume
+  where
+    attemptOn getNames tac = matching (asum . fmap (\s -> tac s) . getNames)
 
 
 ------------------------------------------------------------------------------
