diff options
| author | zweije | 2001-08-14 09:05:43 +0000 |
|---|---|---|
| committer | zweije | 2001-08-14 09:05:43 +0000 |
| commit | e722df4325d7af645783dbbd004853b6b3588515 (patch) | |
| tree | e39bc1febb705d13e4aeb8843bee5ab080d2b41f | |
| parent | This commit was generated by cvs2svn to compensate for changes in r624, (diff) | |
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
| -rw-r--r-- | sucl/extract.icl | 26 |
1 files changed, 0 insertions, 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) |