Pretty: Args of NilAbove/TextBeside/Nest/Union are always RDocs (#10735)
authorThomas Miedema <thomasmiedema@gmail.com>
Mon, 3 Aug 2015 17:34:36 +0000 (19:34 +0200)
committerThomas Miedema <thomasmiedema@gmail.com>
Wed, 5 Aug 2015 08:10:33 +0000 (10:10 +0200)
Just following libraries/pretty.

compiler/utils/Pretty.hs

index 87881ce..12a8a53 100644 (file)
@@ -583,20 +583,17 @@ mkUnion :: Doc -> Doc -> Doc
 mkUnion Empty _ = Empty
 mkUnion p q     = p `union_` q
 
--- Arg of a NilAbove is always an RDoc
-nilAbove_ :: Doc -> Doc
+nilAbove_ :: RDoc -> RDoc
 nilAbove_ = NilAbove
 
 -- Arg of a TextBeside is always an RDoc
-textBeside_ :: TextDetails -> FastInt -> Doc -> Doc
+textBeside_ :: TextDetails -> FastInt -> RDoc -> RDoc
 textBeside_ = TextBeside
 
--- Arg of Nest is always an RDoc
-nest_ :: FastInt -> Doc -> Doc
+nest_ :: FastInt -> RDoc -> RDoc
 nest_ = Nest
 
--- Args of union are always RDocs
-union_ :: Doc -> Doc -> Doc
+union_ :: RDoc -> RDoc -> RDoc
 union_ = Union
 
 
@@ -791,7 +788,7 @@ fsep = fill True
 -- layout1 $*$ layout2 | hasMoreThanOneLine layout1 = layout1 $$ layout2
 --                     | otherwise                  = layout1 $+$ layout2
 
-fill :: Bool -> [Doc] -> Doc
+fill :: Bool -> [Doc] -> RDoc
 fill _ []     = empty
 fill g (p:ps) = fill1 g (reduceDoc p) (_ILIT(0)) ps