diff options
Diffstat (limited to 'sucl/extract.icl')
| -rw-r--r-- | sucl/extract.icl | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/sucl/extract.icl b/sucl/extract.icl index e0c738e..b2d0e46 100644 --- a/sucl/extract.icl +++ b/sucl/extract.icl @@ -70,7 +70,8 @@ actualfold :: [(pvar,Graph sym pvar)] (Rule sym var) -> Optional (Rule sym var,[Rgraph sym var]) - | == var + | == sym + & == var & == pvar actualfold deltanodes rnfnodes foldarea self foldcont hist rule @@ -100,7 +101,8 @@ findoccs :: (Rule sym var) var -> [[(pvar,var)]] - | == var + | == sym + & == var & == pvar findoccs hist rule rnode @@ -120,8 +122,6 @@ findoccs hist rule rnode where inner = map (lookup mapping) (fst (graphvars hgraph [hroot])) outer = removeMembers (varlist (prunegraph rnode rgraph) [rroot:rargs]) [rnode] -instantiate = undef - /* ------------------------------------------------------------------------ |