diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-06-08 01:52:52 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-06-08 01:52:52 +0000 |
| commit | a6bb66d5a34279f6b762cedc577155de6259ff30 (patch) | |
| tree | f55617c55134a7ac63b8ca4569e09498042febf3 /src/interp/compiler.boot | |
| parent | f8913372cea43183d427cbe3d00c4967a840329b (diff) | |
| download | open-axiom-a6bb66d5a34279f6b762cedc577155de6259ff30.tar.gz | |
Fix SF/2799773
* interp/c-util.boot (diagnoseUnknownType): Diagnose duplicate
fields in Record or Union, or duplicate constants in Enumeration.
* interp/i-eval.boot (checkRecordOrUnionFields): New.
(evaluateType): Use it.
* testsuite/interpreter/sf-2799773.input: New.
Diffstat (limited to 'src/interp/compiler.boot')
| -rw-r--r-- | src/interp/compiler.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index f14ba01d..817517ef 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -1849,7 +1849,7 @@ modeEqualSubst(m1,m,e) == compCat(form is [functorName,:argl],m,e) == fn:= GETL(functorName,"makeFunctionList") or return nil - diagnoseUknownType(form,e) + diagnoseUnknownType(form,e) [funList,e]:= FUNCALL(fn,form,form,e) catForm:= ["Join",'(SetCategory),["CATEGORY","domain",: |