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/postparse.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/postparse.icl')
| -rw-r--r-- | frontend/postparse.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/postparse.icl b/frontend/postparse.icl index b1e3b7c..d47b3d0 100644 --- a/frontend/postparse.icl +++ b/frontend/postparse.icl @@ -1300,7 +1300,7 @@ reorganiseDefinitions icl_module [PD_Type type_def=:{td_ident, td_rhs = Selector cons_arity = new_count - sel_count pc_arg_types = [ ps_field_type \\ {ps_field_type} <- sel_defs ] cons_def = { pc_cons_ident = rec_cons_id, pc_cons_prio = NoPrio, pc_cons_arity = cons_arity, pc_cons_pos = td_pos, - pc_arg_types = pc_arg_types, pc_args_strictness=strictness_from_fields sel_defs,pc_exi_vars = exivars } + pc_arg_types = pc_arg_types, pc_args_strictness=strictness_from_fields sel_defs,pc_context=[], pc_exi_vars = exivars } type_def = { type_def & td_rhs = RecordType {rt_constructor = { ds_ident = rec_cons_id, ds_arity = cons_arity, ds_index = cons_count }, rt_fields = { sel \\ sel <- sel_syms }, rt_is_boxed_record = is_boxed_record}} c_defs = { c_defs & def_types = [type_def : c_defs.def_types], def_constructors = [ParsedConstructorToConsDef cons_def : c_defs.def_constructors], |