diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-12-01 12:32:59 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-12-06 16:09:19 +0100 |
| commit | df00eb195d86a3d1425029f2f2436029a757ee5d (patch) | |
| tree | 8ecba17ee7babf69f3dbe18f960c21abb95a412d /test | |
| parent | 4c8db87e499e3a0f56a89ed0824b27230db32997 (diff) | |
| download | dotty-df00eb195d86a3d1425029f2f2436029a757ee5d.tar.gz dotty-df00eb195d86a3d1425029f2f2436029a757ee5d.tar.bz2 dotty-df00eb195d86a3d1425029f2f2436029a757ee5d.zip | |
Disallow existentially bound parameters as type parameters
Done in order to keep the basics as simple as possible.
Treating existentially bound parameters as still instantiatable type
parameters does not seem to add anything fundamental, and makes the
type system less regular.
Diffstat (limited to 'test')
| -rw-r--r-- | test/dotc/tests.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/dotc/tests.scala b/test/dotc/tests.scala index 0ac043daf..de4705dac 100644 --- a/test/dotc/tests.scala +++ b/test/dotc/tests.scala @@ -158,6 +158,7 @@ class tests extends CompilerTest { @Test def neg_moduleSubtyping = compileFile(negDir, "moduleSubtyping", xerrors = 4) @Test def neg_escapingRefs = compileFile(negDir, "escapingRefs", xerrors = 2) @Test def neg_instantiateAbstract = compileFile(negDir, "instantiateAbstract", xerrors = 8) + @Test def neg_partialApplications = compileFile(negDir, "partialApplications", xerrors = 3) @Test def neg_selfInheritance = compileFile(negDir, "selfInheritance", xerrors = 6) @Test def neg_selfreq = compileFile(negDir, "selfreq", xerrors = 3) @Test def neg_singletons = compileFile(negDir, "singletons", xerrors = 8) |