aboutsummaryrefslogtreecommitdiff
path: root/src/testsuite/compiler
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-10-09 00:07:30 +0000
committerdos-reis <gdr@axiomatics.org>2008-10-09 00:07:30 +0000
commitf378b0f684ec4c214ee0a277b1adb64bc56413a5 (patch)
tree06dc34124551bfd243621da3248423bd88018a88 /src/testsuite/compiler
parent1fdd3d6b44f1eececda6e23e7f044d911bb9a8eb (diff)
downloadopen-axiom-f378b0f684ec4c214ee0a277b1adb64bc56413a5.tar.gz
SF/1872445 fixed.
* testsuite/compiler/1872445.spad:
Diffstat (limited to 'src/testsuite/compiler')
-rw-r--r--src/testsuite/compiler/1872445.spad7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/testsuite/compiler/1872445.spad b/src/testsuite/compiler/1872445.spad
new file mode 100644
index 00000000..93541dcf
--- /dev/null
+++ b/src/testsuite/compiler/1872445.spad
@@ -0,0 +1,7 @@
+-- Contributed by Luke Wagner
+)abbrev domain TEST Test
+Test(): with
+ foo: Integer -> Integer
+ == add
+ Rep := Record(a: Integer, b: Test)
+ foo i == i