diff -r 5930d35c976d -r 56fd289398a2 src/Tools/Code/code_haskell.ML
--- a/src/Tools/Code/code_haskell.ML	Fri Sep 16 12:10:43 2011 +1000
+++ b/src/Tools/Code/code_haskell.ML	Fri Sep 16 20:02:35 2011 +0200
@@ -17,13 +17,13 @@
 val target = "Haskell";
 
 val language_extensions =
-    ["EmptyDataDecls", "RankNTypes", "ScopedTypeVariables"];
+  ["EmptyDataDecls", "RankNTypes", "ScopedTypeVariables"];
 
 val language_pragma =
-    "{-# LANGUAGE " ^ commas language_extensions ^ " #-}";
+  "{-# LANGUAGE " ^ commas language_extensions ^ " #-}";
 
 val language_params =
-    space_implode " " (map (prefix "-X") language_extensions);
+  space_implode " " (map (prefix "-X") language_extensions);
 
 open Basic_Code_Thingol;
 open Code_Printer;