diff options
| author | sjakie | 2001-09-21 08:08:59 +0000 |
|---|---|---|
| committer | sjakie | 2001-09-21 08:08:59 +0000 |
| commit | 68a9935f0203b73b5edb13a9e3996b8b06d05f48 (patch) | |
| tree | 779071559cd7c17f66dcd4b02949f9805615f34f /frontend/unitype.icl | |
| parent | Added module owners for convertDynamics, type_io and type_io_common (diff) | |
Bug fix: caching combined with omitted type and class definitions
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@800 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/unitype.icl')
| -rw-r--r-- | frontend/unitype.icl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/frontend/unitype.icl b/frontend/unitype.icl index c6d5561..3850467 100644 --- a/frontend/unitype.icl +++ b/frontend/unitype.icl @@ -821,11 +821,12 @@ tryToExpandTypeSyn :: !{#CommonDefs} !{#BOOLVECT} !TypeSymbIdent ![AType] !TypeA tryToExpandTypeSyn defs cons_vars cons_id=:{type_index={glob_object,glob_module}} type_args attribute type_heaps td_infos # {td_rhs,td_args,td_attribute,td_name} = defs.[glob_module].com_type_defs.[glob_object] = case td_rhs of - SynType {at_type} + SynType {at_type} # type_heaps = bindTypeVarsAndAttributes td_attribute attribute td_args type_args type_heaps (_, expanded_type, (_, {es_type_heaps, es_td_infos})) = expandType defs cons_vars at_type ({}, { es_type_heaps = type_heaps, es_td_infos = td_infos }) -> (True, expanded_type, clearBindingsOfTypeVarsAndAttributes attribute td_args es_type_heaps, es_td_infos) + _ -> (False, TA cons_id type_args, type_heaps, td_infos) |