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.

Dynamic Loading

loadLemmaLibraryT :: HermitName -> Maybe LemmaName -> TransformH x String

type LemmaLibrary = TransformH () Lemmas

A LemmaLibrary is a transformation that produces a set of lemmas, which are then added to the lemma store. It is not allowed to insert its own lemmas directly (if it tries they are throw away), but can certainly read the existing store.

Substitution

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

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

Utilities

dynFlagsT :: HasDynFlags m => Transform 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) => Transform 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 :: TransformH ModGuts String

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

lintQuantifiedT :: (AddBindings c, BoundVars c, ReadPath c Crumb, ExtendPath c Crumb, HasDynFlags m, MonadCatch m) => Transform c m Quantified String

lintClauseT :: (AddBindings c, BoundVars c, ReadPath c Crumb, ExtendPath c Crumb, HasDynFlags m, MonadCatch m) => [Var] -> Transform c m Clause String

occurAnalyseR :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, HasEmptyContext c, MonadCatch m, Walker c u, Injection CoreExpr u) => Rewrite c m u

Apply occurAnalyseExprR to all sub-expressions.

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

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, HasEmptyContext c, MonadCatch m, Walker c u, Injection CoreExpr u) => Rewrite c m u

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.

buildDictionary :: (HasDynFlags m, HasHermitMEnv m, HasHscEnv m, MonadIO m) => Id -> m (Id, [CoreBind])

Build a dictionary for the given

buildDictionaryT :: (HasDynFlags m, HasHermitMEnv m, HasHscEnv m, MonadCatch m, MonadIO m, MonadUnique m) => Transform c m Type CoreExpr

buildTypeable :: (HasDynFlags m, HasHermitMEnv m, HasHscEnv m, MonadIO m) => Type -> m (Id, [CoreBind])