# HG changeset patch
# User haftmann
# Date 1272630180 -7200
# Node ID f412bc3f2454b01cf725fd69abbca74b916b4f13
# Parent  2a9d0ec8c10d1d087f3c2488434bef4e6a3d3d23# Parent  736994daaf0843a35567efe82ed6bf7f11fdd2c0
merged

diff -r 2a9d0ec8c10d -r f412bc3f2454 src/Tools/Code/code_haskell.ML
--- a/src/Tools/Code/code_haskell.ML	Fri Apr 30 13:47:39 2010 +0200
+++ b/src/Tools/Code/code_haskell.ML	Fri Apr 30 14:23:00 2010 +0200
@@ -109,10 +109,9 @@
               let
                 val (p, vars') = print_bind tyvars some_thm NOBR pat vars;
               in semicolon [p, str "->", print_term tyvars some_thm vars' NOBR body] end;
-          in brackify_block fxy
-            (concat [str "case", print_term tyvars some_thm vars NOBR t, str "of", str "{"])
+          in Pretty.block_enclose
+            (concat [str "(case", print_term tyvars some_thm vars NOBR t, str "of", str "{"], str "})")
             (map print_select clauses)
-            (str "}") 
           end
       | print_case tyvars some_thm vars fxy ((_, []), _) =
           (brackify fxy o Pretty.breaks o map str) ["error", "\"empty case\""];