Undeprecate readChar. Closes #7072 (#7156)

This commit is contained in:
Yuriy Glukhov 2018-01-30 17:55:11 +03:00 • committed by Andreas Rumpf
commit a37e47d069

View file

@ -3025,9 +3025,9 @@ when not defined(JS): #and not defined(nimscript):
proc endOfFile*(f: File): bool {.tags: [], benign.} proc endOfFile*(f: File): bool {.tags: [], benign.}
## Returns true iff `f` is at the end. ## Returns true iff `f` is at the end.
proc readChar*(f: File): char {.tags: [ReadIOEffect], deprecated.} proc readChar*(f: File): char {.tags: [ReadIOEffect].}
## Reads a single character from the stream `f`. **Deprecated** since ## Reads a single character from the stream `f`. Should not be used in
## version 0.16.2. Use some variant of ``readBuffer`` instead. ## performance sensitive code.
proc flushFile*(f: File) {.tags: [WriteIOEffect].} proc flushFile*(f: File) {.tags: [WriteIOEffect].}
## Flushes `f`'s buffer. ## Flushes `f`'s buffer.