Skip to content

Commit

Permalink
Pervasives -> Stdlib
Browse files Browse the repository at this point in the history
  • Loading branch information
Julien Sagot authored and alavrik committed Oct 7, 2019
1 parent 7a93742 commit 54602ec
Show file tree
Hide file tree
Showing 6 changed files with 7 additions and 6 deletions.
1 change: 1 addition & 0 deletions opam
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,7 @@ depends: [
"ocaml" {>= "4.02.0"}
"ocamlfind" {build}
"piqilib"
"stdlib-shims"
"num" {with-test}
]
dev-repo: "git://github.com/alavrik/piqi-ocaml"
2 changes: 1 addition & 1 deletion piqic-ocaml/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ SOURCES = \
piqic_ocaml.ml \


PACKS = piqilib bytes
PACKS = piqilib bytes stdlib-shims
INCDIRS = ../piqirun
LIBS = ../piqirun/piqirun

Expand Down
4 changes: 2 additions & 2 deletions piqic-ocaml/piqic_ocaml_ext.ml
Original file line number Diff line number Diff line change
Expand Up @@ -88,10 +88,10 @@ let gen_print typedef =
let name = C.typedef_mlname typedef in
iol [
ios "let print_"; ios name; ios " ?opts x ="; eol;
ios " Pervasives.print_endline (gen_"; ios name; ios " x `piq ?opts)";
ios " Stdlib.print_endline (gen_"; ios name; ios " x `piq ?opts)";
eol;
ios "let prerr_"; ios name; ios " ?opts x ="; eol;
ios " Pervasives.prerr_endline (gen_"; ios name; ios " x `piq ?opts)";
ios " Stdlib.prerr_endline (gen_"; ios name; ios " x `piq ?opts)";
eol;
]

Expand Down
2 changes: 1 addition & 1 deletion piqirun/META.in
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ package "pb" (
description = "Piqi runtime library for Protocol Buffers serialization"
archive(byte) = "piqirun.cmo"
archive(native) = "piqirun.cmx"
requires = "bytes"
requires = "bytes stdlib-shims"
)

package "ext" (
Expand Down
2 changes: 1 addition & 1 deletion piqirun/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ RESULT = piqirun


# piqirun_ext.ml depends on it
PACKS = piqilib
PACKS = piqilib stdlib-shims


SOURCES = \
Expand Down
2 changes: 1 addition & 1 deletion piqirun/piqirun.ml
Original file line number Diff line number Diff line change
Expand Up @@ -203,7 +203,7 @@ module IBuf =
| Channel x ->
let start_pos = pos_in x in
let s = Bytes.create length in
(try Pervasives.really_input x s 0 length
(try Stdlib.really_input x s 0 length
with End_of_file -> raise End_of_buffer
);
of_string (Bytes.unsafe_to_string s) start_pos
Expand Down

0 comments on commit 54602ec

Please sign in to comment.