diff options
| author | johnvg | 2011-04-21 15:11:27 +0000 |
|---|---|---|
| committer | johnvg | 2011-04-21 15:11:27 +0000 |
| commit | f7606c4eb8c45033db41b2ec1fc3e446b375fa87 (patch) | |
| tree | 44cbef3708b26726f93f20a966c853a9ff896d5b /frontend/comparedefimp.dcl | |
| parent | use unique array select and update instead of replace (diff) | |
use strictness annotations in instance member types,
add instance member types in definition modules
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1932 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/comparedefimp.dcl')
| -rw-r--r-- | frontend/comparedefimp.dcl | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/frontend/comparedefimp.dcl b/frontend/comparedefimp.dcl index 0897570..4a58c15 100644 --- a/frontend/comparedefimp.dcl +++ b/frontend/comparedefimp.dcl @@ -7,12 +7,14 @@ import syntax, checksupport compareDefImp :: !Int !DclModule !(Optional {#Index}) !CopiedDefinitions !Int !*IclModule !*{#*{#FunDef}} !*Heaps !*ErrorAdmin -> (!.IclModule,!.{#.{#FunDef}},!.Heaps,!.ErrorAdmin) -symbolTypesCorrespond :: !SymbolType !SymbolType !*TypeHeaps -> (!ComparisionErrorCode, !.TypeHeaps) +compare_specified_and_derived_instance_types :: !SymbolType !SymbolType !*TypeHeaps -> (!ComparisionErrorCode, !*TypeHeaps) :: ComparisionErrorCode :== Int // arg n not ok: n CEC_ResultNotOK :== 0 CEC_Ok :== -1 -CEC_ArgNrNotOk :== -2 -CEC_ContextNotOK :== -3 -CEC_AttrEnvNotOK :== -4 +CEC_NrArgsNotOk :== -2 +CEC_StrictnessOfArgsNotOk :== -3 +CEC_ContextNotOK :== -4 +CEC_AttrEnvNotOK :== -5 +CEC_OkWithFirstMoreStrictness :== -6 // only for compare_specified_and_derived_instance_types |