| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Lang.Crucible.Syntax.Prog
Synopsis
- assertNoExterns :: Map GlobalName (Some GlobalVar) -> IO ()
- assertNoForwardDecs :: Map FunctionName SomeHandle -> IO ()
- doParseCheck :: (IsSyntaxExtension ext, ?parserHooks :: ParserHooks ext) => FilePath -> Text -> Bool -> Handle -> IO ()
Documentation
assertNoExterns :: Map GlobalName (Some GlobalVar) -> IO () Source #
assertNoForwardDecs :: Map FunctionName SomeHandle -> IO () Source #
Arguments
| :: (IsSyntaxExtension ext, ?parserHooks :: ParserHooks ext) | |
| => FilePath | The name of the input (appears in source locations) |
| -> Text | The contents of the input |
| -> Bool | Whether to pretty-print the input data as well |
| -> Handle | A handle that will receive the output |
| -> IO () |
The main loop body, useful for both the program and for testing.