CSPM-cspm-0.7.0.0: cspm command line tool for analyzing CSPM specifications.

PortabilityGHC-only
Stabilityexperimental
MaintainerFontaine@cs.uni-duesseldorf.de
Safe HaskellNone

Main.ExceptionHandler

Description

ExceptionHandler for the command line interface

Synopsis

Documentation

handleException :: IO () -> IO ()Source

The top-level exception handler.