diff options
| author | ronny | 1999-10-05 13:09:14 +0000 |
|---|---|---|
| committer | ronny | 1999-10-05 13:09:14 +0000 |
| commit | db9e59813541e06caece64592854862bab9c0138 (patch) | |
| tree | ae7cef5982a377261188aed09dc0f0cc95c50f8c /frontend/Debug.dcl | |
| parent | Standard project directories initialized by cvs2svn. (diff) | |
Initial import
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/Debug.dcl')
| -rw-r--r-- | frontend/Debug.dcl | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/frontend/Debug.dcl b/frontend/Debug.dcl new file mode 100644 index 0000000..2e0af9f --- /dev/null +++ b/frontend/Debug.dcl @@ -0,0 +1,17 @@ +definition module Debug + +:: DebugShowFunction a :== !a -> [{#Char}] + +debugBefore :: !.a !(DebugShowFunction .a) .b -> .b +debugAfter :: !.a !(DebugShowFunction .a) !.b -> .b +debugValue :: !(DebugShowFunction .a) !.a -> .a + +debugShow :: DebugShowFunction .a +debugShowWithOptions :: [DebugShowOption] -> DebugShowFunction .a + +:: DebugShowOption + = DebugMaxDepth !Int // default MaxInt + | DebugMaxBreadth !Int // default MaxInt + | DebugMaxChars !Int // default MaxInt + | DebugTerminator !{#Char} // default "\n" + |