diff options
| author | martinw | 2000-09-13 15:31:50 +0000 |
|---|---|---|
| committer | martinw | 2000-09-13 15:31:50 +0000 |
| commit | 16c929b29bf01b3f78d9511811794e69060783d0 (patch) | |
| tree | 24da3fe1bc6db22f61b8cc51f82b225d0877b182 /frontend/trans.dcl | |
| parent | bug fix: error in existentional types (diff) | |
fixed following bug:
:: Record = {x :: !Int, y :: Int}
Start = { x = undef, y = 2}.y
has been tranformed into
Start = 2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@213 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/trans.dcl')
| -rw-r--r-- | frontend/trans.dcl | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/frontend/trans.dcl b/frontend/trans.dcl index 67fe32c..640fc0a 100644 --- a/frontend/trans.dcl +++ b/frontend/trans.dcl @@ -24,6 +24,4 @@ partitionateFunctions :: !*{# FunDef} ![IndexRange] -> (!*{! Group}, !*{# FunDef convertSymbolType :: !{# CommonDefs} !SymbolType !*{#{# CheckedTypeDef}} !ImportedConstructors !*TypeHeaps !*VarHeap -> (!SymbolType, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*TypeHeaps, !*VarHeap) -// MV .. -addTypesOfDictionaries :: w:(a x:CommonDefs) .[TypeContext] u:[AType] -> v:[AType] | Array .a, [u <= v, w <= x]; -// .. MV
\ No newline at end of file +addTypesOfDictionaries :: !{#CommonDefs} ![TypeContext] ![AType] -> [AType] |