comparison src/lread.c @ 5610:d69ea1ff4ce3

Add the zero, *then* flush, when reading integers for the #N=... syntax. src/ChangeLog addition: 2011-12-10 Aidan Kehoe <kehoea@parhasard.net> * lread.c (read1): Add the zero, *then* flush, when reading an integer into Vread_buffer_stream.
author Aidan Kehoe <kehoea@parhasard.net>
date Sat, 10 Dec 2011 16:17:49 +0000
parents 7c383c5784ed
children febc025c4e0c
comparison
equal deleted inserted replaced
5609:3152c2c21461 5610:d69ea1ff4ce3
2708 Lstream_put_ichar (XLSTREAM (Vread_buffer_stream), c); 2708 Lstream_put_ichar (XLSTREAM (Vread_buffer_stream), c);
2709 QUIT; 2709 QUIT;
2710 c = readchar (readcharfun); 2710 c = readchar (readcharfun);
2711 } 2711 }
2712 2712
2713 Lstream_flush (XLSTREAM (Vread_buffer_stream));
2714 /* blasted terminating 0 */ 2713 /* blasted terminating 0 */
2715 Lstream_put_ichar (XLSTREAM (Vread_buffer_stream), 0); 2714 Lstream_put_ichar (XLSTREAM (Vread_buffer_stream), 0);
2715 Lstream_flush (XLSTREAM (Vread_buffer_stream));
2716 2716
2717 parsed 2717 parsed
2718 = parse_integer (resizing_buffer_stream_ptr 2718 = parse_integer (resizing_buffer_stream_ptr
2719 (XLSTREAM (Vread_buffer_stream)), 2719 (XLSTREAM (Vread_buffer_stream)),
2720 Lstream_byte_count (XLSTREAM 2720 Lstream_byte_count (XLSTREAM