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>
Wed, 09 Nov 2022 20:45:57 +0000
changeset 436 2f17f233cddc
parent 421 864107857d27
child 460 f5c0749858fd
permissions -rw-r--r--
updated jars

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