aboutsummaryrefslogtreecommitdiff
path: root/src/testsuite/interpreter
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-01-31 03:30:43 +0000
committerdos-reis <gdr@axiomatics.org>2009-01-31 03:30:43 +0000
commit8519b9831708f14b575d7896ac5d31a393d547f7 (patch)
treec3b7a33b459280e041c3e777f12db9ca74935ea1 /src/testsuite/interpreter
parent5779d5e238ccce218020d39307674de938a5ad94 (diff)
downloadopen-axiom-8519b9831708f14b575d7896ac5d31a393d547f7.tar.gz
Fix AW/83
* interp/i-coerfn.boot (Dmp2P): Scalar tag is 0 for Polynomial T. * testsuite/interpreter/aw-83.input (a): New.
Diffstat (limited to 'src/testsuite/interpreter')
-rw-r--r--src/testsuite/interpreter/aw-83.input5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/testsuite/interpreter/aw-83.input b/src/testsuite/interpreter/aw-83.input
new file mode 100644
index 00000000..9cba9a25
--- /dev/null
+++ b/src/testsuite/interpreter/aw-83.input
@@ -0,0 +1,5 @@
+--
+-- AW/83
+a := 1::DMP(['x],INT)
+a :: POLY INT -- used to cause trouble
+