HERMIT.Dictionary.GHC

GHC-based Transformations

This module contains transformations that are reflections of GHC functions, or derived from GHC functions.

externals :: [External]

Externals that reflect GHC functions, or are derived from GHC functions.

anyCallR :: forall c m. (ExtendPath c Crumb, ReadPath c Crumb, AddBindings c, MonadCatch m) => Rewrite c m Core -> Rewrite c m Core

Top-down traversal tuned to matching function calls.

Substitution

substR :: MonadCatch m => Var -> CoreExpr -> Rewrite c m Core

Substitute all occurrences of a variable with an expression, in either a program or an expression.

substAltR :: Monad m => Var -> CoreExpr -> Rewrite c m CoreAlt

Substitute all occurrences of a variable with an expression, in a case alternative.

substCoreExpr :: Var -> CoreExpr -> CoreExpr -> CoreExpr

Substitute all occurrences of a variable with an expression, in an expression.

Utilities

inScope :: ReadBindings c => c -> Id -> Bool

Determine whether an identifier is in scope.

rule :: (ReadBindings c, HasCoreRules c) => String -> Rewrite c HermitM CoreExpr

Lookup a rule and attempt to construct a corresponding rewrite.

rules :: (ReadBindings c, HasCoreRules c) => [String] -> Rewrite c HermitM CoreExpr

dynFlagsT :: HasDynFlags m => Translate c m a DynFlags

Lifted version of getDynFlags.

arityOf :: ReadBindings c => c -> Id -> Int

Try to figure out the arity of an identifier.

Lifted GHC capabilities

lintExprT :: (BoundVars c, Monad m, HasDynFlags m) => Translate c m CoreExpr String

Note: this can miss several things that a whole-module core lint will find. For instance, running this on the RHS of a binding, the type of the RHS will not be checked against the type of the binding. Running on the whole let expression will catch that however.

lintModuleT :: TranslateH ModGuts String

Run the Core Lint typechecker. Fails on errors, with error messages. Succeeds returning warnings.

specConstrR :: RewriteH ModGuts

Run GHC's specConstr pass, and apply any rules generated.

occurAnalyseR :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, MonadCatch m) => Rewrite c m Core

Apply occurAnalyseExprR to all sub-expressions.

occurAnalyseChangedR :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, MonadCatch m) => Rewrite c m Core

Occurrence analyse all sub-expressions, failing if the result is syntactically equal to the initial expression.

occurAnalyseExprChangedR :: MonadCatch m => Rewrite c m CoreExpr

Occurrence analyse an expression, failing if the result is syntactically equal to the initial expression.

occurAnalyseAndDezombifyR :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, MonadCatch m) => Rewrite c m Core

Run GHC's occurrence analyser, and also eliminate any zombies.

dezombifyR :: (ExtendPath c Crumb, Monad m) => Rewrite c m CoreExpr

Zap the OccInfo in a zombie identifier.