From d750f3e9256bba43d2eca33f0a4e9ad52e33e72e Mon Sep 17 00:00:00 2001 From: Brian Campbell Date: Thu, 25 Apr 2019 17:12:37 +0100 Subject: Get basic constructor monomorphisation working again - updates for type checking changes - handle a little more pattern matching in constant propagation - fix bug where false positive warnings were produced - ensure bitvectors in tuples are always monomorphised (to catch the case where the bitvectors only appear alone with a constant size) --- test/mono/not-yet/union-exist | 1 - 1 file changed, 1 deletion(-) delete mode 100644 test/mono/not-yet/union-exist (limited to 'test/mono/not-yet/union-exist') diff --git a/test/mono/not-yet/union-exist b/test/mono/not-yet/union-exist deleted file mode 100644 index ebb89267..00000000 --- a/test/mono/not-yet/union-exist +++ /dev/null @@ -1 +0,0 @@ -union-exist.sail -auto_mono -- cgit v1.2.3