From 7d6d9294f29501da3cb82ba0c35a476d980c1af9 Mon Sep 17 00:00:00 2001 From: zweije Date: Mon, 8 Oct 2001 14:28:43 +0000 Subject: 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 --- sucl/basic.dcl | 3 +++ sucl/basic.icl | 6 ++++++ sucl/history.icl | 6 ------ 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) -- cgit v1.2.3