Print [] and : as Nil and Cons in expressions.

atomb · Aug 27, 2011 · 61bad35 · 61bad35
1 parent 6f12e0c
commit 61bad35
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Language/Core/Isabelle.hs b/src/Language/Core/Isabelle.hs
@@ -183,7 +183,7 @@ processExp e = processExp' False e
   nest' False = nest 3
   processExp' :: Bool -> Exp -> Doc
   processExp' _ (Var  (_, _, v)) = z2d v
-  processExp' _ (Dcon (_, _, d)) = z2d d
+  processExp' _ (Dcon (_, _, d)) = isaDcon d
   processExp' _ (Lit  {})        = error "Embedding literals not yet supported."
   processExp' b (App  exp1 exp2) =
     parens (processExp' b exp1 <+> processExp' b exp2)