diff options
| author | diederik | 2002-08-01 12:49:54 +0000 |
|---|---|---|
| committer | diederik | 2002-08-01 12:49:54 +0000 |
| commit | 1ca381fc66c96c124ea66b52a65744c5da41dde6 (patch) | |
| tree | 9f28e5ef53d489946f9eac920fc746787bed78d2 /frontend | |
| parent | inline trivial functions and optionally constant functions (diff) | |
fix curried constructor applications
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1184 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/trans.icl | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/frontend/trans.icl b/frontend/trans.icl index c2fa7bb..8f551e7 100644 --- a/frontend/trans.icl +++ b/frontend/trans.icl @@ -2381,6 +2381,22 @@ transformApplication app=:{app_symb={symb_name,symb_kind = SK_GeneratedFunction = transformFunctionApplication gf_fun_def gf_instance_info gf_cons_args app extra_args ro { ti & ti_fun_heap = ti_fun_heap } transformApplication app [] ro ti = (App app, ti) +transformApplication app=:{app_symb={symb_name,symb_kind = SK_Constructor cons_index},app_args} extra_args + ro ti=:{ti_cons_args,ti_instances,ti_fun_defs,ti_fun_heap} + # {cons_type} = ro.ro_common_defs.[cons_index.glob_module].com_cons_defs.[cons_index.glob_object] + # (app_args,extra_args) = complete_application cons_type.st_arity app_args extra_args + = (build_application { app & app_args = app_args } extra_args, ti) +where + complete_application form_arity args [] + = (args, []) + complete_application form_arity args extra_args + # arity_diff = min (form_arity - length args) (length extra_args) + = (args ++ take arity_diff extra_args, drop arity_diff extra_args) + + build_application app [] + = App app + build_application app extra_args + = App app @ extra_args transformApplication app extra_args ro ti = (App app @ extra_args, ti) |