[ ux ] Don't export name prf, as it's widely used and warned about (#…

…17)
Z-snails · Aug 9, 2024 · 572ba6e · 572ba6e
1 parent df6049e
commit 572ba6e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/Text/PrettyPrint/Bernardy/Combinators.idr b/src/Text/PrettyPrint/Bernardy/Combinators.idr
@@ -238,7 +238,7 @@ export
 sep' : {opts : _} -> List (Doc opts) -> Doc opts
 sep' xs = ifMultiline (hsep xs) (vsep xs)
 
-||| Add the given document only when conditions is true
+||| Add the given document only when condition is true
 export
 when : Bool -> Doc opts -> Doc opts
 when True  = id

diff --git a/src/Text/PrettyPrint/Bernardy/Core.idr b/src/Text/PrettyPrint/Bernardy/Core.idr
@@ -94,7 +94,7 @@ record Layout where
     -- natural and efficient accumulator in a left fold.
     content : Lazy (SnocList String)
     stats   : Stats
-    {auto 0 prf : NonEmptySnoc content}
+    {auto 0 prfNonEmptyContent : NonEmptySnoc content}
 
 layout : Lazy (Subset (SnocList String) NonEmptySnoc) -> Stats -> Layout
 layout ss st = MkLayout (fst ss) st @{snd ss}