Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove ppx_dhall_type #14258

Closed
wants to merge 1 commit into from
Closed

Remove ppx_dhall_type #14258

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 0 additions & 1 deletion src/dune-project
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -146,7 +146,6 @@
(package (name pipe_lib))
(package (name pokolog))
(package (name ppx_annot))
(package (name ppx_dhall_type))
(package (name ppx_mina))
(package (name ppx_register_event))
(package (name ppx_representatives))
Expand Down
13 changes: 2 additions & 11 deletions src/lib/currency/currency.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -95,9 +95,6 @@ module Make_str (A : Wire_types.Concrete) = struct

type t = Unsigned.t [@@deriving sexp, compare, hash]

(* can't be automatically derived *)
let dhall_type = Ppx_dhall_type.Dhall_type.Text

[%%define_locally
Unsigned.(to_uint64, of_uint64, of_int, to_int, of_string, to_string)]

Expand Down Expand Up @@ -945,7 +942,7 @@ module Make_str (A : Wire_types.Concrete) = struct
type t = Unsigned_extended.UInt64.Stable.V1.t
[@@deriving sexp, compare, hash, equal]

[%%define_from_scope to_yojson, of_yojson, dhall_type]
[%%define_from_scope to_yojson, of_yojson]

let to_latest = Fn.id
end
Expand Down Expand Up @@ -976,9 +973,6 @@ module Make_str (A : Wire_types.Concrete) = struct
[@@@with_all_version_tags]

type t = A.t [@@deriving sexp, compare, hash, equal, yojson]

(* not automatically derived *)
val dhall_type : Ppx_dhall_type.Dhall_type.t
end
end]

Expand Down Expand Up @@ -1092,7 +1086,7 @@ module Make_str (A : Wire_types.Concrete) = struct
type t = Unsigned_extended.UInt64.Stable.V1.t
[@@deriving sexp, compare, hash, equal, yojson]

[%%define_from_scope to_yojson, of_yojson, dhall_type]
[%%define_from_scope to_yojson, of_yojson]

let to_latest = Fn.id
end
Expand Down Expand Up @@ -1137,9 +1131,6 @@ module Make_str (A : Wire_types.Concrete) = struct
[@@deriving sexp, compare, equal, hash, yojson]

let to_latest = Fn.id

(* can't be automatically derived *)
let dhall_type = Ppx_dhall_type.Dhall_type.Text
end
end]

Expand Down
1 change: 0 additions & 1 deletion src/lib/currency/dune
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,6 @@
;; local libraries
bignum_bigint
bitstring_lib
ppx_dhall_type
codable
test_util
unsigned_extended
Expand Down
12 changes: 0 additions & 12 deletions src/lib/currency/intf.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,9 +11,6 @@ module type Basic = sig

type magnitude = t [@@deriving sexp, compare]

(* not automatically derived *)
val dhall_type : Ppx_dhall_type.Dhall_type.t

val max_int : t

val length_in_bits : int
Expand Down Expand Up @@ -307,9 +304,6 @@ module type Full = sig
[@@@with_all_version_tags]

type t [@@deriving sexp, compare, hash, yojson, equal]

(* not automatically derived *)
val dhall_type : Ppx_dhall_type.Dhall_type.t
end
end]

Expand Down Expand Up @@ -367,9 +361,6 @@ module type Full = sig
[@@@with_all_version_tags]

type t [@@deriving sexp, compare, hash, equal, yojson]

(* not automatically derived *)
val dhall_type : Ppx_dhall_type.Dhall_type.t
end
end]

Expand Down Expand Up @@ -439,9 +430,6 @@ module type Full = sig
module Stable : sig
module V1 : sig
type t [@@deriving sexp, compare, hash, yojson, equal]

(* not automatically derived *)
val dhall_type : Ppx_dhall_type.Dhall_type.t
end
end]

Expand Down
1 change: 0 additions & 1 deletion src/lib/mina_numbers/dune
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,6 @@
bignum_bigint
pickles
codable
ppx_dhall_type
snarky.backendless
fold_lib
tuple_lib
Expand Down
2 changes: 0 additions & 2 deletions src/lib/mina_numbers/global_slot.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -75,8 +75,6 @@ module Make (M : S) = struct
let%map.Quickcheck u32 = T.gen_incl u32_1 u32_2 in
of_uint32 u32

let dhall_type = Ppx_dhall_type.Dhall_type.Text

let zero = of_uint32 T.zero

let one = of_uint32 T.one
Expand Down
2 changes: 0 additions & 2 deletions src/lib/mina_numbers/global_slot_intf.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,6 @@ module type S_base = sig

val gen_incl : t -> t -> t Core_kernel.Quickcheck.Generator.t

val dhall_type : Ppx_dhall_type.Dhall_type.t

val zero : t

val one : t
Expand Down
2 changes: 0 additions & 2 deletions src/lib/mina_numbers/global_slot_span.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -82,8 +82,6 @@ module Make_str (_ : Wire_types.Concrete) = struct
let%map.Quickcheck u32 = T.gen_incl u32_1 u32_2 in
of_uint32 u32

let dhall_type = Ppx_dhall_type.Dhall_type.Text

let zero = of_uint32 T.zero

let one = of_uint32 T.one
Expand Down
3 changes: 0 additions & 3 deletions src/lib/mina_numbers/intf.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,9 +14,6 @@ module type S_unchecked = sig

include Hashable.S with type t := t

(* not automatically derived *)
val dhall_type : Ppx_dhall_type.Dhall_type.t

val max_value : t

val length_in_bits : int
Expand Down
3 changes: 0 additions & 3 deletions src/lib/mina_numbers/nat.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -196,9 +196,6 @@ end)
struct
type t = N.t [@@deriving sexp, compare, hash, yojson]

(* can't be automatically derived *)
let dhall_type = Ppx_dhall_type.Dhall_type.Text

let max_value = N.max_int

include Comparable.Make (N)
Expand Down
160 changes: 0 additions & 160 deletions src/lib/ppx_dhall_type/deriving.ml
View file
Open in desktop

This file was deleted.

48 changes: 0 additions & 48 deletions src/lib/ppx_dhall_type/dhall_type.ml
View file
Open in desktop

This file was deleted.

8 changes: 0 additions & 8 deletions src/lib/ppx_dhall_type/dune
View file
Open in desktop

This file was deleted.

3 changes: 1 addition & 2 deletions src/lib/runtime_config/dune
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,6 @@
mina_base.import
mina_numbers
signature_lib
ppx_dhall_type
snark_params
unsigned_extended
pickles
Expand All @@ -30,4 +29,4 @@
)
(instrumentation (backend bisect_ppx))
(preprocess (pps ppx_custom_printf ppx_sexp_conv ppx_let ppx_deriving_yojson
ppx_fields_conv ppx_dhall_type ppx_version ppx_compare)))
ppx_fields_conv ppx_version ppx_compare)))
Loading