diff options
| author | sjakie | 2002-10-30 10:30:25 +0000 |
|---|---|---|
| committer | sjakie | 2002-10-30 10:30:25 +0000 |
| commit | ed43105eed9ce791936faf82975409aea86ab8c1 (patch) | |
| tree | 507c4255c2563853d6b2784237fa4911eacc4801 /frontend/type.icl | |
| parent | - added: DynamicRepresentation_String was removed (diff) | |
Removed at least 4 bugs (maybe more, but i can't remember):
better check for properties of abstract types,
check for linearity of instance types,
uniqueness bug for type synonyms,
kind check for function (arrow) types
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1262 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/type.icl')
| -rw-r--r-- | frontend/type.icl | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/frontend/type.icl b/frontend/type.icl index 4ded1b0..73fb624 100644 --- a/frontend/type.icl +++ b/frontend/type.icl @@ -1864,7 +1864,10 @@ where (th_vars, ts_expr_heap) = clear_dynamics fi_dynamics (prop_type_heaps.th_vars, ts.ts_expr_heap) (fresh_fun_type, ts) = freshSymbolType No cWithoutFreshContextVars ft_with_prop common_defs { ts & ts_type_heaps = { prop_type_heaps & th_vars = th_vars }, ts_expr_heap = ts_expr_heap, ts_td_infos = prop_td_infos, ts_error = ts_error } - (lifted_args, ts) = fresh_non_unique_type_variables fun_lifted [] ts +// (lifted_args, ts) = fresh_non_unique_type_variables fun_lifted [] ts + (lifted_args, ts) = fresh_attributed_type_variables fun_lifted [] ts + + (ts_var_store, ts_type_heaps, ts_var_heap, ts_expr_heap, pre_def_symbols) = fresh_dynamics fi_dynamics (ts.ts_var_store, ts.ts_type_heaps, ts.ts_var_heap, ts.ts_expr_heap, pre_def_symbols) = (pre_def_symbols, |