diff -r 2f5a4d76756d -r 551d018cbbac progs/lexer.scala
--- a/progs/lexer.scala	Sun Oct 27 11:16:09 2019 +0000
+++ b/progs/lexer.scala	Sun Oct 27 11:31:08 2019 +0000
@@ -160,10 +160,6 @@
       case _ => (SEQ(r1s,r2s), F_SEQ(f1s, f2s))
     }
   }
-  case RECD(x, r1) => {
-    val (r1s, f1s) = simp(r1)
-    (RECD(x, r1s), F_RECD(f1s))
-  }
   case r => (r, F_ID)
 }