Searched refs:stuckMatch (Results 1 – 1 of 1) sorted by relevance
1154 stuckMatch blk' stack ctrl1209 FFail -> stuckMatch (NotBlocked AbsurdMatch ()) stack ctrl1251 | f `elem` partialDefs -> stuckMatch (NotBlocked MissingClauses ()) stack ctrl1256 where done why = stuckMatch (NotBlocked why ()) stack ctrl1364 stuckMatch :: Blocked_ -> MatchStack s -> ControlStack s -> ST s (Blocked Term)1365 stuckMatch blk (_ :> cl) ctrl = rewriteAM (Eval (mkValue blk cl) ctrl) function