main_marking4/knight1_test4.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Thu, 13 Jun 2024 13:13:33 +0100
changeset 491 e2ffe8642f55
parent 463 0315d9983cd0
permissions -rw-r--r--
updated

import M4a._


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)