Home
last modified time | relevance | path

Searched refs:TypeErrorPlaceHolder (Results 1 – 3 of 3) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/
H A DKind.hs290 let src = TypeErrorPlaceHolder
409 kNewType TypeErrorPlaceHolder k1
H A DType.hs168 | TypeErrorPlaceHolder constructor
1090 TypeErrorPlaceHolder -> "err"
1140 TypeErrorPlaceHolder -> "type error place-holder"
H A DMonad.hs687 newType TypeErrorPlaceHolder k
690 do ty <- newType TypeErrorPlaceHolder k