BPS-0.1.0.0: Translations of classic Truth Maintenance Systems
Copyright(c) John Maraist 2022
LicenseAllRightsReserved
Maintainerhaskell-tms@maraist.org
Stabilityexperimental
PortabilityPOSIX
Safe HaskellNone
LanguageHaskell2010

Data.TMS.ChooseDebugging

Description

The module contains the flag which indicates whether debugging output should be compiled into modules using this system for runtime trace output.

Synopsis

Documentation

debuggingOn :: Bool Source #

Flag which indicates whether debugging output should be compiled into modules using this system for runtime trace output.

debugging :: Q [Dec] Source #

Macro which expands to definitions which either print debugging statements, or do nothing.