A lot of modifications: provision for unsigned numbers in binary notation + addition of a new ``bof'' field in input buffers to detect that no chars have ever been read + careful check and debugging of reading from empty buffers + code review. Addition of stdib for reading from stdin.
A lot of modifications: provision for unsigned numbers in binary
notation + addition of a new ``bof'' field in input buffers to detect that
no chars have ever been read + careful check and debugging of reading
from empty buffers + code review. Addition of stdib for reading from stdin.


git-svn-id: e7e61699ce1738538ffebb75374fbea0924bc775@5160 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

eliberis/ocaml,msprotz/ocaml,yunxing/ocaml,msprotz/ocaml,yunxing/ocaml,eliberis/ocaml,msprotz/ocaml,msprotz/ocaml,chambart/camlp4,gerdstolpmann/ocaml,eliberis/ocaml,gerdstolpmann/ocaml,eliberis/ocaml,yunxing/ocaml,yunxing/ocaml,yunxing/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,eliberis/ocaml,gerdstolpmann/ocaml,hhugo/camlp4,msprotz/ocaml,yallop/camlp4