diff options
Diffstat (limited to 'sucl/trace.icl')
| -rw-r--r-- | sucl/trace.icl | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/sucl/trace.icl b/sucl/trace.icl index f2ff7b3..090f4b2 100644 --- a/sucl/trace.icl +++ b/sucl/trace.icl @@ -129,6 +129,9 @@ Implementation | Stop | Instantiate (Trace sym var pvar) (Trace sym var pvar) + +/* Disable the abstraction node for now... + | Abstract [Abstraction sym var pvar] // Some abstractions (introduced recursion) spawn a fresh subtrace, but others @@ -138,8 +141,6 @@ Implementation = NewAbstraction (Trace sym var pvar) | KnownAbstraction (Rule sym var) -/* - > showtrace showa showb showc (Trace stricts rule answer history transf) > = "(Trace "++ > show (map strictchar stricts)++' ': @@ -236,7 +237,7 @@ foldtrace reduce annotate stop instantiate trace ftf stricts rule answer history (Annotate trace) = annotate stricts rule answer history (ftr trace) ftf stricts rule answer history Stop = stop stricts rule answer history ftf stricts rule answer history (Instantiate yestrace notrace) = instantiate stricts rule answer history (ftr yestrace) (ftr notrace) - ftf _ _ _ _ (Abstract _) = abort "foldtrace not implemented for abstraction nodes" +// ftf _ _ _ _ (Abstract _) = abort "foldtrace not implemented for abstraction nodes" foldtransformation :: ((Trace sym var pvar) -> .result) @@ -256,6 +257,6 @@ foldtransformation ftr reduce annotate stop instantiate abstract knownabstractio ftf (Annotate trace) = annotate (ftr trace) ftf Stop = stop ftf (Instantiate yestrace notrace) = instantiate (ftr yestrace) (ftr notrace) - ftf (Abstract as) = abstract (map fab as) - fab (NewAbstraction t) = newabstraction (ftr t) - fab (KnownAbstraction r) = knownabstraction r +// ftf (Abstract as) = abstract (map fab as) +// fab (NewAbstraction t) = newabstraction (ftr t) +// fab (KnownAbstraction r) = knownabstraction r |