diff options
| author | sjakie | 2001-09-06 12:47:42 +0000 |
|---|---|---|
| committer | sjakie | 2001-09-06 12:47:42 +0000 |
| commit | 7a13d486a0d986c6f453b46cef3d3adb5cba3001 (patch) | |
| tree | 01ec3e976f150ac7b75673d4bf903885ea4a505d /frontend/checktypes.icl | |
| parent | This commit was generated by cvs2svn to compensate for changes in r751, (diff) | |
bug fix: Improved unification algoritm for kinds
Universally quantified types (parsing and inference)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@753 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checktypes.icl')
| -rw-r--r-- | frontend/checktypes.icl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/frontend/checktypes.icl b/frontend/checktypes.icl index 847f8fa..ea81616 100644 --- a/frontend/checktypes.icl +++ b/frontend/checktypes.icl @@ -267,7 +267,7 @@ checkTypeDef :: !Index !Index !*TypeSymbols !*TypeInfo !*CheckState -> (!*TypeSy checkTypeDef type_index module_index ts=:{ts_type_defs} ti=:{ti_type_heaps} cs=:{cs_error} # (type_def, ts_type_defs) = ts_type_defs![type_index] # {td_name,td_pos,td_args,td_attribute} = type_def - position = newPosition td_name td_pos + # position = newPosition td_name td_pos cs_error = pushErrorAdmin position cs_error (td_attribute, attr_vars, th_attrs) = determine_root_attribute td_attribute td_name.id_name ti_type_heaps.th_attrs (type_vars, (attr_vars, ti_type_heaps, cs)) @@ -287,6 +287,7 @@ where determine_root_attribute TA_Unique name attr_var_heap = (TA_Unique, [], attr_var_heap) + CS_Checked :== 1 CS_Checking :== 0 |