diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-09-20 04:30:17 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-09-20 04:30:17 +0000 |
| commit | a50eb601b4dc0699cde4084584763798ee8dab02 (patch) | |
| tree | 540011a51f4396a3362cb066445c2fd250659b54 /src/interp/database.boot | |
| parent | 0c55ed614187758d4e0a670fc4f031d5f4ad7e4e (diff) | |
| download | open-axiom-a50eb601b4dc0699cde4084584763798ee8dab02.tar.gz | |
* boot/tokens.boot: "has" is not a keyword.
* boot/ast.boot (bfHas): New.
(bfReduce): Use "has" instead "has".
(bfReduceCollect): Likewise.
(bfReName): Likewise.
(bfElt): Likewise.
(bfSetelt): Likewise.
* boot/parser.boot (bpSexpKey): Likewise.
(bpPrefixOperator): Likewise.
(bpInfixOperator): Likewise.
(bpThetaName): Likewise.
(bpIs): Parse "has" expressions.
* boot/pile.boot (shoePileCoagulate): Likewise.
* interp/: Fix unquoted use of "has".
* interp/interop.boot (has): Remove.
Diffstat (limited to 'src/interp/database.boot')
| -rw-r--r-- | src/interp/database.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/database.boot b/src/interp/database.boot index 1f4b8c0f..622f1051 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -395,7 +395,7 @@ isDomainSubst u == main where signatureTran pred == atom pred => pred - pred is ['has,D,catForm] and isCategoryForm(catForm,$e) => + pred is ["has",D,catForm] and isCategoryForm(catForm,$e) => ['ofCategory,D,catForm] [signatureTran p for p in pred] |