marking/re1a_test.scala
changeset 281 87b9e3e2c1a7
parent 280 a057dc4457fc
child 282 ec9773fe1dc0
--- a/marking/re1a_test.scala	Tue Oct 29 11:11:44 2019 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,20 +0,0 @@
-
-import scala.concurrent._
-import scala.concurrent.duration._
-import ExecutionContext.Implicits.global
-import scala.language.postfixOps 
-
-
-
-lazy val f = Future {
-  assert(nullable(ZERO) == false)
-  assert(nullable(ONE) == true)
-  assert(nullable(CHAR('a')) == false)
-  assert(nullable(ZERO | ONE) == true)
-  assert(nullable(ZERO | CHAR('a')) == false)
-  assert(nullable(ONE ~  ONE) == true)
-  assert(nullable(ONE ~ CHAR('a')) == false)
-  assert(nullable(STAR(ZERO)) == true)
-}
-
-Await.result(f, 120 second)