aboutsummaryrefslogtreecommitdiff
path: root/frontend
diff options
context:
space:
mode:
authormartijnv2002-01-23 10:33:40 +0000
committermartijnv2002-01-23 10:33:40 +0000
commitf270d2d5897cfc10554779c86611244529e257c9 (patch)
treef08c73ad30f12f8ae96fdce687eff85135402896 /frontend
parentsmall bug fix to check whether T_ypeID is available (diff)
bug fix: adapted collect_used_dynamics which didn't eliminate all unused
dynamics. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@978 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
-rw-r--r--frontend/transform.icl16
1 files changed, 8 insertions, 8 deletions
diff --git a/frontend/transform.icl b/frontend/transform.icl
index a84da52..08a2edf 100644
--- a/frontend/transform.icl
+++ b/frontend/transform.icl
@@ -1520,16 +1520,16 @@ where
EI_UnmarkedDynamic _ _
-> (used_dynamics, symbol_heap)
EI_Dynamic opt_dyn_type ptrs
- # (new_ptrs,cos_symbol_heap)
- = foldSt collect_used_dynmic ptrs ([], cos_symbol_heap)
- # cos_symbol_heap
- = writePtr dyn_expr_ptr (EI_Dynamic opt_dyn_type new_ptrs)
+ # (new_ptrs,symbol_heap)
+ = foldSt collect_used_dynmic ptrs ([], symbol_heap)
+ # symbol_heap
+ = writePtr dyn_expr_ptr (EI_Dynamic opt_dyn_type new_ptrs) symbol_heap
-> ([dyn_expr_ptr : used_dynamics], symbol_heap)
EI_DynamicTypeWithVars type_vars dyn_type ptrs
- # (new_ptrs,cos_symbol_heap)
- = foldSt collect_used_dynmic ptrs ([], cos_symbol_heap)
- # cos_symbol_heap
- = writePtr dyn_expr_ptr (EI_DynamicTypeWithVars type_vars dyn_type new_ptrs)
+ # (new_ptrs,symbol_heap)
+ = foldSt collect_used_dynmic ptrs ([], symbol_heap)
+ # symbol_heap
+ = writePtr dyn_expr_ptr (EI_DynamicTypeWithVars type_vars dyn_type new_ptrs) symbol_heap
-> ([dyn_expr_ptr : used_dynamics], symbol_heap)