Skip to content

Commit

Permalink
More tweaks for OCaml 4.06
Browse files Browse the repository at this point in the history
  • Loading branch information
alavrik committed Feb 13, 2018
1 parent 7334da1 commit 4b34d5c
Show file tree
Hide file tree
Showing 4 changed files with 3 additions and 12 deletions.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -61,7 +61,7 @@ Installation

### Installing using OPAM

In order to install Piqi using [OPAM](http://opam.ocamlpro.com/), run the
In order to install Piqi using [OPAM](https://opam.ocaml.org/), run the
following command:

opam install piqi
Expand Down
2 changes: 1 addition & 1 deletion examples/custom-types/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ SOURCES = \


export OCAMLPATH := ../..:$(OCAMLPATH)
PACKS = piqirun.pb #num
PACKS = piqirun.pb num


PIQI_FILES = example.piqi skvl.piqi
Expand Down
9 changes: 0 additions & 9 deletions examples/custom-types/piqirun_custom.ml
Original file line number Diff line number Diff line change
Expand Up @@ -19,19 +19,10 @@ let nativeint_to_int: nativeint -> int = Nativeint.to_int
(* mapping OCaml big_int to Piqi string (by representing number as a decimal
* string)
*)
(*
(* Used to work with OCaml < 4.06 -- commenting out for now; XXX: support num |
* base-num as test dependency *)
type bigint = Big_int.big_int

let bigint_of_string: string -> bigint = Big_int.big_int_of_string
let bigint_to_string: bigint -> string = Big_int.string_of_big_int
*)
type bigint = string

let bigint_of_string (x: string) :bigint = x
let bigint_to_string (x: bigint) :string = x



(*
Expand Down
2 changes: 1 addition & 1 deletion opam
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,6 @@ available: [ ocaml-version >= "4.02.0" ]
depends: [
"ocamlfind"
"piqilib"
"base-bytes"
"num" {build-test}
]
dev-repo: "git://github.com/alavrik/piqi-ocaml"

0 comments on commit 4b34d5c

Please sign in to comment.