diff options
author | dos-reis <gdr@axiomatics.org> | 2008-01-16 23:17:44 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-01-16 23:17:44 +0000 |
commit | 85ba8eb449cf6b7e8c37b989021dfb803427ae5c (patch) | |
tree | 021fed79b50829c985392c70da9e144a9ec7d3dc /src/testsuite | |
parent | 71e48772bf2d5d0f12b221b62f851eca77c2ae7d (diff) | |
download | open-axiom-85ba8eb449cf6b7e8c37b989021dfb803427ae5c.tar.gz |
Fix SF/1848975
* interp/buildom.boot ($commonCategoryAncestors): New.
($commonCategoryDefaults): Likewise.
(Record0): Use it.
(Union): Likewise.
(Mapping): Likewise.
(Enumeration): Likewise.
* testsuite/algebra/1848975.input: New.
Diffstat (limited to 'src/testsuite')
-rw-r--r-- | src/testsuite/algebra/1848975.input | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/testsuite/algebra/1848975.input b/src/testsuite/algebra/1848975.input new file mode 100644 index 00000000..ef86b122 --- /dev/null +++ b/src/testsuite/algebra/1848975.input @@ -0,0 +1,3 @@ +++ Cotnributed by Luke Wagner +-- Issue: `Built in' domains should be coercible to OutputForm +s : List Record(a:INT, b:FLOAT) := [] |