@@ -1025,7 +1025,10 @@ processTactic (MatchProblems all) ps
1025 holes = holes ps \\ (map fst ns'') }, plog ps)
1025 holes = holes ps \\ (map fst ns'') }, plog ps)
1026processTactic t ps
1026processTactic t ps
1027 = case holes ps of
1027 = case holes ps of
1029+ Focus _ -> return (ps, "") -- harmless to refocus when done, since
1030+ -- 'focus' doesn't fail
1028− [] -> fail "Nothing to fill in."
1031+ _ -> fail $ "Nothing to fill in."
1029 (h:_) -> do ps' <- execStateT (process t h) ps
1032 (h:_) -> do ps' <- execStateT (process t h) ps
1030 let (ns_in, probs')
1033 let (ns_in, probs')
1031 = case solved ps' of
1034 = case solved ps' of