progs/matcher/cw1.sc
changeset 968 d8d8911a3d6f
parent 967 ce5de01b9632
--- a/progs/matcher/cw1.sc	Fri Oct 11 19:13:00 2024 +0100
+++ b/progs/matcher/cw1.sc	Wed Oct 16 13:14:13 2024 +0100
@@ -122,6 +122,7 @@
 extension (r: Rexp) {
   def ~ (s: Rexp) = SEQ(r, s)
   def % = STAR(r)
+  def | (s: Rexp) = ALT(r, s)
 }