diff options
Diffstat (limited to 'frontend/Wrap.dcl')
| -rw-r--r-- | frontend/Wrap.dcl | 46 |
1 files changed, 0 insertions, 46 deletions
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 |