diff options
| author | ronny | 2000-02-24 12:26:59 +0000 |
|---|---|---|
| committer | ronny | 2000-02-24 12:26:59 +0000 |
| commit | e476c30a6367b8d0cdcf6dec69ab152e8d8fecc8 (patch) | |
| tree | a682ded63ad34c202f344779cb562012b88e7cbf /frontend/Debug.dcl | |
| parent | Initial import (diff) | |
Removed debug modules (they moved to separate directory)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@103 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/Debug.dcl')
| -rw-r--r-- | frontend/Debug.dcl | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/frontend/Debug.dcl b/frontend/Debug.dcl deleted file mode 100644 index 2e0af9f..0000000 --- a/frontend/Debug.dcl +++ /dev/null @@ -1,17 +0,0 @@ -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" - |