# HG changeset patch
# User haftmann
# Date 1279120562 -7200
# Node ID f8fcfc678280d4005110cd07636f6387ec09f66c
# Parent  fa3a2e35c4f11db1c2bff4c02180261ab5e61b1d
braced needed in layout-insensitive syntax

diff -r fa3a2e35c4f1 -r f8fcfc678280 src/Tools/Code/code_haskell.ML
--- a/src/Tools/Code/code_haskell.ML	Wed Jul 14 17:15:58 2010 +0200
+++ b/src/Tools/Code/code_haskell.ML	Wed Jul 14 17:16:02 2010 +0200
@@ -439,7 +439,7 @@
           |>> (fn p => semicolon [p, str "<-", print_term vars NOBR t])
       | print_monad print_bind print_term (SOME ((bind, _), false), t) vars = vars
           |> print_bind NOBR bind
-          |>> (fn p => semicolon [str "let", p, str "=", print_term vars NOBR t]);
+          |>> (fn p => semicolon [str "let", str "{", p, str "=", print_term vars NOBR t, str "}"]);
     fun pretty _ [c_bind'] print_term thm vars fxy [(t1, _), (t2, _)] = case dest_bind t1 t2
      of SOME (bind, t') => let
           val (binds, t'') = implode_monad c_bind' t'