From 1188dc1eaa5ff97701c5503c002fbc471881367f Mon Sep 17 00:00:00 2001
From: zweije
Date: Tue, 14 Aug 2001 14:53:02 +0000
Subject: This commit was generated by cvs2svn to compensate for changes in
 r642, which included commits to RCS files with non-trunk default branches.

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@643 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 sucl/newfold.icl | 10 +++++-----
 sucl/newtest.icl |  4 ++--
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/sucl/newfold.icl b/sucl/newfold.icl
index c8bb050..c6646d9 100644
--- a/sucl/newfold.icl
+++ b/sucl/newfold.icl
@@ -68,7 +68,7 @@ Deprecated type
 >       (bool,([bool],[rule * **],[rgraph * **]))
 */
 
-:: FunBody sym var
+:: FuncDef sym var
    :== [Rule sym var]
 
 /*
@@ -94,7 +94,7 @@ fullfold ::
     ((Rgraph sym var)->(sym,[var]))
     sym
     (Trace sym var pvar)
- -> ([Bool],FunBody sym var,[Rgraph sym var])
+ -> ([Bool],FuncDef sym var,[Rgraph sym var])
  |  == sym
  &  == var
  &  == pvar
@@ -119,7 +119,7 @@ recurse ::
     ((Rgraph sym var)->(sym,[var]))
     sym
  -> (Trace sym var pvar)
- -> (Bool,([Bool],FunBody sym var,[Rgraph sym var]))
+ -> (Bool,([Bool],FuncDef sym var,[Rgraph sym var]))
  |  == sym
  &  == var
  &  == pvar
@@ -159,7 +159,7 @@ foldtips ::
     (sym,[var])
  -> ([(var,Graph sym var)],[(var,Graph sym var)])
     (Trace sym var pvar)
- -> (Bool,([Bool],FunBody sym var,[Rgraph sym var]))
+ -> (Bool,([Bool],FuncDef sym var,[Rgraph sym var]))
  |  == sym
  &  == var
  &  == pvar
@@ -228,7 +228,7 @@ newextract ::
     (Etracer sym var pvar)
     ((Rgraph sym var)->(sym,[var]))
     (Trace sym var pvar)
- -> ([Bool],FunBody sym var,[Rgraph sym var])
+ -> ([Bool],FuncDef sym var,[Rgraph sym var])
  |  == sym
  &  == var
  &  == pvar
diff --git a/sucl/newtest.icl b/sucl/newtest.icl
index b136595..688cb08 100644
--- a/sucl/newtest.icl
+++ b/sucl/newtest.icl
@@ -153,7 +153,7 @@ these tuples.
      , srr_strictness      :: [Bool]            // Strictness annotations
      , srr_typerule        :: Rule tsym tvar    // Type rule
      , srr_trace           :: Trace sym var var // Truncated and folded trace
-     , srr_function_body   :: FunBody sym var   // Resulting rewrite rules
+     , srr_function_def    :: FuncDef sym var   // Resulting rewrite rules
      , srr_areas           :: [Rgraph sym var]  // New areas for further symbolic reduction (not necessarily canonical)
      }
 
@@ -357,7 +357,7 @@ symredarea foldarea cli area
   , srr_strictness      = stricts
   , srr_typerule        = trule
   , srr_trace           = trace
-  , srr_function_body   = rules
+  , srr_function_def    = rules
   , srr_areas           = areas
   }
   where agraph = rgraphgraph area; aroot = rgraphroot area
-- 
cgit v1.2.3