diff options
| author | martijnv | 2000-08-18 11:16:23 +0000 |
|---|---|---|
| committer | martijnv | 2000-08-18 11:16:23 +0000 |
| commit | d21545a441c4237ccd7f0db774827529691d1cf5 (patch) | |
| tree | 460c797dc4053ec531ae75535f284a84a1d24833 /frontend/trans.dcl | |
| parent | restoring revision 1.35, revision 1.36 was unintended (diff) | |
dynamic type bug fixed; changes to support theorem prover
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@206 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/trans.dcl')
| -rw-r--r-- | frontend/trans.dcl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/frontend/trans.dcl b/frontend/trans.dcl index b9d252d..67fe32c 100644 --- a/frontend/trans.dcl +++ b/frontend/trans.dcl @@ -23,3 +23,7 @@ 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 |