aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-10-09 00:11:33 +0000
committerdos-reis <gdr@axiomatics.org>2008-10-09 00:11:33 +0000
commit1e509eda4fa81af3f5954f50345dd3bc88c9252c (patch)
treeda632aaf21e6e804d75c75ad660377074d32e71d
parentf378b0f684ec4c214ee0a277b1adb64bc56413a5 (diff)
downloadopen-axiom-1e509eda4fa81af3f5954f50345dd3bc88c9252c.tar.gz
SF/1872404 fixed.
* testsuite/compiler/1872404.spad: New.
-rw-r--r--src/ChangeLog7
-rw-r--r--src/testsuite/compiler/1872404.spad9
2 files changed, 15 insertions, 1 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index 427f872c..82504bb8 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,7 +1,12 @@
2008-10-08 Gabriel Dos Reis <gdr@cs.tamu.edu>
+ SF/1872404 fixed.
+ * testsuite/compiler/1872404.spad: New.
+
+2008-10-08 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
SF/1872445 fixed.
- * testsuite/compiler/1872445.spad:
+ * testsuite/compiler/1872445.spad: New.
2008-10-08 Gabriel Dos Reis <gdr@cs.tamu.edu>
diff --git a/src/testsuite/compiler/1872404.spad b/src/testsuite/compiler/1872404.spad
new file mode 100644
index 00000000..591bca7b
--- /dev/null
+++ b/src/testsuite/compiler/1872404.spad
@@ -0,0 +1,9 @@
+-- Contributed by Luke Wagner
+)abbrev domain TEST Test
+Test() : with
+ foo : INT -> INT
+ == add
+ Rep := Union(blah, INT)
+ foo i ==
+ i
+