From 5b8178b74d7dbe161f595d3a2236d8a04789da1c Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Tue, 14 Nov 2017 18:05:57 +0000
Subject: During monomorphisation always refine constructors, not just when
 there's been a case split

---
 test/mono/tests | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'test')

diff --git a/test/mono/tests b/test/mono/tests
index 0825c686..b589afe0 100644
--- a/test/mono/tests
+++ b/test/mono/tests
@@ -2,3 +2,7 @@ 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
+fnreduce -auto_mono
+varmatch -auto_mono
+vector -auto_mono
+union-exist -auto_mono
-- 
cgit v1.2.3