diff options
| author | johnvg | 2011-04-14 15:17:55 +0000 |
|---|---|---|
| committer | johnvg | 2011-04-14 15:17:55 +0000 |
| commit | b6e2db84bdc478e18310203507f90eb4b37a0fb8 (patch) | |
| tree | 318ef5dfecf8526f90b7643005fd89900f10781a /frontend/checktypes.dcl | |
| parent | replace field dcl_macro_conversions by dcl_has_macro_conversions of type DclM... (diff) | |
use type FunSpecials instead of Specials for specials of functions
(to have fewer differences with the haskell frontend branch)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1921 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checktypes.dcl')
| -rw-r--r-- | frontend/checktypes.dcl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/checktypes.dcl b/frontend/checktypes.dcl index 65bd89d..597f832 100644 --- a/frontend/checktypes.dcl +++ b/frontend/checktypes.dcl @@ -5,8 +5,8 @@ import checksupport, typesupport checkTypeDefs :: !Index !(Optional (CopiedDefinitions, Int)) !*{# CheckedTypeDef} !*{# ConsDef} !*{# SelectorDef} !*{# DclModule} !*Heaps !*CheckState -> (!*{# CheckedTypeDef}, !*{# ConsDef}, !*{# SelectorDef}, !*{# DclModule}, !*Heaps, !*CheckState) -checkFunctionType :: !Index !SymbolType !Specials !u:{# CheckedTypeDef} !v:{# ClassDef} !u:{# DclModule} !*TypeHeaps !*CheckState - -> (!SymbolType, !Specials, !u:{# CheckedTypeDef}, !v:{# ClassDef}, !u:{# DclModule}, !*TypeHeaps, !*CheckState) +checkFunctionType :: !Index !SymbolType !FunSpecials !u:{#CheckedTypeDef} !v:{#ClassDef} !u:{#DclModule} !*TypeHeaps !*CheckState + -> (!SymbolType, !FunSpecials,!u:{#CheckedTypeDef},!v:{#ClassDef},!u:{#DclModule},!*TypeHeaps,!*CheckState) checkMemberType :: !Index !SymbolType !u:{# CheckedTypeDef} !v:{# ClassDef} !u:{# DclModule} !*TypeHeaps !*CheckState -> (!SymbolType, !u:{# CheckedTypeDef}, !v:{# ClassDef}, !u:{# DclModule}, !*TypeHeaps, !*CheckState) |