--- a/src/Tools/Code/code_haskell.ML Sun Mar 13 13:57:20 2011 +0100
+++ b/src/Tools/Code/code_haskell.ML Sun Mar 13 14:51:38 2011 +0100
@@ -453,8 +453,9 @@
Code_Target.add_target
(target, { serializer = serializer, literals = literals,
check = { env_var = "EXEC_GHC", make_destination = I,
- make_command = fn ghc => fn module_name =>
- ghc ^ " -fglasgow-exts -odir build -hidir build -stubdir build -e \"\" " ^ module_name ^ ".hs" } })
+ make_command = fn module_name =>
+ "\"$EXEC_GHC\" -fglasgow-exts -odir build -hidir build -stubdir build -e \"\" " ^
+ module_name ^ ".hs" } })
#> Code_Target.add_tyco_syntax target "fun" (SOME (2, fn print_typ => fn fxy => fn [ty1, ty2] =>
brackify_infix (1, R) fxy (
print_typ (INFX (1, X)) ty1,