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/unitype.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/unitype.dcl')
| -rw-r--r-- | frontend/unitype.dcl | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/frontend/unitype.dcl b/frontend/unitype.dcl index 636d0e1..a5716d4 100644 --- a/frontend/unitype.dcl +++ b/frontend/unitype.dcl @@ -54,13 +54,15 @@ tryToMakeUnique :: !Int !*Coercions -> (!Bool, !*Coercions) uniquenessError :: !CoercionPosition !String !*ErrorAdmin -> *ErrorAdmin -liftSubstitution :: !*{! Type} !{# CommonDefs }!{# BOOLVECT } !Int !*TypeVarHeap !*TypeDefInfos -> (*{! Type}, !Int, !*TypeVarHeap, !*TypeDefInfos) +liftSubstitution :: !*{! Type} !{# CommonDefs }!{# BOOLVECT } !Int !*TypeHeaps !*TypeDefInfos -> (*{! Type}, !Int, !*TypeHeaps, !*TypeDefInfos) :: ExpansionState = { es_type_heaps :: !.TypeHeaps , es_td_infos :: !.TypeDefInfos } -class expandType a :: !{# CommonDefs } !{# BOOLVECT } !a !*(!u:{! Type}, !*ExpansionState) -> (!a, !*(!u:{! Type}, !*ExpansionState)) +class expandType a :: !{# CommonDefs } !{# BOOLVECT } !a !*(!u:{! Type}, !*ExpansionState) -> (!Bool, !a, !*(!u:{! Type}, !*ExpansionState)) +//class expandType a :: !{# CommonDefs } !{# BOOLVECT } !a !*(!u:{! Type}, !*ExpansionState) -> (!a, !*(!u:{! Type}, !*ExpansionState)) + instance expandType AType |