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/Wrap.dcl | 46 ----------------------------------------------
 1 file changed, 46 deletions(-)
 delete mode 100644 frontend/Wrap.dcl

(limited to 'frontend/Wrap.dcl')

diff --git a/frontend/Wrap.dcl b/frontend/Wrap.dcl
deleted file mode 100644
index 8cb683a..0000000
--- a/frontend/Wrap.dcl
+++ /dev/null
@@ -1,46 +0,0 @@
-/*
-	Wrap Clean nodes (for debugging purposes).
-
-	Version 1.0.1
-	Ronny Wichers Schreur
-	ronny@cs.kun.nl
-*/
-definition module Wrap
-
-from StdOverloaded import toString 
-
-::	WrappedDescriptorId
-
-instance toString WrappedDescriptorId
-
-::	WrappedDescriptor
-    =   WrappedDescriptorCons
-    |   WrappedDescriptorNil
-    |   WrappedDescriptorTuple
-    |   WrappedDescriptorOther !WrappedDescriptorId
-
-::  WrappedNode
-	//	basic types
-    =   WrappedInt !Int
-    |   WrappedChar !Char
-    |   WrappedBool !Bool
-    |   WrappedReal !Real
-    |   WrappedFile !File
-
-	// unboxed arrays of basic types
-    |   WrappedString !{#Char}
-    |   WrappedIntArray !{#Int}
-    |   WrappedBoolArray !{#Bool}
-    |   WrappedRealArray !{#Real}
-    |   WrappedFileArray !{#File}
-
-	// other arrays
-    |   WrappedArray !{WrappedNode}
-
-	// records
-    |   WrappedRecord !WrappedDescriptor !{WrappedNode}
-
-	// other nodes
-    |   WrappedOther !WrappedDescriptor !{WrappedNode}
-
-wrapNode :: !.a -> WrappedNode
\ No newline at end of file
-- 
cgit v1.2.3