From 52acbbf05650d8c5ed6f27b9f4432decf147f943 Mon Sep 17 00:00:00 2001
From: zweije
Date: Tue, 14 Aug 2001 13:25:33 +0000
Subject: This commit was generated by cvs2svn to compensate for changes in
 r632, which included commits to RCS files with non-trunk default branches.

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

(limited to 'sucl')

diff --git a/sucl/newfold.icl b/sucl/newfold.icl
index 3357303..f84f710 100644
--- a/sucl/newfold.icl
+++ b/sucl/newfold.icl
@@ -204,25 +204,25 @@ foldtips ::
 foldtips foldarea foldcont
 = ft
   where ft hist trace
-        = ft` transf
+        = case transf
+          of Stop
+              -> foldoptional exres (pair True o addstrict stricts) (actualfold deltanodes rnfnodes foldarea (==) foldcont (snd hist) rule)
+                 where deltanodes = foldoptional [] getdeltanodes answer
+                       rnfnodes = foldoptional [ruleroot rule] (const []) answer
+             Instantiate yestrace notrace
+              -> ft`` (ft hist yestrace) (ft hist notrace)
+                 where ft`` (False,yessra) (False,nosra) = exres
+                       ft`` (yesfound,(yesstricts,yesrules,yesareas)) (nofound,(nostricts,norules,noareas))
+                       = (True,(stricts,yesrules++norules,yesareas++noareas))
+             Reduce reductroot trace
+              -> ft`` (ft (fst hist,fst hist) trace)
+                 where ft`` (False,sra) = exres
+                       ft`` (found,sra) = (True,sra)
+             Annotate trace
+              -> ft`` (ft hist trace)
+                 where ft`` (False,sra) = exres
+                       ft`` (found,sra) = (True,sra)
           where (Trace stricts rule answer history transf) = trace
-                ft` Stop
-                = foldoptional exres (pair True o addstrict stricts) (actualfold deltanodes rnfnodes foldarea (==) foldcont (snd hist) rule)
-                  where deltanodes = foldoptional [] getdeltanodes answer
-                        rnfnodes = foldoptional [ruleroot rule] (const []) answer
-                ft` (Instantiate yestrace notrace)
-                = ft`` (ft hist yestrace) (ft hist notrace)
-                  where ft`` (False,yessra) (False,nosra) = exres
-                        ft`` (yesfound,(yesstricts,yesrules,yesareas)) (nofound,(nostricts,norules,noareas))
-                        = (True,(stricts,yesrules++norules,yesareas++noareas))
-                ft` (Reduce reductroot trace)
-                = ft`` (ft (fst hist,fst hist) trace)
-                  where ft`` (False,sra) = exres
-                        ft`` (found,sra) = (True,sra)
-                ft` (Annotate trace)
-                = ft`` (ft hist trace)
-                  where ft`` (False,sra) = exres
-                        ft`` (found,sra) = (True,sra)
                 exres = (False,newextract noetrc foldarea trace)
 
 addstrict stricts (rule,areas) = (stricts,[rule],areas)
-- 
cgit v1.2.3