Skip to content
Snippets Groups Projects
  1. Oct 24, 2021
    • 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
  2. Mar 04, 2020
  3. Nov 22, 2016
  4. Apr 03, 2016
  5. Mar 30, 2012
  6. Mar 07, 2012
  7. Mar 02, 2012
  8. Oct 08, 2010
  9. Mar 24, 2009
  10. Dec 05, 2008
  11. Nov 23, 2008
  12. Oct 27, 2008
  13. Jun 23, 2008
  14. Jun 02, 2008
Loading