diff options
| author | johnvg | 2007-12-21 12:30:23 +0000 |
|---|---|---|
| committer | johnvg | 2007-12-21 12:30:23 +0000 |
| commit | 68ba63632a740c4e81f0cf73792349b037364a4a (patch) | |
| tree | aebe69962787d84a261711789ac82e55be080a31 | |
| parent | update ft_arity of generated dcl functions, if this field is not updated, fusion (diff) | |
don't mark strict and unboxed arrays as hyperstrict (causes incorrect
observation typeing)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1694 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | frontend/predef.icl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/predef.icl b/frontend/predef.icl index 9419cc9..dd299d0 100644 --- a/frontend/predef.icl +++ b/frontend/predef.icl @@ -533,8 +533,8 @@ buildPredefinedModule support_dynamics pre_def_symbols = make_list_definition PD_OverloadedListType PD_OverloadedConsSymbol PD_OverloadedNilSymbol pre_mod_ident type_var type_var_with_attr NotStrict pre_def_symbols (array_def, pre_def_symbols) = make_type_def PD_LazyArrayType [type_var] (AbstractType cAllBitsClear) pre_def_symbols - (strict_def, pre_def_symbols) = make_type_def PD_StrictArrayType [type_var] (AbstractType cIsHyperStrict) pre_def_symbols - (unboxed_def, pre_def_symbols) = make_type_def PD_UnboxedArrayType [type_var] (AbstractType cIsHyperStrict) pre_def_symbols + (strict_def, pre_def_symbols) = make_type_def PD_StrictArrayType [type_var] (AbstractType cAllBitsClear) pre_def_symbols + (unboxed_def, pre_def_symbols) = make_type_def PD_UnboxedArrayType [type_var] (AbstractType cAllBitsClear) pre_def_symbols (type_defs, cons_defs, pre_def_symbols) = add_tuple_defs pre_mod_ident MaxTupleArity [array_def,strict_def,unboxed_def] [] pre_def_symbols alias_dummy_type = make_identity_fun_type alias_dummy_ident type_var |