aboutsummaryrefslogtreecommitdiff
path: root/src/testsuite/compiler
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 /src/testsuite/compiler
parentf378b0f684ec4c214ee0a277b1adb64bc56413a5 (diff)
downloadopen-axiom-1e509eda4fa81af3f5954f50345dd3bc88c9252c.tar.gz
SF/1872404 fixed.
* testsuite/compiler/1872404.spad: New.
Diffstat (limited to 'src/testsuite/compiler')
-rw-r--r--src/testsuite/compiler/1872404.spad9
1 files changed, 9 insertions, 0 deletions
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
+