pep-material: main_marking3/re_test0.scala@b47879225270 (annotated)

494 253d1ccb65de updated Christian Urban <christian.urban@kcl.ac.uk> parents: 426 diff changeset	1
253d1ccb65de updated Christian Urban <christian.urban@kcl.ac.uk> parents: 426 diff changeset	2	def urbanmain() = {
253d1ccb65de updated Christian Urban <christian.urban@kcl.ac.uk> parents: 426 diff changeset	3	import M3._
426 b51467741af2 updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	4
494 253d1ccb65de updated Christian Urban <christian.urban@kcl.ac.uk> parents: 426 diff changeset	5	assert(ALTs.getClass == ALTs.getClass)
253d1ccb65de updated Christian Urban <christian.urban@kcl.ac.uk> parents: 426 diff changeset	6	assert(SEQs.getClass == SEQs.getClass)
253d1ccb65de updated Christian Urban <christian.urban@kcl.ac.uk> parents: 426 diff changeset	7	}
426 b51467741af2 updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	8

author	Christian Urban <christian.urban@kcl.ac.uk>
	Fri, 12 Sep 2025 10:36:07 +0100
changeset 495	b47879225270
parent 494	253d1ccb65de
permissions	-rw-r--r--