From f5e4a470cb06d85b0e2b445fe60cbf331f07328b Mon Sep 17 00:00:00 2001
From: zweije
Date: Fri, 10 Aug 2001 14:41:22 +0000
Subject: This commit was generated by cvs2svn to compensate for changes in
 r614, which included commits to RCS files with non-trunk default branches.

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@615 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 sucl/newtest.icl | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)

(limited to 'sucl')

diff --git a/sucl/newtest.icl b/sucl/newtest.icl
index cdec40d..9b65610 100644
--- a/sucl/newtest.icl
+++ b/sucl/newtest.icl
@@ -2,6 +2,12 @@ implementation module newtest
 
 // $Id$
 
+import cli
+import coreclean
+import canon
+import basic
+import StdEnv
+
 /*
 
 newtest.lit - Testing the new trace implementation
@@ -242,7 +248,29 @@ these tuples.
 >             foldarea' = foldarea (labelarea'.canonise')
 >             labelarea' = labelarea (map getinit results) (newsymbols main)
 >             canonise' = canonise (typerule cli) heap
+*/
+
+fullsymred ::
+    [SuclSymbol]    // Fresh function symbols
+    Cli             // Module to optimise
+ -> [Symredresult symbol node typesymbol typenode]
+
+fullsymred freshsymbols cli
+ = results
+   where results = depthfirst generate process (initareas cli)
+         generate result = map canonise` (getareas result)
+         process area = symredarea foldarea` cli area
 
+         foldarea` = foldarea (labelarea` o canonise`)
+         labelarea` = labelarea (map getinit results) freshsymbols
+         canonise` = canonise (typerule cli) suclheap
+
+initareas = undef
+getareas = undef
+symredarea = undef
+getinit = undef
+
+/*
 `Initareas cli' is the list  of  initial  rooted  graphs  that  must  be
 symbolically  reduced.  An initial rooted graph is formed by applying an
 exported symbol to its full complement of open  arguments  according  to
-- 
cgit v1.2.3