Searched refs:tHasErrors (Results 1 – 2 of 2) sorted by relevance
176 | any tHasErrors (map goal g) -> 0180 | any tHasErrors (map goal g) -> 0184 | any tHasErrors (map goal (dctGoals dt)) -> 0
408 tHasErrors :: Type -> Bool409 tHasErrors ty = function412 TCon _ ts -> any tHasErrors ts413 TRec mp -> any tHasErrors mp