main_marking4/knight1_test4.scala
changeset 463 0315d9983cd0
parent 424 daf561a83ba6
--- a/main_marking4/knight1_test4.scala	Sun Jan 15 10:58:13 2023 +0000
+++ b/main_marking4/knight1_test4.scala	Sat Mar 11 22:01:53 2023 +0000
@@ -3,5 +3,17 @@
 
 val f_urban = (x:(Int, Int)) => if (x._1 > 3) Some(List(x)) else None
 
+
+import scala.concurrent._
+import scala.concurrent.duration._
+import ExecutionContext.Implicits.global
+import scala.language.postfixOps 
+
+lazy val f = Future {
+
 assert(first(List((1,0),(2,0),(3,0),(4,0)), f_urban) == Some(List((4,0))))
 assert(first(List((1,0),(2,0),(3,0)), f_urban) == None)
+}
+
+Await.result(f, 32 second)
+