| changeset 281 | 32dfd2ca577b |
| parent 280 | a56a6c28b700 |
| child 282 | 2d290b79fc73 |
| 280:a56a6c28b700 | 281:32dfd2ca577b |
|---|---|
1 import scala.concurrent._ |
|
2 import scala.concurrent.duration._ |
|
3 import ExecutionContext.Implicits.global |
|
4 import scala.language.postfixOps |
|
5 |
|
6 |
|
7 |
|
8 lazy val f = Future { |
|
9 assert(fixpT((x:Int) => if (200000 < x) x else x + 1, 0) == 200001) |
|
10 assert(fixpT((x:Long) => if (20 < x) x else x + 1, 0L) == 21L) |
|
11 } |
|
12 |
|
13 Await.result(f, 90 second) |