diff options
| author | martinw | 2001-05-04 15:18:05 +0000 |
|---|---|---|
| committer | martinw | 2001-05-04 15:18:05 +0000 |
| commit | 0162ee8a74144a6c9f76eb14fad85f70101e6063 (patch) | |
| tree | 1b4bd8fd56937e07722401e43f2f61a078e4dc09 /frontend/comparedefimp.dcl | |
| parent | bugfix: compiler crash at (diff) | |
satisfying John's pervert and bizarre wishes for better error messages
concerning specified instance types, that by far go beyond the standards
of Clean 1.3.3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@392 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
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 |