Mercurial Mercurial > hg > lexing / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added Asperti paper
authorChristian Urban <christian.urban@kcl.ac.uk>
Mon, 13 Mar 2023 12:39:03 +0000
changeset 645 304a12cdda6f
parent 644 9f984ff20020
child 647 70c10dc41606
added Asperti paper
Literature/asperti-pointed.pdf file | annotate | diff | comparison | revisions
progs/scala/re-annotated2.sc file | annotate | diff | comparison | revisions 
Binary file Literature/asperti-pointed.pdf has changed
--- a/progs/scala/re-annotated2.sc	Thu Feb 23 12:37:34 2023 +0000
+++ b/progs/scala/re-annotated2.sc	Mon Mar 13 12:39:03 2023 +0000
@@ -211,7 +211,7 @@
       case (_, AZERO) => AZERO
       case (AONE(bs2), r2s) => fuse(bs1 ++ bs2, r2s)
       // needed in order to keep the size down
-      case (AALTS(bs, rs), r2) => AALTS(bs1 ++ bs, rs.map(ASEQ(Nil, _, r2)))
+      //case (AALTS(bs, rs), r2) => AALTS(bs1 ++ bs, rs.map(ASEQ(Nil, _, r2)))
       case (r1s, r2s) => ASEQ(bs1, r1s, r2s)
   }
   // distinctBy deletes copies of the same  "erased" regex
@@ -385,4 +385,4 @@
 println(bsize(bders_simp(internalise(reg2), ("a" * 2).toList)))
 println(bsize(bders_simp(internalise(reg2), ("a" * 3).toList)))
 println(bsize(bders_simp(internalise(reg2), ("a" * 4).toList)))
-println(bsize(bders_simp(internalise(reg2), ("a" * 5).toList)))
+println(bsize(bders_simp(internalise(reg2), ("a" * 50000).toList)))
lexing