450 ); |
450 ); |
451 |
451 |
452 val setup = |
452 val setup = |
453 Code_Target.add_target |
453 Code_Target.add_target |
454 (target, { serializer = serializer, literals = literals, |
454 (target, { serializer = serializer, literals = literals, |
455 check = { env_var = "EXEC_GHC", make_destination = I, |
455 check = { env_var = "ISABELLE_GHC", make_destination = I, |
456 make_command = fn module_name => |
456 make_command = fn module_name => |
457 "\"$EXEC_GHC\" -fglasgow-exts -odir build -hidir build -stubdir build -e \"\" " ^ |
457 "\"$ISABELLE_GHC\" -fglasgow-exts -odir build -hidir build -stubdir build -e \"\" " ^ |
458 module_name ^ ".hs" } }) |
458 module_name ^ ".hs" } }) |
459 #> Code_Target.add_tyco_syntax target "fun" (SOME (2, fn print_typ => fn fxy => fn [ty1, ty2] => |
459 #> Code_Target.add_tyco_syntax target "fun" (SOME (2, fn print_typ => fn fxy => fn [ty1, ty2] => |
460 brackify_infix (1, R) fxy ( |
460 brackify_infix (1, R) fxy ( |
461 print_typ (INFX (1, X)) ty1, |
461 print_typ (INFX (1, X)) ty1, |
462 str "->", |
462 str "->", |