aboutsummaryrefslogtreecommitdiff
path: root/src/testsuite
diff options
context:
space:
mode:
Diffstat (limited to 'src/testsuite')
-rw-r--r--src/testsuite/compiler/1872564.spad7
1 files changed, 7 insertions, 0 deletions
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