diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-03-24 23:59:54 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-03-24 23:59:54 +0000 |
commit | 401101f9c8077911929d3f2b60a37098460a5d89 (patch) | |
tree | c2bef4719f6787550f0916aeaa8f4f403a9296af /app-misc/ledit/files/ledit-2.04-ocaml4.09.patch | |
parent | 4cbcc855382a06088e2f016f62cafdbcb7e40665 (diff) |
gentoo resync : 25.03.2022
Diffstat (limited to 'app-misc/ledit/files/ledit-2.04-ocaml4.09.patch')
-rw-r--r-- | app-misc/ledit/files/ledit-2.04-ocaml4.09.patch | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/app-misc/ledit/files/ledit-2.04-ocaml4.09.patch b/app-misc/ledit/files/ledit-2.04-ocaml4.09.patch new file mode 100644 index 000000000000..2ececde9e922 --- /dev/null +++ b/app-misc/ledit/files/ledit-2.04-ocaml4.09.patch @@ -0,0 +1,34 @@ +diff --git a/ext/pa_def.ml b/ext/pa_def.ml +index 812240d..871bfe2 100644 +--- a/ext/pa_def.ml ++++ b/ext/pa_def.ml +@@ -33,7 +33,7 @@ value subst mloc env = + loop where rec loop = + fun + [ <:expr< let $opt:rf$ $list:pel$ in $e$ >> -> +- let pel = List.map (fun (p, e) -> (p, loop e)) pel in ++ let pel = List.map (fun (p, e, al) -> (p, loop e, al)) pel in + <:expr< let $opt:rf$ $list:pel$ in $loop e$ >> + | <:expr< if $e1$ then $e2$ else $e3$ >> -> + <:expr< if $loop e1$ then $loop e2$ else $loop e3$ >> +diff --git a/ext/pa_local.ml b/ext/pa_local.ml +index b65704d..3ef9cd1 100644 +--- a/ext/pa_local.ml ++++ b/ext/pa_local.ml +@@ -23,13 +23,15 @@ value expr_of_patt p = + | _ -> Stdpp.raise_with_loc loc (Stream.Error "identifier expected") ] + ; + ++value fst3 (a,b,c) = a ; ++ + EXTEND + str_item: + [ [ "local"; rf = [ "rec" -> True | -> False ]; + lb = LIST1 let_binding SEP "and"; "in"; "value"; + rf1 = [ "rec" -> True | -> False ]; + lb1 = LIST1 let_binding SEP "and" -> +- let pl = List.map fst lb1 in ++ let pl = List.map fst3 lb1 in + let el = List.map expr_of_patt pl in + <:str_item< + value ($list:pl$) = |