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

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

diff --git a/sucl/extract.icl b/sucl/extract.icl
index 27ebc6e..e0c738e 100644
--- a/sucl/extract.icl
+++ b/sucl/extract.icl
@@ -95,32 +95,6 @@ actualfold deltanodes rnfnodes foldarea self foldcont hist rule
         argnodes = varlist rgraph` rargs
         foldednodes = map fst list3
 
-/*
->   findoccs
->   ::  [(***,graph * ***)] ->
->       rule * ** ->
->       ** ->
->       [((***,graph * ***),[(***,**)])]
-
->   findoccs hist rule rnode
->   =   [   ((hroot,hgraph),mapping)
->       |   ((hroot,hgraph),(seen,mapping,[]))<-list1 ||  Find instantiable history rgraphs...
->       ;   unshared rnode (hroot,hgraph) mapping     ||  ...which don't have shared contents...
->||     ;   ~self hroot rnode                         ||  ...and aren't the history graph itself
->       ]
->       where rargs = lhs rule; rroot = rhs rule; rgraph = rulegraph rule
->             list1
->             =   [((hroot,hgraph),inst (hroot,hgraph))|(hroot,hgraph)<-hist]
->                 where inst (hroot,hgraph)
->                       =   instantiate (hgraph,rgraph) (hroot,rnode) ([],[],[])
->             ||  list1: all instantiation attempts at rnode with the history rgraphs
-
->             unshared rnode (hroot,hgraph) mapping
->             =   disjoint inner outer
->                 where inner = map (lookup mapping) (fst (nodeset hgraph [hroot]))
->                       outer = nodelist (prunegraph rnode rgraph) (rroot:rargs)--[rnode]
-*/
-
 findoccs ::
     [(pvar,Graph sym pvar)]
     (Rule sym var)
-- 
cgit v1.2.3