diff options
| author | sjakie | 2001-06-11 09:30:52 +0000 |
|---|---|---|
| committer | sjakie | 2001-06-11 09:30:52 +0000 |
| commit | 8335b6700d6ddd40d94682b8f5da73343149516e (patch) | |
| tree | 30c81b18e23a6263b4e6f74a0ebb5f1a80a32abf /frontend/type.dcl | |
| parent | bug fix, assign last nodedefs in CollectSharedNodeIdsInRootNode (diff) | |
Bug fix with array updates. Removed redundant code. Adjusted unification algorithm.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@478 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/type.dcl')
| -rw-r--r-- | frontend/type.dcl | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/frontend/type.dcl b/frontend/type.dcl index e28ff04..28d8252 100644 --- a/frontend/type.dcl +++ b/frontend/type.dcl @@ -10,6 +10,8 @@ typeProgram ::!{! Group} !Int !*{# FunDef} !IndexRange !(Optional Bool) !Common addPropagationAttributesToAType :: {#CommonDefs} !AType !*PropState -> *(!AType,Int,!*PropState); +tryToExpand :: !Type !TypeAttribute !{# CommonDefs} !*TypeHeaps -> (!Bool, !Type, !*TypeHeaps) + :: PropState = { prop_type_heaps :: !.TypeHeaps , prop_td_infos :: !.TypeDefInfos @@ -28,6 +30,7 @@ instance unify AType , ti_main_dcl_module_n :: !Int } -class arraySubst type :: !type !u:{!Type} -> (!type, !u:{! Type}) +class arraySubst type :: !type !u:{!Type} -> (!Bool,!type, !u:{! Type}) +//class arraySubst type :: !type !u:{!Type} -> (!type, !u:{! Type}) instance arraySubst AType |