diff options
author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-01-28 15:38:52 +0100 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-02-03 15:10:37 +0100 |
commit | 19570936f689af76bc8f43d8084697393f244083 (patch) | |
tree | c2c0c37e511976439d78ea0d0a6b75dfaecbb80c /tests/pos/tailcall/i321.scala | |
parent | 3f7b5d26cc89bd372773bcd121c758ca34eb4503 (diff) | |
download | dotty-19570936f689af76bc8f43d8084697393f244083.tar.gz dotty-19570936f689af76bc8f43d8084697393f244083.tar.bz2 dotty-19570936f689af76bc8f43d8084697393f244083.zip |
Addressing review comments of #336
Diffstat (limited to 'tests/pos/tailcall/i321.scala')
-rw-r--r-- | tests/pos/tailcall/i321.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/pos/tailcall/i321.scala b/tests/pos/tailcall/i321.scala index 33b3075de..595e13910 100644 --- a/tests/pos/tailcall/i321.scala +++ b/tests/pos/tailcall/i321.scala @@ -3,7 +3,7 @@ import scala.annotation.tailrec * Illustrates that abstracting over type arguments without triggering Ycheck failure is tricky * * go1.loop refers to type parameter of i321, and captures value f - * if goo1.loop will abstract over T it will need to cast f or will trigger a Ycheck failure. + * if go1.loop will abstract over T it will need to cast f or will trigger a Ycheck failure. * One could decide to not abstract over type parameters in tail calls, but this leads us to go2 example * * In go2 we should abstract over i321.T, as we need to change it in recursive call. |