diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-06-03 19:30:55 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-06-03 19:30:55 +0000 |
| commit | b043245231dca601a9a11ae6ddf4e89cc97c3d6c (patch) | |
| tree | 181018fb7d75ccc6a75371183d427d2de2a51b9e /src/interp/compiler.boot | |
| parent | 745f748d953fa9121b383b02a74970d4baa3473a (diff) | |
| download | open-axiom-b043245231dca601a9a11ae6ddf4e89cc97c3d6c.tar.gz | |
* interp/buildom.boot: Cleanup.
* interp/c-util.boot ($SetCategory): New constant.
* interp/compiler.boot: Use it.
* interp/functor.boot: Likewise.
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 0fd20551..c6410bb7 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -1849,7 +1849,7 @@ compCat(form is [functorName,:argl],m,e) == diagnoseUnknownType(form,e) [funList,e]:= FUNCALL(fn,form,form,e) catForm:= - ["Join",'(SetCategory),["CATEGORY","domain",: + ["Join",$SetCategory,["CATEGORY","domain",: [["SIGNATURE",op,sig] for [op,sig,.] in funList | op~="="]]] --RDJ: for coercion purposes, it necessary to know it's a Set; I'm not --sure if it uses any of the other signatures(see extendsCategoryForm) |