diff options
author | Martin Odersky <odersky@gmail.com> | 2014-10-13 12:05:41 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-10-13 12:05:41 +0200 |
commit | a8124506dc4aee451cadde7f07d1e0a1ebdab108 (patch) | |
tree | 10f96ae41940d64f77d7bb0f33b9bec70f432c43 /test | |
parent | 0876deed1d725b0350b558365179252b024c2d44 (diff) | |
download | dotty-a8124506dc4aee451cadde7f07d1e0a1ebdab108.tar.gz dotty-a8124506dc4aee451cadde7f07d1e0a1ebdab108.tar.bz2 dotty-a8124506dc4aee451cadde7f07d1e0a1ebdab108.zip |
More refined printing options
When using RefinedPrinter we now have a choice whether when
printing a definition tree such as
def foo(x: T): U
we print the parameter and result type info found in the tree or in the symbol.
Previously, we printed the sym info when after typer and the tree info before.
This turns out to be too inflexble. With the patch, we print the sym info if
option -Yprint-syms is set, and the tree info otherwise.
Also, align -Yno-deep-subtypes from camelCase to standard hyphenated option notation.
Tweak where unique ids are printed.
Diffstat (limited to 'test')
-rw-r--r-- | test/dotc/tests.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/dotc/tests.scala b/test/dotc/tests.scala index dccd96eed..614dc9527 100644 --- a/test/dotc/tests.scala +++ b/test/dotc/tests.scala @@ -14,13 +14,13 @@ class tests extends CompilerTest { "-pagewidth", "160") implicit val defaultOptions = noCheckOptions ++ List( - "-YnoDeepSubtypes", + "-Yno-deep-subtypes", "-Ycheck:patternMatcher,gettersSetters,constructors" ) val twice = List("#runs", "2", "-YnoDoubleBindings") val doErase = List("-Ystop-before:terminal") - val allowDeepSubtypes = defaultOptions diff List("-YnoDeepSubtypes") + val allowDeepSubtypes = defaultOptions diff List("-Yno-deep-subtypes") val posDir = "./tests/pos/" val negDir = "./tests/neg/" |