diff options
| author | sjakie | 2001-03-20 10:49:22 +0000 |
|---|---|---|
| committer | sjakie | 2001-03-20 10:49:22 +0000 |
| commit | 58620ac73b7537603254d52311d80e710752cd8c (patch) | |
| tree | b4d267c17687cb00982301dd42717683282d01ab /frontend/trans.dcl | |
| parent | no message (diff) | |
Sjaak: fixed inheritance bugs and strictness attributes
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@335 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/trans.dcl')
| -rw-r--r-- | frontend/trans.dcl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/trans.dcl b/frontend/trans.dcl index 5eff949..44930ff 100644 --- a/frontend/trans.dcl +++ b/frontend/trans.dcl @@ -21,7 +21,7 @@ partitionateFunctions :: !*{# FunDef} ![IndexRange] -> (!*{! Group}, !*{# FunDef :: ImportedConstructors :== [Global Index] -convertSymbolType :: !{# CommonDefs} !SymbolType !Int !*{#{# CheckedTypeDef}} !ImportedConstructors !*TypeHeaps !*VarHeap +convertSymbolType :: !Bool !{# CommonDefs} !SymbolType !Int !*{#{# CheckedTypeDef}} !ImportedConstructors !*TypeHeaps !*VarHeap -> (!SymbolType, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*TypeHeaps, !*VarHeap) addTypesOfDictionaries :: !{#CommonDefs} ![TypeContext] ![AType] -> [AType] |