diff options
author | dos-reis <gdr@axiomatics.org> | 2008-04-13 06:22:18 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-04-13 06:22:18 +0000 |
commit | c5659a8580de5b531891c6703465c84add9fbb1b (patch) | |
tree | 60966651b64626e365cd158a89cd41a9028ea8a9 /src/interp/br-con.boot | |
parent | 3c748c0ab1f5119528ae3ae41cc144371b1b375c (diff) | |
download | open-axiom-c5659a8580de5b531891c6703465c84add9fbb1b.tar.gz |
Various cleanups.
Diffstat (limited to 'src/interp/br-con.boot')
-rw-r--r-- | src/interp/br-con.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/br-con.boot b/src/interp/br-con.boot index 6300c40d..927e8256 100644 --- a/src/interp/br-con.boot +++ b/src/interp/br-con.boot @@ -683,7 +683,7 @@ dbMkEvalable form == --like mkEvalable except that it does NOT quote domains --does not do "loadIfNecessary" [op,:.] := form - kind := GETDATABASE(op,'CONSTRUCTORKIND) + kind := getConstructorKindFromDB op kind = 'category => form mkEvalable form @@ -865,7 +865,7 @@ dbDocTable conform == originsInOrder conform == --domain = nil or set to live domain --from dcCats [con,:argl] := conform - GETDATABASE(con,'CONSTRUCTORKIND) = 'category => + getConstructorKindFromDB con = "category" => ASSOCLEFT ancestorsOf(conform,nil) acc := ASSOCLEFT parentsOf con for x in acc repeat @@ -1130,7 +1130,7 @@ dbShowConsDoc1(htPage,conform,indexOrNil) == doc := [getConstructorDocumentation conname] signature := getConstructorSignature conname sig := - GETDATABASE(conname,'CONSTRUCTORKIND) = 'category => + getConstructorKindFromDB conname = "category" => SUBLISLIS(conargs,$TriangleVariableList,signature) sublisFormal(conargs,signature) htSaySaturn '"\begin{description}" |