diff options
author | dos-reis <gdr@axiomatics.org> | 2009-01-31 03:30:43 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-01-31 03:30:43 +0000 |
commit | 8519b9831708f14b575d7896ac5d31a393d547f7 (patch) | |
tree | c3b7a33b459280e041c3e777f12db9ca74935ea1 /src/testsuite/interpreter | |
parent | 5779d5e238ccce218020d39307674de938a5ad94 (diff) | |
download | open-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.input | 5 |
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 + |