Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save rpglover64/3865988 to your computer and use it in GitHub Desktop.
Save rpglover64/3865988 to your computer and use it in GitHub Desktop.
From 96800a054a3c296dbe532edfd4050f0e613f8e17 Mon Sep 17 00:00:00 2001
From: Alex Rozenshteyn <rpglover64@gmail.com>
Date: Wed, 10 Oct 2012 10:21:07 -0400
Subject: [PATCH 1/2] Fix documentation bug in fillSep
There were too many escapes.
---
Text/PrettyPrint/Free/Internal.hs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Text/PrettyPrint/Free/Internal.hs b/Text/PrettyPrint/Free/Internal.hs
index f0fc8f0..fc1f4e7 100644
--- a/Text/PrettyPrint/Free/Internal.hs
+++ b/Text/PrettyPrint/Free/Internal.hs
@@ -246,7 +246,7 @@ sep = group . vsep
-- inserts a @line@ and continues doing that for all documents in
-- @xs@.
--
--- > fillSep xs = foldr (\<\/\>) empty xs
+-- > fillSep xs = foldr (</>) empty xs
fillSep :: Foldable f => f (Doc e) -> Doc e
fillSep = fold (</>)
--
1.7.12.1
From 1dae86d313413aee94e6fa5333b39876cb2e90bd Mon Sep 17 00:00:00 2001
From: Alex Rozenshteyn <rpglover64@gmail.com>
Date: Wed, 10 Oct 2012 10:22:53 -0400
Subject: [PATCH 2/2] Fix documentation bug in fillCat.
There were too many escapes.
---
Text/PrettyPrint/Free/Internal.hs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Text/PrettyPrint/Free/Internal.hs b/Text/PrettyPrint/Free/Internal.hs
index fc1f4e7..adb55f1 100644
--- a/Text/PrettyPrint/Free/Internal.hs
+++ b/Text/PrettyPrint/Free/Internal.hs
@@ -300,7 +300,7 @@ cat = group . vcat
-- horizontally with @(\<\>)@ as long as its fits the page, than inserts
-- a @linebreak@ and continues doing that for all documents in @xs@.
--
--- > fillCat xs = foldr (\<\/\/\>) empty xs
+-- > fillCat xs = foldr (<//>) empty xs
fillCat :: Foldable f => f (Doc e) -> Doc e
fillCat = fold (<//>)
--
1.7.12.1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment