diff options
| author | martinw | 2001-05-18 16:33:49 +0000 |
|---|---|---|
| committer | martinw | 2001-05-18 16:33:49 +0000 |
| commit | 4b7b73c86bfeba29a09340ec9a6d7bd102a16c79 (patch) | |
| tree | 1740f5358af082e87f102dc004f71dce44e41ef7 /frontend/checktypes.icl | |
| parent | gBytesLeft = 0 instead of NULL (diff) | |
revision 1.31 was stupid nonsense
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@435 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checktypes.icl')
| -rw-r--r-- | frontend/checktypes.icl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/frontend/checktypes.icl b/frontend/checktypes.icl index 1c189af..2000dee 100644 --- a/frontend/checktypes.icl +++ b/frontend/checktypes.icl @@ -330,6 +330,8 @@ where = TA { type_cons & type_arity = type_arity + length type_args } (cons_args ++ type_args) simplify_type_appl (TV tv) type_args = CV tv :@: type_args + simplify_type_appl TE t2 + = TE expand module_index type expst = (type, expst) @@ -680,7 +682,7 @@ checkOpenAType mod_index scope dem_attr type=:{at_type = arg_type --> result_typ (new_attr, oti, cs) = newAttribute dem_attr "-->" at_attribute oti cs = ({ type & at_type = arg_type --> result_type, at_attribute = new_attr }, (ots, oti, cs)) checkOpenAType mod_index scope dem_attr type=:{at_type = CV tv :@: types, at_attribute} (ots, oti, cs) - # (cons_var, _, (oti, cs)) = checkTypeVar scope DAK_None tv at_attribute (oti, cs) + # (cons_var, _, (oti, cs)) = checkTypeVar scope DAK_None tv TA_Multi (oti, cs) (types, (ots, oti, cs)) = mapSt (checkOpenAType mod_index scope DAK_None) types (ots, oti, cs) (new_attr, oti, cs) = newAttribute dem_attr ":@:" at_attribute oti cs = ({ type & at_type = CV cons_var :@: types, at_attribute = new_attr }, (ots, oti, cs)) |