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, 26 Apr 2024 17:29:30 +0100
changeset 482 20f02c5ff53f
parent 460 f5c0749858fd
child 491 2a30c7dfe3ed
permissions -rw-r--r--
updated

import M3._


assert(flts(Nil) == Nil)
assert(flts(ZERO::ZERO::Nil) == List(ZERO))
assert(flts(ZERO::ONE::ZERO::ONE::Nil) == List(ZERO))
assert(flts(ONE::ALTs(List(ONE))::ONE::Nil) == List(ALTs(List(ONE))))
assert(flts(ONE::ALTs(List(ONE))::ONE::ALTs(List(ONE))::Nil) == List(ALTs(List(ONE)), ALTs(List(ONE))))
assert(flts(List(CHAR('a'), ONE, ONE, CHAR('b')), Nil) == List(CHAR('a'), CHAR('b')))
assert(flts(List(ONE ~ CHAR('a'), CHAR('b') ~ ONE), Nil) == List(ONE, CHAR('a'), CHAR('b'), ONE))
pep-material