From b5969ea7ca7de19ea2b96c48b1765e2c51e5d2af Mon Sep 17 00:00:00 2001 From: Brian Campbell Date: Thu, 28 Sep 2017 11:09:24 +0100 Subject: Refine constructors during monomorphisation --- test/mono/tests | 1 + 1 file changed, 1 insertion(+) (limited to 'test/mono/tests') diff --git a/test/mono/tests b/test/mono/tests index 425230da..0825c686 100644 --- a/test/mono/tests +++ b/test/mono/tests @@ -1,3 +1,4 @@ fnreduce -mono-split fnreduce.sail:43:x varmatch -mono-split varmatch.sail:7:x vector -mono-split vector.sail:7:sel +union-exist -mono-split union-exist.sail:9:v -- cgit v1.2.3