diff options
| author | zweije | 2001-08-14 09:03:48 +0000 |
|---|---|---|
| committer | zweije | 2001-08-14 09:03:48 +0000 |
| commit | 14a3f32a4b2b514b1278cd7029ccfc7c8fa1f6c4 (patch) | |
| tree | bc307e0553babaf37236a1a3717f758b24fd8dcf /sucl/extract.icl | |
| parent | This commit was generated by cvs2svn to compensate for changes in r622, (diff) | |
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
Diffstat (limited to 'sucl/extract.icl')
| -rw-r--r-- | sucl/extract.icl | 10 |
1 files changed, 5 insertions, 5 deletions
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 ] |