diff options
Diffstat (limited to 'sucl/trace.dcl')
| -rw-r--r-- | sucl/trace.dcl | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/sucl/trace.dcl b/sucl/trace.dcl index 6aafc88..8b818f8 100644 --- a/sucl/trace.dcl +++ b/sucl/trace.dcl @@ -162,13 +162,16 @@ Implementation | Stop | Instantiate (Trace sym var pvar) (Trace sym var pvar) + +/* Disable the new abstraction node for now... + | Abstract [Abstraction sym var pvar] :: Abstraction sym var pvar = NewAbstraction (Trace sym var pvar) | KnownAbstraction (Rule sym var) -/* Alternatives for the Abstract constructor: + Alternatives for the Abstract constructor: Abstract [Trace sym var pvar] together with: Backpointer (Trace sym var pvar) |