aboutsummaryrefslogtreecommitdiff
path: root/sucl
diff options
context:
space:
mode:
authorzweije2001-10-08 14:28:43 +0000
committerzweije2001-10-08 14:28:43 +0000
commit7d6d9294f29501da3cb82ba0c35a476d980c1af9 (patch)
treeb9b49ac9ac46e9b57122e961457efc6fb12dae08 /sucl
parentuniversally quantified attribute variables in typedefs added (diff)
This commit was generated by cvs2svn to compensate for changes in r834,
which included commits to RCS files with non-trunk default branches. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@835 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'sucl')
-rw-r--r--sucl/basic.dcl3
-rw-r--r--sucl/basic.icl6
-rw-r--r--sucl/history.icl6
3 files changed, 9 insertions, 6 deletions
diff --git a/sucl/basic.dcl b/sucl/basic.dcl
index 3972d39..188d8d0 100644
--- a/sucl/basic.dcl
+++ b/sucl/basic.dcl
@@ -218,3 +218,6 @@ zipwith :: (.a .b->.c) ![.a] [.b] -> [.c]
// Write a list of things, each one terminated by a newline
(writeList) infixl :: !*File [a] -> .File | <<< a
+
+// Prettyprint a list to a file with indent
+printlist :: (elem->String) String [elem] *File -> .File
diff --git a/sucl/basic.icl b/sucl/basic.icl
index aa78e19..e6beaa0 100644
--- a/sucl/basic.icl
+++ b/sucl/basic.icl
@@ -323,3 +323,9 @@ zipwith f xs ys = [f x y \\ x<-xs & y<-ys]
(writeList) file [] = file
(writeList) file [x:xs]
= file <<< x <<< nl writeList xs
+
+printlist :: (elem->String) String [elem] *File -> .File
+printlist showelem indent [] file
+= file
+printlist showelem indent [x:xs] file
+= printlist showelem indent xs (file <<< indent <<< showelem x <<< nl)
diff --git a/sucl/history.icl b/sucl/history.icl
index c0975a9..8713904 100644
--- a/sucl/history.icl
+++ b/sucl/history.icl
@@ -97,9 +97,3 @@ printhistoryassociation showsym showvar indent vargraphs file
myshowrgraph showsym showvar rgraph
= hd (printgraphBy showsym showvar (rgraphgraph rgraph) [rgraphroot rgraph])
-
-printlist :: (elem->String) String [elem] *File -> .File
-printlist showelem indent [] file
-= file
-printlist showelem indent [x:xs] file
-= printlist showelem indent xs (file <<< indent <<< showelem x <<< nl)