Skip to content
  • Tim Bradshaw's avatar
    read-stream-content-into-string element-type fix · 9c97e6f6
    Tim Bradshaw authored
    Default the element type of the string being created from the element
    type of the stream being read.
    
    This has two advantages: it will make things work for implementations
    which have a mode where the default string element type is a subtype
    of character, and it will also mean that if the stream's element type
    is a subtype of character you may get thinner strings.
    9c97e6f6