diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-09-12 15:55:04 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-10-02 16:12:28 +0200 |
| commit | 7537cfcfa5ccf47d400e2841b9bc4ff2cac1eada (patch) | |
| tree | cc4534c45bbdd6c2906a14e2c0cec254da538f68 /src/dotty/tools/dotc/typer | |
| parent | 845b689a4a652fa79a7d0621f5ebe15bbf9225c7 (diff) | |
| download | dotty-7537cfcfa5ccf47d400e2841b9bc4ff2cac1eada.tar.gz dotty-7537cfcfa5ccf47d400e2841b9bc4ff2cac1eada.tar.bz2 dotty-7537cfcfa5ccf47d400e2841b9bc4ff2cac1eada.zip | |
Document deviations from inline SIP
Diffstat (limited to 'src/dotty/tools/dotc/typer')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Inliner.scala | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/typer/Inliner.scala b/src/dotty/tools/dotc/typer/Inliner.scala index acf506327..c11001363 100644 --- a/src/dotty/tools/dotc/typer/Inliner.scala +++ b/src/dotty/tools/dotc/typer/Inliner.scala @@ -25,6 +25,13 @@ import util.{Property, SourceFile, NoSource} import collection.mutable import transform.TypeUtils._ +/** Todo wrt inline SIP: + * + * 1. According to Inline SIP, by-name parameters are not hoisted out, but we currently + * do hoist them. + * + * 2. Inline call-by-name parameters are currently ignored. Not sure what the rules should be. + */ object Inliner { import tpd._ |