diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-06 23:25:26 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-06 23:25:26 -0800 |
commit | 3453d3a52c3809ffd6b5f80d3ab71dde4b9ba8e1 (patch) | |
tree | 1e9d59a5a26190bb019c6ef123ffb974f94d2d23 /src/interp/compiler.boot | |
parent | 7552dba60fd95c427d341e4e9088b1c79b90d223 (diff) | |
download | open-axiom-3453d3a52c3809ffd6b5f80d3ab71dde4b9ba8e1.tar.gz |
Remove $insideCategoryIfTrue. Replace with call to new function dbForCategory?
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 4825382a..0ff039f3 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -1697,7 +1697,7 @@ compColon([":",f,t],m,e) == t:= t isnt [.,:.] and (t':= assoc(t,getDomainsInScope e)) => t' t = $Category and categoryInstance? f => t - isDomainForm(t,e) and not $insideCategoryIfTrue => + not dbForCategory? db and isDomainForm(t,e) => e := addDomain(db,t,e) t isDomainForm(t,e) or isCategoryForm(t,e) => t |