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, 23 Dec 2022 16:52:34 +0000
changeset 456 d076cb2e0b75
parent 424 daf561a83ba6
child 463 0315d9983cd0
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