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/c-util.boot | |
parent | 7552dba60fd95c427d341e4e9088b1c79b90d223 (diff) | |
download | open-axiom-3453d3a52c3809ffd6b5f80d3ab71dde4b9ba8e1.tar.gz |
Remove $insideCategoryIfTrue. Replace with call to new function dbForCategory?
Diffstat (limited to 'src/interp/c-util.boot')
-rw-r--r-- | src/interp/c-util.boot | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot index 84b6df23..58706ec0 100644 --- a/src/interp/c-util.boot +++ b/src/interp/c-util.boot @@ -1,6 +1,6 @@ -- Copyright (c) 1991-2002, The Numerical Algorithms Group Ltd. -- All rights reserved. --- Copyright (C) 2007-2015, Gabriel Dos Reis. +-- Copyright (C) 2007-2016, Gabriel Dos Reis. -- All rights reserved. -- -- Redistribution and use in source and binary forms, with or without @@ -225,6 +225,10 @@ macro dbSubstituteQueries(db,x) == dbSubstituteAllQuantified(db,x) == applySubst([:dbQuerySubst db,:dbFormalSubst db],x) +++ This predicate holds if this DB is for a category constructor. +dbForCategory? db == + db ~= nil and dbConstructorKind db is 'category + --% $SetCategory == '(SetCategory) |