sequent-core-0.5.0.1: Alternative Core language for GHC plugins

Safe HaskellNone
LanguageHaskell2010

Language.SequentCore.Lint

Documentation

lintCoreBindings :: [SeqCoreBind] -> Maybe SDoc Source

lintTerm :: TvSubst -> SeqCoreTerm -> Maybe SDoc Source