[GHC] #4377: sizedText function for Text.PrettyPrint

[GHC]

#4377: sizedText function for Text.PrettyPrint
---------------------------------+------------------------------------------
    Reporter:  lerkok            |       Owner:                                                    
        Type:  proposal          |      Status:  new                                               
    Priority:  normal            |   Component:  libraries/pretty                                  
     Version:                    |    Keywords:  text, sizedText, pretty printing, Text.PrettyPrint
    Testcase:                    |   Blockedby:                                                    
          Os:  Unknown/Multiple  |    Blocking:                                                    
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown                                      
---------------------------------+------------------------------------------
Changes (by maeder):

 * cc: Christian.Maeder@… (added)


Comment:

 We copied the module, too, just to attach an arbitrary size to strings for
 LaTeX with proportional fonts and ligatures. So rather than padding a
 string I would rather attach any size to the given input string as is.
 (Padding can be added be the user). I don't see a use case for negative
 sizes, though, so these may be excluded (to ensure other invariants).

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4377#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler