diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-02-20 15:28:07 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-02-20 15:28:07 +0100 |
| commit | 24bd6dcd943f27667970487afc3dbe965172177b (patch) | |
| tree | 52fc358ce41a11c05bd8e9f478882b96ae9f0019 /src/dotty/tools/dotc/config/ScalaSettings.scala | |
| parent | d5e54a59754959e8067687c2b0483a0d3d1204e6 (diff) | |
| download | dotty-24bd6dcd943f27667970487afc3dbe965172177b.tar.gz dotty-24bd6dcd943f27667970487afc3dbe965172177b.tar.bz2 dotty-24bd6dcd943f27667970487afc3dbe965172177b.zip | |
Refined tree typing and started on checks
Function nodes are now no longre typed trees; they are represented instead as blocks: { def $anonfun(…) = …; $anonfun }.
Refined block typing to autiomatically widen some types when they occur as result type of a block.
Started writing check code that enforces Scala's typesystem rules oin typed trees.
Diffstat (limited to 'src/dotty/tools/dotc/config/ScalaSettings.scala')
| -rw-r--r-- | src/dotty/tools/dotc/config/ScalaSettings.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/config/ScalaSettings.scala b/src/dotty/tools/dotc/config/ScalaSettings.scala index a6083d7f7..3b3f22406 100644 --- a/src/dotty/tools/dotc/config/ScalaSettings.scala +++ b/src/dotty/tools/dotc/config/ScalaSettings.scala @@ -97,6 +97,7 @@ class ScalaSettings extends Settings.SettingGroup { val Yhelp = BooleanSetting("-Y", "Print a synopsis of private options.") val browse = PhasesSetting("-Ybrowse", "Browse the abstract syntax tree after") val check = PhasesSetting("-Ycheck", "Check the tree at the end of") + val YcheckTypedTrees = BooleanSetting("-YcheckTypedTrees", "Check all constructured typed trees for type correctness") val Yshow = PhasesSetting("-Yshow", "(Requires -Xshow-class or -Xshow-object) Show after") val Xcloselim = BooleanSetting("-Yclosure-elim", "Perform closure elimination.") val Ycompacttrees = BooleanSetting("-Ycompact-trees", "Use compact tree printer when displaying trees.") |