diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-02-11 19:20:46 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-02-11 19:22:56 +0100 |
| commit | 023c7bcb8a582a64455d23363e13ab84707ffc8b (patch) | |
| tree | 6221a9787dc95832b76f7a7e5fcbc45d87338f47 /test/dotc/tests.scala | |
| parent | f1aa075b818cd7ff110ec3316a7713154c15daf8 (diff) | |
| download | dotty-023c7bcb8a582a64455d23363e13ab84707ffc8b.tar.gz dotty-023c7bcb8a582a64455d23363e13ab84707ffc8b.tar.bz2 dotty-023c7bcb8a582a64455d23363e13ab84707ffc8b.zip | |
Added test to TreeChecker that guards against orphan parameters.
Currently, tests fail. The failures I checked are all related to tailcalls.
Not sure whether there are others.
This is a blocker for serialization. Orphan parameters cannot be serialized.
Maybe rethink the position of tailcalls? It looks to me that the repeated trouble it gives us is
more than the effort required to put an efficient tailcall recognition after pattern matching in place.
But I might be wrong.
Diffstat (limited to 'test/dotc/tests.scala')
| -rw-r--r-- | test/dotc/tests.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/dotc/tests.scala b/test/dotc/tests.scala index a9ce5a18a..8b3965e88 100644 --- a/test/dotc/tests.scala +++ b/test/dotc/tests.scala @@ -15,7 +15,7 @@ class tests extends CompilerTest { implicit val defaultOptions = noCheckOptions ++ List( "-Yno-deep-subtypes", - "-Ycheck:resolveSuper,mixin,restoreScopes", + "-Ycheck:tailrec,resolveSuper,mixin,restoreScopes", "-d", "./out/" ) |