diff options
| author | Eugene Burmako <xeno.by@gmail.com> | 2013-11-22 22:13:44 +0100 |
|---|---|---|
| committer | Eugene Burmako <xeno.by@gmail.com> | 2013-11-23 14:39:11 +0100 |
| commit | 66577fa6ec07de9769150019deeafb25a1e5422a (patch) | |
| tree | fe6228f2a528c47c7e08d35ff3caa201410a00f3 /test/files/run | |
| parent | 42657a6918ef7d6fd3f36838739ec8a3b64744a3 (diff) | |
| download | scala-66577fa6ec07de9769150019deeafb25a1e5422a.tar.gz scala-66577fa6ec07de9769150019deeafb25a1e5422a.tar.bz2 scala-66577fa6ec07de9769150019deeafb25a1e5422a.zip | |
SI-8001 spurious "pure expression does nothing" warning
`isPureExprForWarningPurposes` doesn’t warn on `()`, but `(): Unit`
leaves it confused. This patch fixes the problem.
The fix is important in the context of the recent split between blackbox
and whitebox macros. Macro engines wrap expansions of blackbox macros
in type ascriptions, so a macro that expands into `()` would actually
produce `(): Unit`, which would trigger a spurious warning. Thanks
@milessabin for spotting this problem!
Diffstat (limited to 'test/files/run')
| -rw-r--r-- | test/files/run/macro-system-properties.check | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/test/files/run/macro-system-properties.check b/test/files/run/macro-system-properties.check index b102d319ec..ea4c5a664a 100644 --- a/test/files/run/macro-system-properties.check +++ b/test/files/run/macro-system-properties.check @@ -14,15 +14,9 @@ scala> object GrabContext { defined object GrabContext scala> object Test { class C(implicit a: Any) { GrabContext.grab } } -<console>:12: warning: a pure expression does nothing in statement position; you may be omitting necessary parentheses - object Test { class C(implicit a: Any) { GrabContext.grab } } - ^ defined object Test scala> object Test { class C(implicit a: Any) { GrabContext.grab } } -<console>:12: warning: a pure expression does nothing in statement position; you may be omitting necessary parentheses - object Test { class C(implicit a: Any) { GrabContext.grab } } - ^ defined object Test scala> |