From 8d8fd269a5e798d4951041c2851ee3b7bd33185d Mon Sep 17 00:00:00 2001 From: Guillaume Martres Date: Wed, 23 Dec 2015 23:28:59 +0100 Subject: Fix #1009: Do not forget to skolemize some types --- test/dotc/tests.scala | 1 + 1 file changed, 1 insertion(+) (limited to 'test/dotc/tests.scala') diff --git a/test/dotc/tests.scala b/test/dotc/tests.scala index db5fa8544..d702b7b00 100644 --- a/test/dotc/tests.scala +++ b/test/dotc/tests.scala @@ -172,6 +172,7 @@ class tests extends CompilerTest { @Test def neg_validate = compileFile(negDir, "validate", xerrors = 18) @Test def neg_validateParsing = compileFile(negDir, "validate-parsing", xerrors = 7) @Test def neg_validateRefchecks = compileFile(negDir, "validate-refchecks", xerrors = 2) + @Test def neg_skolemize = compileFile(negDir, "skolemize", xerrors = 2) @Test def run_all = runFiles(runDir) -- cgit v1.2.3