progs/app04.scala
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Mon, 20 Jul 2020 10:06:43 +0100
changeset 735 fc2e3609d5e5
parent 520 2849c305b12d
permissions -rw-r--r--
updatd
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
288
39aeca14af8c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     1
abstract class Val
39aeca14af8c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     2
case object Empty extends Val
356
d9c784c71305 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 288
diff changeset
     3
case class Chr(c: Char) extends Val
520
2849c305b12d updated
cu
parents: 356
diff changeset
     4
case class Sequ(v1: Val, v2: Val) extends Val
288
39aeca14af8c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     5
case class Left(v: Val) extends Val
39aeca14af8c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     6
case class Right(v: Val) extends Val
39aeca14af8c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     7
case class Stars(vs: List[Val]) extends Val
356
d9c784c71305 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 288
diff changeset
     8
case class Rec(x: String, v: Val) extends Val