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/ChangeLog                       | 5 +++++
 src/testsuite/compiler/1872445.spad | 7 +++++++
 2 files changed, 12 insertions(+)
 create mode 100644 src/testsuite/compiler/1872445.spad

diff --git a/src/ChangeLog b/src/ChangeLog
index 97f2c847..427f872c 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2008-10-08  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	SF/1872445 fixed.
+	* testsuite/compiler/1872445.spad: 
+
 2008-10-08  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	Allow compound argument types in Boot signatures.
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