1.1 --- a/src/Tools/Code/code_haskell.ML Fri Sep 09 06:47:14 2011 +0200
1.2 +++ b/src/Tools/Code/code_haskell.ML Thu Sep 08 12:23:11 2011 +0200
1.3 @@ -446,7 +446,7 @@
1.4 (target, { serializer = serializer, literals = literals,
1.5 check = { env_var = "ISABELLE_GHC", make_destination = I,
1.6 make_command = fn module_name =>
1.7 - "\"$ISABELLE_GHC\" -XRankNTypes -XScopedTypeVariables -odir build -hidir build -stubdir build -e \"\" " ^
1.8 + "\"$ISABELLE_GHC\" -XRankNTypes -XScopedTypeVariables -XEmptyDataDecls -odir build -hidir build -stubdir build -e \"\" " ^
1.9 module_name ^ ".hs" } })
1.10 #> Code_Target.add_tyco_syntax target "fun" (SOME (2, fn print_typ => fn fxy => fn [ty1, ty2] =>
1.11 brackify_infix (1, R) fxy (