diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-08-24 08:40:28 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-08-26 11:13:16 +0200 |
| commit | 86d930bf89aa89e07fdc40ed40431ffea2085090 (patch) | |
| tree | ad66d900cbdcee903d513308ee0875d5ec6abafc /tests/pos | |
| parent | 880f46f2409067f56f2089763fe51dd7565384fe (diff) | |
| download | dotty-86d930bf89aa89e07fdc40ed40431ffea2085090.tar.gz dotty-86d930bf89aa89e07fdc40ed40431ffea2085090.tar.bz2 dotty-86d930bf89aa89e07fdc40ed40431ffea2085090.zip | |
Drop out of date comment
Diffstat (limited to 'tests/pos')
| -rw-r--r-- | tests/pos/gadts2.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/pos/gadts2.scala b/tests/pos/gadts2.scala index 71089c0f7..bdf1c8e8a 100644 --- a/tests/pos/gadts2.scala +++ b/tests/pos/gadts2.scala @@ -10,7 +10,7 @@ object Test { def f[A](t: Term[A], c: Cell[A]): Unit = { t match { - case NumTerm(n) => c.x = MyDouble(1.0) // problem is: this assignment is not type correct, since gadt variable is forgotten + case NumTerm(n) => c.x = MyDouble(1.0) } } |