aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authormartijnv2002-01-21 13:55:43 +0000
committermartijnv2002-01-21 13:55:43 +0000
commited0702fcf0e20524d153f4c20327845e821b9612 (patch)
tree3c74bc40d0c576267aee03f17a0c1f206519187b
parentbug fix: unused dynamics were not recursively removed from fi_dynamics (diff)
bug fix: unused dynamics were not recursively removed from fi_dynamics
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@974 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
-rw-r--r--frontend/transform.icl3
1 files changed, 2 insertions, 1 deletions
diff --git a/frontend/transform.icl b/frontend/transform.icl
index 356e2af..a84da52 100644
--- a/frontend/transform.icl
+++ b/frontend/transform.icl
@@ -1530,7 +1530,8 @@ where
= foldSt collect_used_dynmic ptrs ([], cos_symbol_heap)
# cos_symbol_heap
= writePtr dyn_expr_ptr (EI_DynamicTypeWithVars type_vars dyn_type new_ptrs)
- -> (used_dynamics, symbol_heap)
+ -> ([dyn_expr_ptr : used_dynamics], symbol_heap)
+
expandCheckedAlternative {ca_rhs, ca_position} ei
# (ca_rhs, ei) = expand ca_rhs ei