diff options
author | Som Snytt <som.snytt@gmail.com> | 2014-02-23 02:37:09 -0800 |
---|---|---|
committer | Som Snytt <som.snytt@gmail.com> | 2014-05-05 04:45:17 -0700 |
commit | b0fe13505faf7c93093b4e9dc2813259e2f70094 (patch) | |
tree | 7186be7ac117d1f6303ebde71a4ed14142057515 /test/files/neg/t8325.scala | |
parent | 251616a107f4255203e318c9f6342f774d25e66d (diff) | |
download | scala-b0fe13505faf7c93093b4e9dc2813259e2f70094.tar.gz scala-b0fe13505faf7c93093b4e9dc2813259e2f70094.tar.bz2 scala-b0fe13505faf7c93093b4e9dc2813259e2f70094.zip |
SI-8325 Accept infix star type outside patterns
This is a follow-up to SI-5702 which enabled use of
`*` in infix notation in patterns.
Most of the work is in distinguishing infix from a
sequence pattern.
Also, do not take backticked star as the repeated
parameter marker in postfix position. That is,
`Int``*``` is not `Int*` -- I hope double-tick
renders as tick. There is not a special use case
except that backticks mean "I am an identifier, as
is, and not a keyword."
Diffstat (limited to 'test/files/neg/t8325.scala')
-rw-r--r-- | test/files/neg/t8325.scala | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/files/neg/t8325.scala b/test/files/neg/t8325.scala new file mode 100644 index 0000000000..3813797e83 --- /dev/null +++ b/test/files/neg/t8325.scala @@ -0,0 +1,11 @@ + +trait Test { + type OK[A,B] = A Tuple2 B + type *[A,B] = A Tuple2 B + def f(is: Int*, s: String) = ??? + def g(is: Int * String, s: String) = ??? // OK + def h(is: Int * String *, s: String) = ??? + // won't recover from following + //def i(is: Int OK) = ??? //error: identifier expected but ')' found. + def j(is: Int* = 5) = ??? +} |