diff options
| author | johnvg | 2013-04-02 15:26:26 +0000 |
|---|---|---|
| committer | johnvg | 2013-04-02 15:26:26 +0000 |
| commit | d4e397a35be100674c23b2c863210136d5b5d35c (patch) | |
| tree | e314addf40d5e1b8ea31701a80dc2435d7ac2b90 /frontend/checktypes.dcl | |
| parent | in function adjust_type_code, add alternative for TCE_Selector, (diff) | |
add type constraints in constructors and function arguments with universal quantifier (from iTask branch)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2218 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 bb7f26c..1cc34b4 100644 --- a/frontend/checktypes.dcl +++ b/frontend/checktypes.dcl @@ -3,8 +3,8 @@ definition module checktypes import checksupport checkTypeDefs :: !Index !(Optional (CopiedDefinitions, Int)) - !*{#CheckedTypeDef} !*{#ConsDef} !*{#SelectorDef} !*{#DclModule} !*Heaps !*CheckState - -> (!*{#CheckedTypeDef},!*{#ConsDef},!*{#SelectorDef},!*{#DclModule},!*Heaps,!*CheckState) + !*{#CheckedTypeDef} !*{#ConsDef} !*{#SelectorDef} !v:{#ClassDef} !*{#DclModule} !*Heaps !*CheckState + -> (!*{#CheckedTypeDef},!*{#ConsDef},!*{#SelectorDef},!v:{#ClassDef},!*{#DclModule},!*Heaps,!*CheckState) checkFunctionType :: !Index !SymbolType !FunSpecials !u:{#CheckedTypeDef} !v:{#ClassDef} !u:{#DclModule} !*TypeHeaps !*CheckState -> (!SymbolType,!FunSpecials,!u:{#CheckedTypeDef},!v:{#ClassDef},!u:{#DclModule},!*TypeHeaps,!*CheckState) |