diff options
| author | ronny | 2003-09-16 17:09:02 +0000 |
|---|---|---|
| committer | ronny | 2003-09-16 17:09:02 +0000 |
| commit | db310e27adeafafd5ba19a009508375615e253f9 (patch) | |
| tree | 410773b418cc611108805fd7a002861984f15809 /frontend/type.icl | |
| parent | added function types (diff) | |
removed boolean result from substituteType and substitute: they
could only fail in case of a kind error which is already detected
elsewhere
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1376 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/type.icl')
| -rw-r--r-- | frontend/type.icl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/type.icl b/frontend/type.icl index 9c679f1..7d78c87 100644 --- a/frontend/type.icl +++ b/frontend/type.icl @@ -371,7 +371,7 @@ tryToExpand type=:(TA {type_index={glob_object,glob_module}} type_args) type_att #! type_def = ti_common_defs.[glob_module].com_type_defs.[glob_object] = case type_def.td_rhs of SynType {at_type} - # (_, expanded_type, type_heaps) = substituteType type_def.td_attribute type_attr type_def.td_args type_args at_type type_heaps + # (expanded_type, type_heaps) = substituteType type_def.td_attribute type_attr type_def.td_args type_args at_type type_heaps -> (True, expanded_type, type_heaps) _ -> (False, type, type_heaps) @@ -379,7 +379,7 @@ tryToExpand type=:(TAS {type_index={glob_object,glob_module}} type_args _) type_ #! type_def = ti_common_defs.[glob_module].com_type_defs.[glob_object] = case type_def.td_rhs of SynType {at_type} - # (_, expanded_type, type_heaps) = substituteType type_def.td_attribute type_attr type_def.td_args type_args at_type type_heaps + # (expanded_type, type_heaps) = substituteType type_def.td_attribute type_attr type_def.td_args type_args at_type type_heaps -> (True, expanded_type, type_heaps) _ -> (False, type, type_heaps) |