afl-material: progs/rev.scala@61a936be50c4 (annotated)

408 5322e1c46890 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	1	def rev(r: Rexp) : Rexp = r match {
5322e1c46890 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	2	case ZERO => ZERO
5322e1c46890 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	3	case ONE => ONE
5322e1c46890 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	4	case CHAR(c) => CHAR(c)
5322e1c46890 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	5	case ALT(r1, r2) => ALT(rev(r1), rev(r2))
5322e1c46890 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	6	case SEQ(r1, r2) => SEQ(rev(r2), rev(r1))
5322e1c46890 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	7	case STAR(r) => STAR(rev(r))
5322e1c46890 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	8	}

author	Christian Urban <christian.urban@kcl.ac.uk>
	Sat, 16 May 2020 17:18:43 +0100
changeset 724	61a936be50c4
parent 408	5322e1c46890
permissions	-rw-r--r--