From e476c30a6367b8d0cdcf6dec69ab152e8d8fecc8 Mon Sep 17 00:00:00 2001
From: ronny
Date: Thu, 24 Feb 2000 12:26:59 +0000
Subject: 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
---
 frontend/Debug.dcl | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 frontend/Debug.dcl

(limited to 'frontend/Debug.dcl')

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