Commit 9379aa57 authored by Vincent Zweije's avatar Vincent Zweije
Browse files

This commit was generated by cvs2svn to compensate for changes in r636,

which included commits to RCS files with non-trunk default branches.
parent e521c24c
......@@ -345,16 +345,19 @@ newextract ::
newextract trc newname (Trace stricts rule answer history transf)
| recursive
= (stricts,[recrule],recareas)
= subex transf
where subex (Reduce reductroot trace) = newextract trc newname trace
subex (Annotate trace) = newextract trc newname trace
subex (Instantiate yestrace notrace)
= (stricts,yesrules++norules,yesareas++noareas)
where (yesstricts,yesrules,yesareas) = newextract trc newname yestrace
(nostricts,norules,noareas) = newextract trc newname notrace
subex Stop = (stricts,[mkrule rargs rroot stoprgraph],stopareas)
(recursive,unsafearea)
= case transf
of Reduce reductroot trace
-> newextract trc newname trace
Annotate trace
-> newextract trc newname trace
Instantiate yestrace notrace
-> (stricts,yesrules++norules,yesareas++noareas)
where (yesstricts,yesrules,yesareas) = newextract trc newname yestrace
(nostricts,norules,noareas) = newextract trc newname notrace
Stop
-> (stricts,[mkrule rargs rroot stoprgraph],stopareas)
where (recursive,unsafearea)
= if (isreduce transf)
(foldoptional (False,undef) (findspinepart rule transf) answer)
(False,abort "newextract: not a Reduce transformation")
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment