diff options
Diffstat (limited to 'frontend/checktypes.dcl')
| -rw-r--r-- | frontend/checktypes.dcl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/checktypes.dcl b/frontend/checktypes.dcl index c8d8f13..6c4c192 100644 --- a/frontend/checktypes.dcl +++ b/frontend/checktypes.dcl @@ -2,7 +2,7 @@ definition module checktypes import checksupport, typesupport -checkTypeDefs :: !Bool !*{# CheckedTypeDef} !Index !*{# ConsDef} !*{# SelectorDef} !*{# DclModule} !*VarHeap !*TypeHeaps !*CheckState +checkTypeDefs :: /* TD */ !Bool !Bool !*{# CheckedTypeDef} !Index !*{# ConsDef} !*{# SelectorDef} !*{# DclModule} !*VarHeap !*TypeHeaps !*CheckState -> (!*{# CheckedTypeDef}, !*{# ConsDef}, !*{# SelectorDef}, !*{# DclModule}, !*VarHeap, !*TypeHeaps, !*CheckState) checkSymbolType :: !Index !SymbolType !Specials !u:{# CheckedTypeDef} !v:{# ClassDef} !u:{# DclModule} !*TypeHeaps !*CheckState |