diff options
Diffstat (limited to 'frontend/Wrap.dcl')
| -rw-r--r-- | frontend/Wrap.dcl | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/frontend/Wrap.dcl b/frontend/Wrap.dcl index e5c4b41..8cb683a 100644 --- a/frontend/Wrap.dcl +++ b/frontend/Wrap.dcl @@ -1,8 +1,11 @@ -definition module Wrap - /* - Wrap arbitrary Clean nodes (for debugging purposes). + Wrap Clean nodes (for debugging purposes). + + Version 1.0.1 + Ronny Wichers Schreur + ronny@cs.kun.nl */ +definition module Wrap from StdOverloaded import toString @@ -40,4 +43,4 @@ instance toString WrappedDescriptorId // other nodes | WrappedOther !WrappedDescriptor !{WrappedNode} -Wrap :: !.a -> WrappedNode
\ No newline at end of file +wrapNode :: !.a -> WrappedNode
\ No newline at end of file |