From db9e59813541e06caece64592854862bab9c0138 Mon Sep 17 00:00:00 2001
From: ronny
Date: Tue, 5 Oct 1999 13:09:14 +0000
Subject: Initial import

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/Debug.dcl | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 frontend/Debug.dcl

(limited to 'frontend/Debug.dcl')

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"
+
-- 
cgit v1.2.3