Copyright | (c) 2013-2015 Galois, Inc. |
---|---|
License | BSD3 |
Maintainer | cryptol@galois.com |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell98 |
Documentation
removeIncludes :: Program -> IO (Either [IncludeError] Program) Source
removeIncludesModule :: Module -> IO (Either [IncludeError] Module) Source
data IncludeError Source
ppIncludeError :: IncludeError -> Doc Source