diff options
author | Michael Mair-Keimberger <m.mairkeimberger@gmail.com> | 2017-09-27 20:34:21 +0200 |
---|---|---|
committer | Alexis Ballier <aballier@gentoo.org> | 2017-09-28 10:08:11 +0200 |
commit | 5b14e0ecdf376d237c14d7c83ff2935f2cead796 (patch) | |
tree | 8d6d05b113f0115c9a4d1179999f399cb2b4a44b /dev-ml/ppx_deriving | |
parent | 391c0b8fcce0821e97eb16655c4833bf2c74921d (diff) | |
download | gentoo-5b14e0ecdf376d237c14d7c83ff2935f2cead796.tar.gz gentoo-5b14e0ecdf376d237c14d7c83ff2935f2cead796.tar.xz |
dev-ml/ppx_deriving: remove unused patch
Diffstat (limited to 'dev-ml/ppx_deriving')
-rw-r--r-- | dev-ml/ppx_deriving/files/ocaml405.patch | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/dev-ml/ppx_deriving/files/ocaml405.patch b/dev-ml/ppx_deriving/files/ocaml405.patch deleted file mode 100644 index 6f0a5c56f46..00000000000 --- a/dev-ml/ppx_deriving/files/ocaml405.patch +++ /dev/null @@ -1,21 +0,0 @@ -Index: ppx_deriving-4.1/src/ppx_deriving.cppo.ml -=================================================================== ---- ppx_deriving-4.1.orig/src/ppx_deriving.cppo.ml -+++ ppx_deriving-4.1/src/ppx_deriving.cppo.ml -@@ -310,6 +310,7 @@ let free_vars_in_core_type typ = - List.map free_in xs |> List.concat - | { ptyp_desc = Ptyp_alias (x, name) } -> [name] @ free_in x - | { ptyp_desc = Ptyp_poly (bound, x) } -> -+ let bound = List.map (fun x -> x.Location.txt) bound in - List.filter (fun y -> not (List.mem y bound)) (free_in x) - | { ptyp_desc = Ptyp_variant (rows, _, _) } -> - List.map ( -@@ -401,7 +402,7 @@ let binop_reduce x a b = - [%expr [%e x] [%e a] [%e b]] - - let strong_type_of_type ty = -- let free_vars = free_vars_in_core_type ty in -+ let free_vars = List.map Location.mknoloc (free_vars_in_core_type ty) in - Typ.force_poly @@ Typ.poly free_vars ty - - let derive path pstr_loc item attributes fn arg = |