diff options
Diffstat (limited to 'frontend/transform.icl')
| -rw-r--r-- | frontend/transform.icl | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/frontend/transform.icl b/frontend/transform.icl index 57dd93b..42dee93 100644 --- a/frontend/transform.icl +++ b/frontend/transform.icl @@ -269,9 +269,18 @@ where unfold (MatchExpr opt_tuple cons_symb expr) us # (expr, us) = unfold expr us = (MatchExpr opt_tuple cons_symb expr, us) + unfold (DynamicExpr expr) us + # (expr, us) = unfold expr us + = (DynamicExpr expr, us) unfold expr us = (expr, us) +instance unfold DynamicExpr +where + unfold expr=:{dyn_expr} us + # (dyn_expr, us) = unfold dyn_expr us + = ({ expr & dyn_expr = dyn_expr }, us) + /* Sjaak ... */ instance unfold Selection where |