--- a/src/Tools/Haskell/Haskell.thy Sun Aug 29 12:04:55 2021 +0200
+++ b/src/Tools/Haskell/Haskell.thy Sun Aug 29 13:16:22 2021 +0200
@@ -228,7 +228,7 @@
show_bytes, show_text,
proper_string, enclose, quote, space_implode, commas, commas_quote, cat_lines,
- space_explode, split_lines, trim_line,
+ space_explode, split_lines, trim_line, trim_split_lines,
getenv, getenv_strict)
where
@@ -401,6 +401,9 @@
cat_lines :: StringLike a => [a] -> a
cat_lines = space_implode "\n"
+trim_split_lines :: StringLike a => a -> [a]
+trim_split_lines = trim_line #> split_lines #> map trim_line
+
{- getenv -}