Searched refs:newHoleCt (Results 1 – 3 of 3) sorted by relevance
42 newWanted, newWanteds, newHoleCt, cloneWanted, cloneWC,195 newHoleCt :: Hole -> Id -> Type -> TcM Ct196 newHoleCt hole ev ty = do function
664 newHoleCt hole ev ty
1819 ; can <- newHoleCt (ExprHole unbound) ev ty