1.1 --- a/src/Tools/Code/code_haskell.ML	Mon Aug 30 15:52:09 2010 +0900
     1.2 +++ b/src/Tools/Code/code_haskell.ML	Mon Aug 30 09:28:02 2010 +0200
     1.3 @@ -483,7 +483,7 @@
     1.4    Code_Target.add_target
     1.5      (target, { serializer = isar_serializer, literals = literals,
     1.6        check = { env_var = "EXEC_GHC", make_destination = I,
     1.7 -        make_command = fn ghc => fn p => fn module_name =>
     1.8 +        make_command = fn ghc => fn module_name =>
     1.9            ghc ^ " -fglasgow-exts -odir build -hidir build -stubdir build -e \"\" " ^ module_name ^ ".hs" } })
    1.10    #> Code_Target.add_syntax_tyco target "fun" (SOME (2, fn print_typ => fn fxy => fn [ty1, ty2] =>
    1.11        brackify_infix (1, R) fxy (