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>
Fri, 02 Dec 2022 07:48:03 +0000
changeset 449 d67c5f7177a6
parent 424 daf561a83ba6
child 463 0315d9983cd0
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