forgotten cons pretty printing

TiarkRompf · Feb 19, 2019 · fb9ef3f · fb9ef3f
1 parent ff003d7
commit fb9ef3f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/popl18/base.scala b/popl18/base.scala
@@ -297,6 +297,7 @@ object Base {
     case Lift(a)    => s"(lift ${pretty(a,env)})"
     case Fst(a)     => s"(car ${pretty(a,env)})"
     case Snd(a)     => s"(cdr ${pretty(a,env)})"
+    case Cons(a,b)  => s"(cons ${pretty(a,env)} ${pretty(b,env)})"
     case Equ(a,b)   => s"(eq? ${pretty(a,env)} ${pretty(b,env)})"
     case Plus(a,b)  => s"(+ ${pretty(a,env)} ${pretty(b,env)})"
     case Minus(a,b) => s"(- ${pretty(a,env)} ${pretty(b,env)})"