aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--frontend/typereify.icl6
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)