diff options
| author | sjakie | 2001-10-02 10:10:33 +0000 |
|---|---|---|
| committer | sjakie | 2001-10-02 10:10:33 +0000 |
| commit | 094a95bee31b84217329eb0e62778600d1e8711b (patch) | |
| tree | 582360a6c275f3479c61fa8c0f675787256794c6 /frontend/comparedefimp.icl | |
| parent | pass file modification times from icl module and dcl modules to backend (diff) | |
Bug fixes: reference count analysis fixed,
Universally quantified types used in class members
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@811 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/comparedefimp.icl')
| -rw-r--r-- | frontend/comparedefimp.icl | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/frontend/comparedefimp.icl b/frontend/comparedefimp.icl index 2959e4e..a4baf5d 100644 --- a/frontend/comparedefimp.icl +++ b/frontend/comparedefimp.icl @@ -1114,10 +1114,10 @@ instance e_corresponds DynamicPattern where o` e_corresponds_dp_type dcl.dp_type icl.dp_type where e_corresponds_dp_type dcl_expr_ptr icl_expr_ptr ec_state=:{ec_expr_heap, ec_tc_state} - #! dcl_type - = sreadPtr dcl_expr_ptr ec_expr_heap - icl_type - = sreadPtr icl_expr_ptr ec_expr_heap + # (dcl_type, ec_expr_heap) + = readPtr dcl_expr_ptr ec_expr_heap + (icl_type, ec_expr_heap) + = readPtr icl_expr_ptr ec_expr_heap # (EI_DynamicTypeWithVars _ dcl_dyn_type _) = dcl_type (EI_DynamicTypeWithVars _ icl_dyn_type _) @@ -1125,7 +1125,7 @@ instance e_corresponds DynamicPattern where (corresponds, ec_tc_state) = t_corresponds dcl_dyn_type icl_dyn_type ec_tc_state ec_state - = { ec_state & ec_tc_state = ec_tc_state } + = { ec_state & ec_tc_state = ec_tc_state, ec_expr_heap = ec_expr_heap } | corresponds = ec_state = give_error "" ec_state |