1.1 --- a/src/Tools/Code/code_haskell.ML	Tue Jun 01 11:18:51 2010 +0200
     1.2 +++ b/src/Tools/Code/code_haskell.ML	Tue Jun 01 13:52:11 2010 +0200
     1.3 @@ -447,7 +447,7 @@
     1.4              (ps @| print_term vars' NOBR t'')
     1.5          end
     1.6        | NONE => brackify_infix (1, L) fxy
     1.7 -          [print_term vars (INFX (1, L)) t1, str ">>=", print_term vars (INFX (1, X)) t2]
     1.8 +          (print_term vars (INFX (1, L)) t1, str ">>=", print_term vars (INFX (1, X)) t2)
     1.9    in (2, ([c_bind], pretty)) end;
    1.10  
    1.11  fun add_monad target' raw_c_bind thy =
    1.12 @@ -477,11 +477,11 @@
    1.13  val setup =
    1.14    Code_Target.add_target (target, (isar_seri_haskell, literals))
    1.15    #> Code_Target.add_syntax_tyco target "fun" (SOME (2, fn print_typ => fn fxy => fn [ty1, ty2] =>
    1.16 -      brackify_infix (1, R) fxy [
    1.17 +      brackify_infix (1, R) fxy (
    1.18          print_typ (INFX (1, X)) ty1,
    1.19          str "->",
    1.20          print_typ (INFX (1, R)) ty2
    1.21 -      ]))
    1.22 +      )))
    1.23    #> fold (Code_Target.add_reserved target) [
    1.24        "hiding", "deriving", "where", "case", "of", "infix", "infixl", "infixr",
    1.25        "import", "default", "forall", "let", "in", "class", "qualified", "data",