diff options
| author | sjakie | 2003-01-08 14:55:59 +0000 |
|---|---|---|
| committer | sjakie | 2003-01-08 14:55:59 +0000 |
| commit | 641daa3443c53a63ba081011d922e50ec9e66917 (patch) | |
| tree | 94c1c4f936850d7ffd093eac4b7e54f08b1b78b7 /frontend/classify.icl | |
| parent | remove rhs of alternative with an AP_Empty pattern, to prevent (diff) | |
Bug fix: uniqueness error in records
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1308 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/classify.icl')
| -rw-r--r-- | frontend/classify.icl | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/frontend/classify.icl b/frontend/classify.icl index 5f25e53..c5d5f36 100644 --- a/frontend/classify.icl +++ b/frontend/classify.icl @@ -277,8 +277,8 @@ instance consumerRequirements App where | glob_module == main_dcl_module_n | glob_object < size ai_cons_class - #! fun_class = ai_cons_class.[glob_object] - = reqs_of_args fun_class.cc_args app_args CPassive common_defs ai + # (fun_class, ai_cons_class) = ai_cons_class![glob_object] + = reqs_of_args fun_class.cc_args app_args CPassive common_defs { ai & ai_cons_class = ai_cons_class } = consumerRequirements app_args common_defs ai | glob_module == stdStrictLists_module_n && (not (isEmpty app_args)) @@ -323,8 +323,8 @@ instance consumerRequirements App where common_defs=:(ConsumerAnalysisRO {main_dcl_module_n}) ai=:{ai_cons_class} | glob_object < size ai_cons_class - #! fun_class = ai_cons_class.[glob_object] - = reqs_of_args fun_class.cc_args app_args CPassive common_defs ai + # (fun_class, ai_cons_class) = ai_cons_class![glob_object] + = reqs_of_args fun_class.cc_args app_args CPassive common_defs { ai & ai_cons_class = ai_cons_class } = consumerRequirements app_args common_defs ai // new alternative for generated function + reanalysis... @@ -356,10 +356,11 @@ reqs_of_args [form_cc : ccs] [arg : args] cumm_arg_class common_defs ai = reqs_of_args ccs args (combineClasses act_cc cumm_arg_class) common_defs ai reqs_of_args cc xp _ _ _ = abort "classify:reqs_of_args doesn't match" ---> (cc,xp) +/* showRefCount :: !String !*AnalyseInfo -> *AnalyseInfo showRefCount msg ai=:{ai_cur_ref_counts} = ai <--- (msg,display ai_cur_ref_counts) - +*/ display :: !RefCounts -> String display rc = {show c \\ c <-: rc} where |