diff options
| author | johnvg | 2002-02-13 11:05:10 +0000 |
|---|---|---|
| committer | johnvg | 2002-02-13 11:05:10 +0000 |
| commit | 7dcf00377ae45d2eb405d8de86c01462a8fd161b (patch) | |
| tree | 9d5dd3dc80c231d1b111e8802ed42e6d90410f61 /frontend/comparedefimp.icl | |
| parent | bug fix: convert higher-order arrow types (diff) | |
compare strictness annotations of constructors
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1019 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/comparedefimp.icl')
| -rw-r--r-- | frontend/comparedefimp.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/comparedefimp.icl b/frontend/comparedefimp.icl index 7084aec..72935e0 100644 --- a/frontend/comparedefimp.icl +++ b/frontend/comparedefimp.icl @@ -85,7 +85,7 @@ where comp_type_var_heap = initialyseATypeVars dcl_cons_def.cons_exi_vars comp_type_var_heap comp_type_var_heap = initialyseATypeVars icl_cons_def.cons_exi_vars comp_type_var_heap comp_st = { comp_st & comp_type_var_heap = comp_type_var_heap } - (ok, comp_st) = compare dcl_cons_type.st_args icl_cons_type.st_args comp_st + (ok, comp_st) = compare (dcl_cons_type.st_args,dcl_cons_type.st_args_strictness) (icl_cons_type.st_args,icl_cons_type.st_args_strictness) comp_st | dcl_cons_def.cons_priority == icl_cons_def.cons_priority | ok && do_compare_result_types # (ok, comp_st) = compare dcl_cons_type.st_result icl_cons_type.st_result comp_st |