diff options
| author | martijnv | 2001-03-08 13:36:13 +0000 |
|---|---|---|
| committer | martijnv | 2001-03-08 13:36:13 +0000 |
| commit | c89165af82198aa11387922a2cdecfd41f784402 (patch) | |
| tree | 1cf6981c0081b0acbb19fd32684e05a6fd1ecb36 /frontend/checktypes.dcl | |
| parent | bugfix; selecting a value from a DynamicTemp still used the tuple (diff) | |
Normalizing
- type variables
- passing a list of directly imported dcl modules by an icl modules
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@321 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
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 |