Mercurial Mercurial > hg > pep-material / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
main_marking3/re_test3a.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Mon, 26 Dec 2022 16:49:53 +0000
changeset 455 86a48bdf82d1
parent 421 864107857d27
child 460 f5c0749858fd
permissions -rw-r--r--
updated

import M3._


assert(flts(Nil) == Nil)
assert(flts(ZERO::ZERO::Nil) == Nil)
assert(flts(ZERO::ONE::ZERO::ONE::Nil) == List(ONE, ONE))
assert(flts(ONE::ALTs(List(ONE))::ONE::Nil) == List(ONE, ONE, ONE))
assert(flts(ONE::ALTs(List(ONE))::ONE::ALTs(List(ONE))::Nil) == List(ONE, ONE, ONE, ONE))
pep-material