# HG changeset patch
# User noschinl
# Date 1316196155 -7200
# Node ID 56fd289398a2792b4a850cc8f6ea5ffb0ab4ce79
# Parent  5930d35c976d19558b51f3fdc46ef383699a45c2
tune indenting

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;