diff options
| author | zweije | 2001-09-17 17:02:37 +0000 |
|---|---|---|
| committer | zweije | 2001-09-17 17:02:37 +0000 |
| commit | f7efd7f33d854289dfc758d863fc6ebf51de5689 (patch) | |
| tree | ac42a237df416395438a99ab910c60275a8afcd9 | |
| parent | This commit was generated by cvs2svn to compensate for changes in r795, (diff) | |
This commit was generated by cvs2svn to compensate for changes in r797,
which included commits to RCS files with non-trunk default branches.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@798 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | sucl/newfold.icl | 15 | ||||
| -rw-r--r-- | sucl/newtest.icl | 14 |
2 files changed, 21 insertions, 8 deletions
diff --git a/sucl/newfold.icl b/sucl/newfold.icl index 28eb67b..ce7dff9 100644 --- a/sucl/newfold.icl +++ b/sucl/newfold.icl @@ -408,3 +408,18 @@ where (<<<) file (MatchPattern pat yesbody nobody) <<< nobody (<<<) file (BuildGraph rgraph) = file <<< "Build: " <<< toString rgraph <<< nl + +printfuncdef :: (sym->String) (var->String) (FuncDef sym var) *File -> .File | == var +printfuncdef showsym showvar funcdef file += printfuncbody showsym showvar "" body (file <<< "Arguments: " <<< showlist showvar args <<< nl) + where (args,body) = funcdef + +printfuncbody :: (sym->String) (var->String) String (FuncBody sym var) *File -> .File | == var +printfuncbody showsym showvar indent (MatchPattern pattern yesbody nobody) file0 += file3 + where file3 = printfuncbody showsym showvar indent nobody (file2 <<< indent <<< "Otherwise:" <<< nl) + file2 = printfuncbody showsym showvar (indent+++" ") yesbody file1 + file1 = file0 <<< indent <<< "Match " <<< showvar (rgraphroot pattern) <<< " =?= " <<< showrgraph showsym showvar pattern <<< nl +printfuncbody showsym showvar indent (BuildGraph replacement) file0 += file1 + where file1 = file0 <<< indent <<< showrgraph showsym showvar replacement <<< nl diff --git a/sucl/newtest.icl b/sucl/newtest.icl index 62bc7ff..f7e2787 100644 --- a/sucl/newtest.icl +++ b/sucl/newtest.icl @@ -172,7 +172,7 @@ where toString srr instance <<< (Symredresult sym var tsym tvar) | toString sym & <<<,==,toString var where (<<<) file0 srr - = file5 + = file7 where file1 = file0 <<< "==[BEGIN]==" <<< nl <<< "Task expression: " <<< srr.srr_task_expression <<< nl @@ -180,13 +180,11 @@ where (<<<) file0 srr <<< "Strictness: " <<< srr.srr_strictness <<< nl //<<< "Type rule: ..." <<< nl file2 = printtrace srr.srr_assigned_symbol toString toString toString "" srr.srr_trace file1 - file3 - = file2 //<<< "Function definition:" <<< nl - //<<< srr.srr_function_def - <<< "Areas:" <<< nl - file4 = printareas toString toString " " srr.srr_areas file3 - file5 - = file4 <<< "==[END]==" <<< nl + file3 = file2 <<< "Function definition:" <<< nl + file4 = printfuncdef toString toString srr.srr_function_def file3 + file5 = file4 <<< "Areas:" <<< nl + file6 = printareas toString toString " " srr.srr_areas file5 + file7 = file6 <<< "==[END]==" <<< nl printareas :: (sym->String) (var->String) String [Rgraph sym var] *File -> .File | == var printareas showsym showvar indent areas file |