Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
clean-and-itasks
clean-libraries
Commits
76f0d880
Commit
76f0d880
authored
Feb 24, 2000
by
Ronny Wichers Schreur
🏢
Browse files
Renamed ShowDebug to Debug
parent
487b4a3c
Changes
3
Hide whitespace changes
Inline
Side-by-side
libraries/WrapDebug/
Show
Debug.dcl
→
libraries/WrapDebug/Debug.dcl
View file @
76f0d880
...
...
@@ -5,7 +5,7 @@
Ronny Wichers Schreur
ronny@cs.kun.nl
*/
definition
module
Show
Debug
definition
module
Debug
::
DebugShowFunction
a
:==
a
->
[{#
Char
}]
...
...
@@ -17,7 +17,7 @@ debugAfter :: .a !(DebugShowFunction .a) !.b -> .b
debugValue
::
!(
DebugShowFunction
.
a
)
!.
a
->
.
a
// generic show function
debugShow
::
[
DebugShowOption
]
.
a
->
[{#
Char
}]
debugShow
WithOptions
::
[
DebugShowOption
]
.
a
->
[{#
Char
}]
::
DebugShowOption
=
DebugMaxDepth
!
Int
// default no limit
...
...
libraries/WrapDebug/
Show
Debug.icl
→
libraries/WrapDebug/Debug.icl
View file @
76f0d880
...
...
@@ -5,7 +5,7 @@
Ronny Wichers Schreur
ronny@cs.kun.nl
*/
implementation
module
Show
Debug
implementation
module
Debug
import
StdEnv
import
Wrap
,
ShowWrapped
...
...
@@ -62,8 +62,8 @@ MaxInt
(:-)
a
f
:==
f
a
debugShow
::
[
DebugShowOption
]
.
a
->
[{#
Char
}]
debugShow
debugOptions
debugValue
debugShow
WithOptions
::
[
DebugShowOption
]
.
a
->
[{#
Char
}]
debugShow
WithOptions
debugOptions
debugValue
=
debugValue
:-
wrapNode
:-
pruneWrappedNode
maxDepth
maxBreadth
...
...
libraries/WrapDebug/RWSDebug.icl
View file @
76f0d880
...
...
@@ -2,7 +2,7 @@ implementation module RWSDebug
import
Debug
show
x
show
=
debugShowWithOptions
[
DebugMaxChars
80
,
DebugMaxDepth
5
]
(->>)
::
!.
a
!.
b
->
.
a
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment