Commit 2daaaaf6 authored by John van Groningen's avatar John van Groningen
Browse files

handle NewType in function isTypeSynonym

parent db84289c
...@@ -67,6 +67,8 @@ instance isTypeSynonym TypeRhs where ...@@ -67,6 +67,8 @@ instance isTypeSynonym TypeRhs where
= False = False
isTypeSynonym (AbstractSynType _ _) isTypeSynonym (AbstractSynType _ _)
= False = False
isTypeSynonym (NewType _)
= False
add_dcl_type_fun_types :: TypeSymbIdent Int *{#DclModule} *VarHeap *SymbolTable add_dcl_type_fun_types :: TypeSymbIdent Int *{#DclModule} *VarHeap *SymbolTable
-> (*{#DclModule}, *VarHeap, *SymbolTable) -> (*{#DclModule}, *VarHeap, *SymbolTable)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment