# 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;