main_marking4/knight1_test4.scala
changeset 391 0930e4555b60
child 424 daf561a83ba6
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/main_marking4/knight1_test4.scala	Sun Jan 31 00:18:14 2021 +0000
@@ -0,0 +1,7 @@
+import CW9a._
+
+
+val f_urban = (x:(Int, Int)) => if (x._1 > 3) Some(List(x)) else None
+
+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)