Home
last modified time | relevance | path

Searched refs:tHasErrors (Results 1 – 2 of 2) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/
H A DError.hs176 | any tHasErrors (map goal g) -> 0
180 | any tHasErrors (map goal g) -> 0
184 | any tHasErrors (map goal (dctGoals dt)) -> 0
H A DType.hs408 tHasErrors :: Type -> Bool
409 tHasErrors ty = function
412 TCon _ ts -> any tHasErrors ts
413 TRec mp -> any tHasErrors mp