Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
braced needed in layout-insensitive syntax
authorhaftmann
Wed, 14 Jul 2010 17:16:02 +0200
changeset 37832 f8fcfc678280
parent 37831 fa3a2e35c4f1
child 37833 1381665d9550
braced needed in layout-insensitive syntax
src/Tools/Code/code_haskell.ML file | annotate | diff | comparison | revisions 
--- 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'
isabelle