# HG changeset patch
# User haftmann
# Date 1272642829 -7200
# Node ID 663bb2bc1e72de930e15131eeb414f7bf8603a83
# Parent  6e8a1c5eb0a8c8c323b9eba1b682a4d28c552d44# Parent  f412bc3f2454b01cf725fd69abbca74b916b4f13
merged

diff -r 6e8a1c5eb0a8 -r 663bb2bc1e72 src/Tools/Code/code_haskell.ML
--- a/src/Tools/Code/code_haskell.ML	Fri Apr 30 14:58:21 2010 +0200
+++ b/src/Tools/Code/code_haskell.ML	Fri Apr 30 17:53:49 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\""];