restore commented out code

This commit is contained in:
Krasimir Angelov
2024-01-31 08:20:59 +01:00
parent c94d0f31bc
commit c46dd599f9

View File

@@ -794,7 +794,7 @@ getOverload t q = EvalM $ \(Gl gr _) k mt d r msgs -> do
go [] = return (Fail err msgs)
go (tty:ttys) = do res <- k tty mt d r msgs
case res of
Fail _ _ -> return res -- go ttys
Fail _ _ -> go ttys
Success r msgs -> return (Success r msgs)
in go ttys