diff options
| author | ronny | 2004-03-24 12:43:22 +0000 |
|---|---|---|
| committer | ronny | 2004-03-24 12:43:22 +0000 |
| commit | 6f4202ef78c6899d60c0e0ee6b3e3502c3b99e5c (patch) | |
| tree | 265e2335d2604b4f0b70d908eed1d695d0d1d0bf /frontend/typereify.icl | |
| parent | bug fix numbering of type variables (diff) | |
bug fix for semi-abstract type definitons: generate type function for all type definitions
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1478 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/typereify.icl')
| -rw-r--r-- | frontend/typereify.icl | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/frontend/typereify.icl b/frontend/typereify.icl index 26d22a9..3f4c1cf 100644 --- a/frontend/typereify.icl +++ b/frontend/typereify.icl @@ -55,6 +55,8 @@ instance isTypeSynonym (TypeDef a) | isTypeSynonym a where isTypeSynonym {td_rhs} = isTypeSynonym td_rhs +// Currently type functions are generated for all types, including type +// synonyms. This should be changed to only type synonyms that are abstract. instance isTypeSynonym TypeRhs where isTypeSynonym (AlgType _) = False @@ -63,9 +65,9 @@ instance isTypeSynonym TypeRhs where isTypeSynonym (AbstractType _) = False isTypeSynonym (SynType _) - = False // True + = False isTypeSynonym (AbstractSynType _ _) - = True + = False add_dcl_type_fun_types :: TypeSymbIdent Int *{#DclModule} *VarHeap *SymbolTable -> (*{#DclModule}, *VarHeap, *SymbolTable) |