diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-03-11 20:45:41 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-03-14 12:05:29 +0100 |
| commit | a3fbe345e17e4ff5d9d02386b73f19ceb69ce524 (patch) | |
| tree | 4873a790a9a0fcbcfd7a441186a61745c2427e6a /compiler/src/dotty/tools/dotc/config/Config.scala | |
| parent | 9d0aa36c879f4bde68e01e0ba9decab21d8fce49 (diff) | |
| download | dotty-a3fbe345e17e4ff5d9d02386b73f19ceb69ce524.tar.gz dotty-a3fbe345e17e4ff5d9d02386b73f19ceb69ce524.tar.bz2 dotty-a3fbe345e17e4ff5d9d02386b73f19ceb69ce524.zip | |
Construct dependent method types from symbols
Also: check validity of method types, so that no
forward references occur.
Diffstat (limited to 'compiler/src/dotty/tools/dotc/config/Config.scala')
| -rw-r--r-- | compiler/src/dotty/tools/dotc/config/Config.scala | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/src/dotty/tools/dotc/config/Config.scala b/compiler/src/dotty/tools/dotc/config/Config.scala index dc56ad8b8..903efd794 100644 --- a/compiler/src/dotty/tools/dotc/config/Config.scala +++ b/compiler/src/dotty/tools/dotc/config/Config.scala @@ -88,6 +88,10 @@ object Config { */ final val checkHKApplications = false + /** If this flag is set, method types are checked for valid parameter references + */ + final val checkMethodTypes = false + /** The recursion depth for showing a summarized string */ final val summarizeDepth = 2 |