From 14a3f32a4b2b514b1278cd7029ccfc7c8fa1f6c4 Mon Sep 17 00:00:00 2001
From: zweije
Date: Tue, 14 Aug 2001 09:03:48 +0000
Subject: This commit was generated by cvs2svn to compensate for changes in
 r624, which included commits to RCS files with non-trunk default branches.

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

(limited to 'sucl')

diff --git a/sucl/extract.icl b/sucl/extract.icl
index a7223d3..27ebc6e 100644
--- a/sucl/extract.icl
+++ b/sucl/extract.icl
@@ -82,18 +82,18 @@ actualfold deltanodes rnfnodes foldarea self foldcont hist rule
         list2 = map (pairwith (findoccs hist rule)) (removeMembers (varlist rgraph [rroot]) (varlist rgraph rargs))
         // list2: list combining every node with list of every instantiable history graph
 
-        list3 = [(rnode,hgraph,mapping) \\ (rnode,[((hroot,hgraph),mapping):_])<-list2]
+        list3 = [(rnode,mapping) \\ (rnode,[mapping:_])<-list2]
         // list3: list combining every instantiable node with first instantiable history graph
 
         rgraph`
         = foldr foldrec rgraph list3
-          where foldrec (rnode,hgraph,mapping) = updategraph rnode (mapsnd (map (lookup mapping)) foldcont)
+          where foldrec (rnode,mapping) = updategraph rnode (mapsnd (map (lookup mapping)) foldcont)
 
         (rgraph``,areas`) = finishfold foldarea fixednodes singlenodes rroot rgraph`
         fixednodes = intersect (removeDup (argnodes++foldednodes++rnfnodes)) (varlist rgraph` [rroot])
         singlenodes = intersect deltanodes (varlist rgraph` [rroot])
         argnodes = varlist rgraph` rargs
-        foldednodes = map fst3 list3
+        foldednodes = map fst list3
 
 /*
 >   findoccs
@@ -125,12 +125,12 @@ findoccs ::
     [(pvar,Graph sym pvar)]
     (Rule sym var)
     var
- -> [((pvar,Graph sym pvar),[(pvar,var)])]
+ -> [[(pvar,var)]]
  |  == var
  &  == pvar
 
 findoccs hist rule rnode
-= [  ((hroot,hgraph),mapping)
+= [  mapping
   \\ ((hroot,hgraph),(seen,mapping,[]))<-list1 // Find instantiable history rgraphs...
   |  unshared rnode (hroot,hgraph) mapping     // ...which don't have shared contents
   ]
-- 
cgit v1.2.3