1.1 --- a/src/Tools/Code/code_haskell.ML	Fri Sep 16 12:10:43 2011 +1000
     1.2 +++ b/src/Tools/Code/code_haskell.ML	Fri Sep 16 20:02:35 2011 +0200
     1.3 @@ -17,13 +17,13 @@
     1.4  val target = "Haskell";
     1.5  
     1.6  val language_extensions =
     1.7 -    ["EmptyDataDecls", "RankNTypes", "ScopedTypeVariables"];
     1.8 +  ["EmptyDataDecls", "RankNTypes", "ScopedTypeVariables"];
     1.9  
    1.10  val language_pragma =
    1.11 -    "{-# LANGUAGE " ^ commas language_extensions ^ " #-}";
    1.12 +  "{-# LANGUAGE " ^ commas language_extensions ^ " #-}";
    1.13  
    1.14  val language_params =
    1.15 -    space_implode " " (map (prefix "-X") language_extensions);
    1.16 +  space_implode " " (map (prefix "-X") language_extensions);
    1.17  
    1.18  open Basic_Code_Thingol;
    1.19  open Code_Printer;