| 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 |