diff options
Diffstat (limited to 'frontend/comparedefimp.dcl')
| -rw-r--r-- | frontend/comparedefimp.dcl | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/frontend/comparedefimp.dcl b/frontend/comparedefimp.dcl index 2c099d2..be5210b 100644 --- a/frontend/comparedefimp.dcl +++ b/frontend/comparedefimp.dcl @@ -7,4 +7,12 @@ import syntax, checksupport compareDefImp :: !{#Int} !{!FunctionBody} !Int !{#CheckedTypeDef} !DclModule !*IclModule !*Heaps !*ErrorAdmin -> (!.IclModule,!.Heaps,!.ErrorAdmin) -symbolTypesCorrespond :: !SymbolType !SymbolType !*TypeHeaps -> (!Bool, !.TypeHeaps) +symbolTypesCorrespond :: !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 |