NoCoreLint (reference) in projects: dports

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

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/ModuleSystem/
H A D	Env.hs	`98 data CoreLint = NoCoreLint -- ^ Don't run core lint constructor 159 , meCoreLint = NoCoreLint`
H A D	Base.hs	`518 NoCoreLint -> return ()`
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/REPL/
H A D	Monad.hs	`842 EnvBool False -> setIt M.NoCoreLint`