| changeset 80910 | 406a85a25189 |
| parent 77703 | 0262155d2743 |
| child 81643 | 0ca0a47235e5 |
--- a/src/Tools/Code/code_haskell.ML Fri Sep 20 13:30:55 2024 +0200 +++ b/src/Tools/Code/code_haskell.ML Fri Sep 20 14:28:13 2024 +0200 @@ -23,7 +23,7 @@ "{-# LANGUAGE " ^ commas language_extensions ^ " #-}"; val language_params = - space_implode " " (map (prefix "-X") language_extensions); + implode_space (map (prefix "-X") language_extensions); open Basic_Code_Symbol; open Basic_Code_Thingol;