| Safe Haskell | None |
|---|
SpecConstr
Documentation
specConstrProgram :: ModGuts -> CoreM ModGuts
data SpecConstrAnnotation Source
Constructors
| NoSpecConstr | |
| ForceSpecConstr |
ghc-7.6.3: The GHC API
| Safe Haskell | None |
|---|
SpecConstr
specConstrProgram :: ModGuts -> CoreM ModGuts
data SpecConstrAnnotation Source
Constructors
| NoSpecConstr | |
| ForceSpecConstr |