From f378b0f684ec4c214ee0a277b1adb64bc56413a5 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 9 Oct 2008 00:07:30 +0000
Subject: 	SF/1872445 fixed. 	* testsuite/compiler/1872445.spad:

---
 src/testsuite/compiler/1872445.spad | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 src/testsuite/compiler/1872445.spad

(limited to 'src/testsuite/compiler')

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
-- 
cgit v1.2.3