Commit 41d63e32 authored by Martin Wierich's avatar Martin Wierich
Browse files

small bugfix

parent 548979ef
......@@ -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
......
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