diff options
| author | Brian Campbell | 2017-09-28 11:09:24 +0100 |
|---|---|---|
| committer | Brian Campbell | 2017-09-28 11:09:24 +0100 |
| commit | b5969ea7ca7de19ea2b96c48b1765e2c51e5d2af (patch) | |
| tree | 64fdca7e2bedaef9a78e63f5bfbc23a82c4d451b /test/mono/tests | |
| parent | 8bbb538494a3fc17c2c6a2fda2106a3c07ac0ed9 (diff) | |
Refine constructors during monomorphisation
Diffstat (limited to 'test/mono/tests')
| -rw-r--r-- | test/mono/tests | 1 |
1 files changed, 1 insertions, 0 deletions
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 |