diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-09-24 19:18:12 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-09-24 19:18:12 +0200 |
| commit | 4825980b0329c884d5b2e4e5377afdd16cefa3ad (patch) | |
| tree | f770de4c25c9082d310124da387aad0bc8163543 /src/dotty/tools/dotc/parsing | |
| parent | 962377ebc23a4c6a2757bee99e6558dd6a93c067 (diff) | |
| download | dotty-4825980b0329c884d5b2e4e5377afdd16cefa3ad.tar.gz dotty-4825980b0329c884d5b2e4e5377afdd16cefa3ad.tar.bz2 dotty-4825980b0329c884d5b2e4e5377afdd16cefa3ad.zip | |
Specially mark functions coming from wildcard expressions
That way, we can check functions for the ordering requirement as well.
We only have to remember that the last parameter of a wildcard function
does not precede its body (because the parameter is in fact part of the body).
Diffstat (limited to 'src/dotty/tools/dotc/parsing')
| -rw-r--r-- | src/dotty/tools/dotc/parsing/Parsers.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/parsing/Parsers.scala b/src/dotty/tools/dotc/parsing/Parsers.scala index 6ba576a34..21eab6501 100644 --- a/src/dotty/tools/dotc/parsing/Parsers.scala +++ b/src/dotty/tools/dotc/parsing/Parsers.scala @@ -973,7 +973,7 @@ object Parsers { else try if (placeholderParams.isEmpty) t - else Function(placeholderParams.reverse, t) + else new WildcardFunction(placeholderParams.reverse, t) finally placeholderParams = saved } |