diff options
author | dos-reis <gdr@axiomatics.org> | 2008-01-13 23:42:24 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-01-13 23:42:24 +0000 |
commit | ef3e16960ee4d9d1c02c1f63a7f8125a489d1373 (patch) | |
tree | 2bb872902f2b4735c1639e87bcdad50a619d35a1 /src/algebra | |
parent | ef479d62b3218ebc50dd470efd04cb5607a276d1 (diff) | |
download | open-axiom-ef3e16960ee4d9d1c02c1f63a7f8125a489d1373.tar.gz |
Fix SF/1852076
* algebra/domain.spad (reify$Domain): Specify target type of
conversion.
* interp/nrunfast.boot (newLookupInDomain): Tidy.
(newLookupInCategories): Likewise.
* testsuite/interpreter/1852076.input: New.
Diffstat (limited to 'src/algebra')
-rw-r--r-- | src/algebra/domain.spad | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/domain.spad b/src/algebra/domain.spad index f9b21be5..6d30ab18 100644 --- a/src/algebra/domain.spad +++ b/src/algebra/domain.spad @@ -51,7 +51,7 @@ Domain(): Public == Private where outputDomainConstructor(x)$Lisp reify x == - convert(devaluate(x)$Lisp)$Syntax + convert(devaluate(x)$Lisp@SExpression)$Syntax showSummary x == showSummary(x)$Lisp |