# HG changeset patch
# User wenzelm
# Date 1726852030 -7200
# Node ID 46f59511b7bbd4b9f4f28620acccd451525634a3
# Parent  b2eaa342aae52d691bb4b45e1477c040efd906bd
proper Haskell setup, following 406a85a25189;

diff -r b2eaa342aae5 -r 46f59511b7bb src/Tools/Haskell/Haskell.thy
--- a/src/Tools/Haskell/Haskell.thy	Fri Sep 20 18:09:04 2024 +0200
+++ b/src/Tools/Haskell/Haskell.thy	Fri Sep 20 19:07:10 2024 +0200
@@ -244,8 +244,8 @@
   StringLike, STRING (..), TEXT (..), BYTES (..),
   show_bytes, show_text,
 
-  proper_string, enclose, quote, space_implode, commas, commas_quote, cat_lines,
-  space_explode, split_lines, trim_line, trim_split_lines,
+  proper_string, enclose, quote, space_implode, implode_space, commas, commas_quote,
+  cat_lines, space_explode, split_lines, trim_line, trim_split_lines,
 
   getenv, getenv_strict)
 where
@@ -416,6 +416,9 @@
 space_implode :: StringLike a => a -> [a] -> a
 space_implode s = mconcat . separate s
 
+implode_space :: StringLike a => [a] -> a
+implode_space = space_implode " "
+
 commas, commas_quote :: StringLike a => [a] -> a
 commas = space_implode ", "
 commas_quote = commas . map quote