Searched refs:PostponedTypeCheckingProblem (Results 1 – 8 of 8) sorted by relevance
140 PostponedTypeCheckingProblem{} -> Nothing
80 PostponedTypeCheckingProblem cl -> enterClosure cl $ \p ->
104 PostponedTypeCheckingProblem{} -> True120 PostponedTypeCheckingProblem{} -> False475 m <- newMeta' (PostponedTypeCheckingProblem cl)1175 PostponedTypeCheckingProblem{} -> postpone
271 PostponedTypeCheckingProblem cl -> enterClosure cl $ \prob -> do
168 PostponedTypeCheckingProblem _ -> return t
545 isInst PostponedTypeCheckingProblem{} = False555 isOpenMeta PostponedTypeCheckingProblem{} = True function
1316 | PostponedTypeCheckingProblem (Closure TypeCheckingProblem) constructor1352 show (PostponedTypeCheckingProblem{}) = "PostponedTypeCheckingProblem (...)"
417 PostponedTypeCheckingProblem cl -> enterClosure cl $ \case751 PostponedTypeCheckingProblem{} -> unsol810 M.PostponedTypeCheckingProblem{} -> False