diff options
Diffstat (limited to 'sucl/loop.icl')
| -rw-r--r-- | sucl/loop.icl | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/sucl/loop.icl b/sucl/loop.icl index ef750e5..758b07a 100644 --- a/sucl/loop.icl +++ b/sucl/loop.icl @@ -89,6 +89,9 @@ all the introduced functions from it. */ +/* Disable the new abstraction node + Unsafe subtraces are going to be pruned again. + :: FallibleTrace sym var pvar = GoodTrace (Trace sym var pvar) | NeedAbstraction [Rgraph sym var] @@ -158,8 +161,6 @@ handleredex _ _ _ _ _ _ = undef handlestrict :: (Spine sym var pvar) (Strat sym var pvar) (History sym var) (Rgraph sym var) -> FallibleTrace sym var pvar handlestrict _ _ _ _ = undef -/* - ------------------------------------------------------------ Types |