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 | |
| parent | dev-ada/gnatmem: Adding dev-ada/gnatmem-2017 (diff) | |
| download | gentoo-5b14e0ecdf376d237c14d7c83ff2935f2cead796.tar.gz gentoo-5b14e0ecdf376d237c14d7c83ff2935f2cead796.tar.bz2 gentoo-5b14e0ecdf376d237c14d7c83ff2935f2cead796.zip | |
dev-ml/ppx_deriving: remove unused patch
| -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 6f0a5c56f462..000000000000 --- 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 = |