diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2025-01-28 16:58:51 +0100 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2025-01-28 16:58:51 +0100 |
| commit | 3e04b03acd5e7138e0f6241133585f22ddb73060 (patch) | |
| tree | 57b60cf7a784e3e1ece6c05afecff52eb4beb6db /src/CHAD | |
| parent | 817cd3c75a2bbbbb355ac33fc7ca3ad8a16bdc92 (diff) | |
Pretty-printer that supports extension fields
Diffstat (limited to 'src/CHAD')
| -rw-r--r-- | src/CHAD/Types.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/CHAD/Types.hs b/src/CHAD/Types.hs index 6662cbf..fd1b6b1 100644 --- a/src/CHAD/Types.hs +++ b/src/CHAD/Types.hs @@ -86,6 +86,7 @@ data CHADConfig = CHADConfig , -- | Introduce top-level arguments containing arrays in accumulator mode. chcArgArrayAccum :: Bool } + deriving (Show) defaultConfig :: CHADConfig defaultConfig = CHADConfig |