diff -r ea47c3b8f35f -r dfd0f41f8668 progs/re0.scala
--- a/progs/re0.scala	Thu Aug 03 01:21:19 2017 +0100
+++ b/progs/re0.scala	Mon Sep 18 14:02:46 2017 +0100
@@ -17,7 +17,7 @@
 // some convenience for typing in regular expressions
 implicit def string2rexp(s : String) : Rexp = STR(s)
 
-implicit def RexpOps(r: Rexp) = new {
+implicit def RexpOps(r: Rexp) : Rexp = new {
   def | (s: Rexp) = ALT(r, s)
   def % = STAR(r)
   def %(n: Int) = REP(r, n) 
@@ -27,7 +27,7 @@
   def ~ (s: Rexp) = SEQ(r, s)
 }
 
-implicit def stringOps(s: String) = new {
+implicit def stringOps(s: String) : Rexp = new {
   def | (r: Rexp) = ALT(s, r)
   def | (r: String) = ALT(s, r)
   def % = STAR(s)