Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data MalformedLLVMModule = MalformedLLVMModule (Doc Void) [Doc Void]
- malformedLLVMModule :: Doc Void -> [Doc Void] -> a
- renderMalformedLLVMModule :: MalformedLLVMModule -> Doc Void
Documentation
data MalformedLLVMModule Source #
This datatype represents an exception that occurs when an LLVM module is broken in some way; for example, if the types of expressions do not match up in some way. The first argument is a short description of the error, and the remaining arguments are any additional details describing the error.
Instances
Exception MalformedLLVMModule Source # | |
Show MalformedLLVMModule Source # | |
Defined in Lang.Crucible.LLVM.MalformedLLVMModule showsPrec :: Int -> MalformedLLVMModule -> ShowS # show :: MalformedLLVMModule -> String # showList :: [MalformedLLVMModule] -> ShowS # |