diff options
| author |  Benjamin Barenblat <bbarenblat@galois.com> | 2014-01-27 20:00:09 -0800 |
|---|---|---|
| committer | Benjamin Barenblat <bbarenblat@galois.com> | 2014-01-27 20:00:09 -0800 |
| commit | 0b617259a3c1c1f7e2c097e0f56d8ae3c5cc96f7 (patch) | |
| tree | a0b88207e23dd2b45aeedf57fd987cfaefa5a975 /bindings/haskell/src/PPAML/Tracer/Exception.hs | |
| parent | 32e5e36ea862c3fb981e7cc358280cbc7fbc8605 (diff) | |
Haskell: Add 'withTracer''
'withTracer'' wraps 'ppaml_tracer_init_from_env' in the C library.
Diffstat (limited to 'bindings/haskell/src/PPAML/Tracer/Exception.hs')
| -rw-r--r-- | bindings/haskell/src/PPAML/Tracer/Exception.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bindings/haskell/src/PPAML/Tracer/Exception.hs b/bindings/haskell/src/PPAML/Tracer/Exception.hs index 9de2316..bced230 100644 --- a/bindings/haskell/src/PPAML/Tracer/Exception.hs +++ b/bindings/haskell/src/PPAML/Tracer/Exception.hs @@ -68,6 +68,10 @@ mkException 'OTFWriterException "OTFTraceResolutionFailure" -- | Failure to define a process (i.e., a thread). Extends 'OTFWriterException'. mkException 'OTFWriterException "OTFProcessDefinitionFailure" +{-| Thrown by 'withTracer'' when it is called and 'PPAMLTRACER_TRACE_BASE' is +unset or empty. -} +mkException 'TracerException "TraceBaseUndefined" + ------------------------------ Timing exceptions ------------------------------- |