Searched refs:TcSanity (Results 1 – 1 of 1) sorted by relevance
42 import qualified Cryptol.TypeCheck.Sanity as TcSanity458 o -> T.InferInput -> Either (Range, TcSanity.Error) [TcSanity.ProofObligation] function466 case TcSanity.tcExpr i e' of469 | TcSanity.same s s1 -> Right os471 , TcSanity.TypeMismatch "exprLinter" s s1478 { lintCheck = \ds' i -> case TcSanity.tcDecls i ds' of487 { lintCheck = \m' i -> case TcSanity.tcModule i m' of