diff options
| author | johnvg | 2013-04-02 15:26:26 +0000 |
|---|---|---|
| committer | johnvg | 2013-04-02 15:26:26 +0000 |
| commit | d4e397a35be100674c23b2c863210136d5b5d35c (patch) | |
| tree | e314addf40d5e1b8ea31701a80dc2435d7ac2b90 /frontend/convertDynamics.icl | |
| parent | in function adjust_type_code, add alternative for TCE_Selector, (diff) | |
add type constraints in constructors and function arguments with universal quantifier (from iTask branch)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2218 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/convertDynamics.icl')
| -rw-r--r-- | frontend/convertDynamics.icl | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/frontend/convertDynamics.icl b/frontend/convertDynamics.icl index 2780825..26ab7fc 100644 --- a/frontend/convertDynamics.icl +++ b/frontend/convertDynamics.icl @@ -301,6 +301,9 @@ instance convertDynamics Expression where = (EE, ci) convertDynamics cinp expr=:(NoBind _) ci = (expr,ci) + convertDynamics cinp (DictionariesFunction dictionaries expr expr_type) ci + # (expr,ci) = convertDynamics cinp expr ci + = (DictionariesFunction dictionaries expr expr_type,ci) instance convertDynamics App where convertDynamics cinp app=:{app_args} ci @@ -561,6 +564,7 @@ where # type_fun = App {app_symb = fun_ident, app_args = [], app_info_ptr = nilPtr} = (App {app_symb = cinp_dynamic_representation.dr_type_code_constructor_symb_ident, app_args = [type_fun], app_info_ptr = nilPtr}, ci) + typeConstructor (GTT_Basic basic_type) ci #! predefined_TC_basic_type = case basic_type of @@ -737,7 +741,6 @@ create_dynamic_and_selector_idents common_defs predefined_symbols // otherwise # ({pds_module=pds_module1, pds_def=pds_def1} , predefined_symbols) = predefined_symbols![PD_Dyn_DynamicTemp] # {td_rhs=RecordType {rt_constructor}} = common_defs.[pds_module1].com_type_defs.[pds_def1] - # dynamic_defined_symbol = {glob_module = pds_module1, glob_object = rt_constructor} # dynamic_type = {gi_module = pds_module1, gi_index = pds_def1} |