From 71e48772bf2d5d0f12b221b62f851eca77c2ae7d Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 16 Jan 2008 21:35:55 +0000
Subject: 	Fix SF/1872564 	* interp/compiler.boot (compPretend): Don't
 check for `new' 	compiler semantics. 	(compColonInside): Likewise. 
 * testsuite/compiler/1872564.spad: New.

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

(limited to 'src/testsuite')

diff --git a/src/testsuite/compiler/1872564.spad b/src/testsuite/compiler/1872564.spad
new file mode 100644
index 00000000..505a10b3
--- /dev/null
+++ b/src/testsuite/compiler/1872564.spad
@@ -0,0 +1,7 @@
+++ Contributed by Luke Wagner
+++ Issue: The compiler should allow pretend from Union types.
+)abbrev package TEST Test
+Test() : with
+    foo : Union(Integer, Float) -> SExpression
+  == add
+    foo u == u pretend SExpression
-- 
cgit v1.2.3