Displaying 2 results from an estimated 2 matches for "memoized_cache".
2019 Aug 13
5
[PATCH 0/3] generator: pod2text-related improvements
- refactor memoization code
- pass pod as stdin rather than files
Pino Toscano (3):
generator: isolate memoized cache in own module
generator: adjust variable names
generator: improve pod2text invocation
generator/Makefile.am | 3 ++
generator/memoized_cache.ml | 62 +++++++++++++++++++++
generator/memoized_cache.mli | 29 ++++++++++
generator/utils.ml | 101 +++++++++++++++--------------------
4 files changed, 137 insertions(+), 58 deletions(-)
create mode 100644 generator/memoized_cache.ml
create mode 100644 generator/memoized_cache.ml...
2019 Aug 13
0
[PATCH 3/3] generator: improve pod2text invocation
...ed or stopped by signal %d" i
);
+ let lines =
+ if discard then (* discard the first line of output *) List.tl lines
+ else lines in
+ let lines =
+ if trim then List.map String.triml lines
+ else lines in
lines
let pod2text_memo : (pod2text_memo_key, pod2text_memo_value) Memoized_cache.t =
Memoized_cache.create ~version:2 "pod2text" run_pod2text
--
2.21.0