Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / parmap
Commits:
ed5aa77f by Stephane Glondu at 2022-02-20T17:59:18+01:00
New upstream version 1.2.4
- - - - -
4 changed files:
- dune-project
- parmap.opam
- src/parmap.ml
- src/setcore_stubs.c
Changes:
=====================================
dune-project
=====================================
@@ -1,7 +1,7 @@
(lang dune 2.7)
(name parmap)
-(version 1.2.3)
+(version 1.2.4)
(generate_opam_files true)
=====================================
parmap.opam
=====================================
@@ -1,4 +1,4 @@
-version: "1.2.3"
+version: "1.2.4"
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
synopsis: "Minimalistic library allowing to exploit multicore architecture"
=====================================
src/parmap.ml
=====================================
@@ -718,11 +718,11 @@ let array_float_parmapi
array: the data in Bigarray is placed at offset 1 w.r.t. a normal array,
so we get a pointer to that zone into arr_out_as_array, and have it typed
as a float array *)
- let barr_out_as_array = Array.unsafe_get (Obj.magic barr_out) 1 in
+ (*let barr_out_as_array = Array.unsafe_get (Obj.magic barr_out) 1 in*)
let compute _ lo hi _ exc_handler =
try
for i=lo to hi do
- Array.unsafe_set barr_out_as_array i (f i (Array.unsafe_get al i))
+ Bigarray.Array1.unsafe_set barr_out i (f i (Array.unsafe_get al i))
done
with e -> exc_handler e lo
in
=====================================
src/setcore_stubs.c
=====================================
@@ -12,14 +12,26 @@
#include <unistd.h>
#include <errno.h>
#include <caml/mlvalues.h>
+#ifdef _WIN32
+#include <windows.h>
+#endif
+static int get_numcores() {
+#ifdef _WIN32
+ SYSTEM_INFO sysinfo;
+ GetSystemInfo(&sysinfo);
+ return sysinfo.dwNumberOfProcessors;
+#else
+ return sysconf( _SC_NPROCESSORS_ONLN );
+#endif
+}
CAMLprim value numcores(value unit) {
- int numcores = sysconf( _SC_NPROCESSORS_ONLN );
+ int numcores = get_numcores();
return Val_int(numcores);
}
CAMLprim value setcore(value which) {
- int numcores = sysconf( _SC_NPROCESSORS_ONLN );
+ int numcores = get_numcores();
int w = Int_val(which) % numcores; // stay in the space of existing cores
#if HAVE_DECL_SCHED_SETAFFINITY
cpu_set_t cpus;
View it on GitLab:
https://salsa.debian.org/ocaml-team/parmap/-/commit/ed5aa77fa7f92d73c3c1cf4bef1a26a175048056
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/parmap/-/commit/ed5aa77fa7f92d73c3c1cf4bef1a26a175048056
You're receiving this email because of your account on salsa.debian.org.
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "
http://www.w3.org/TR/REC-html40/loose.dtd">
<html lang="en">
<head>
<meta content="text/html; charset=US-ASCII" http-equiv="Content-Type">
<title>
GitLab
</title>
<style>img {
max-width: 100%; height: auto;
}
</style>
</head>
<body>
<div class="content">
Stéphane Glondu pushed to branch upstream
at <a href="
https://salsa.debian.org/ocaml-team/parmap">Debian OCaml Maintainers / parmap</a>
</h3>
Commits:
</h4>
<strong><a href="
https://salsa.debian.org/ocaml-team/parmap/-/commit/ed5aa77fa7f92d73c3c1cf4bef1a26a175048056">ed5aa77f</a></strong>
<div>
<span>by Stephane Glondu</span>
<i>at 2022-02-20T17:59:18+01:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">New upstream version 1.2.4</pre>
</li>
</ul>
<h4>4 changed files:</h4>
<li class="file-stats">
<a href="#a883255a0b9405feaed74dd1260b37fc100b3554">
dune-project
</li>
<li class="file-stats">
<a href="#0813b8d4d222b30416d2682c0569b37509cab965">
parmap.opam
</li>
<li class="file-stats">
<a href="#4abd90b782749630af4bd00383bc6c9839ae2cc0">
src/parmap.ml
</li>
<li class="file-stats">
<a href="#43342b6dc64f6b3436198d2dbded289bdba4b297">
src/setcore_stubs.c
</li>
</ul>
<h4>Changes:</h4>
<li id="a883255a0b9405feaed74dd1260b37fc100b3554">
<a href="
https://salsa.debian.org/ocaml-team/parmap/-/commit/ed5aa77fa7f92d73c3c1cf4bef1a26a175048056#a883255a0b9405feaed74dd1260b37fc100b3554"><strong>dune-project</strong></a>
<table class="code white" style="font-family: monospace; font-size: 90%;" bgcolor="#fff" width="100%" cellpadding="0" cellspacing="0">
<tr class="line_holder" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num" data-linenumber="1" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
1
</td>
<td class="new_line diff-line-num" data-linenumber="1" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
1
</td>
<td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC1" class="line" lang="plaintext">(lang dune 2.7)</span>
</pre>
</td>
</tr>
<tr class="line_holder" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num" data-linenumber="2" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
2
</td>
<td class="new_line diff-line-num" data-linenumber="2" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
2
</td>
<td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC2" class="line" lang="plaintext"></span> </pre>
</td>
</tr>
<tr class="line_holder" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num" data-linenumber="3" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
3
</td>
<td class="new_line diff-line-num" data-linenumber="3" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
3
</td>
<td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC3" class="line" lang="plaintext">(name parmap)</span>
</pre>
</td>
</tr>
<tr class="line_holder old" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num old" data-linenumber="4" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#f9d7dc">
4
</td>
<td class="new_line diff-line-num old" data-linenumber="4" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#f9d7dc">
</td>
<td class="line_content old" style="padding-left: 0.5em; padding-right: 0.5em;" bgcolor="#fbe9eb">
<pre style="margin: 0;">-<span id="LC4" class="line" lang="plaintext">(version 1.2.<span class="idiff left right">3</span>)</span>
</pre>
</td>
</tr>
<tr class="line_holder new" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num new" data-linenumber="5" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#ddfbe6">
</td>
<td class="new_line diff-line-num new" data-linenumber="4" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#ddfbe6">
4
</td>
<td class="line_content new" style="padding-left: 0.5em; padding-right: 0.5em;" bgcolor="#ecfdf0">
<pre style="margin: 0;">+<span id="LC4" class="line" lang="plaintext">(version 1.2.<span class="idiff left right">4</span>)</span>
</pre>
</td>
</tr>
<tr class="line_holder" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num" data-linenumber="5" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
5
</td>
<td class="new_line diff-line-num" data-linenumber="5" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
5
</td>
<td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC5" class="line" lang="plaintext"></span> </pre>
</td>
</tr>
<tr class="line_holder" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num" data-linenumber="6" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
6
</td>
<td class="new_line diff-line-num" data-linenumber="6" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
6
</td>
<td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC6" class="line" lang="plaintext">(generate_opam_files true)</span>
</pre>
</td>
</tr>
<tr class="line_holder" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num" data-linenumber="7" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
7
</td>
<td class="new_line diff-line-num" data-linenumber="7" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
7
</td>
<td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC7" class="line" lang="plaintext"></span> </pre>
</td>
</tr>
</table>
</li>
<li id="0813b8d4d222b30416d2682c0569b37509cab965">
<a href="
https://salsa.debian.org/ocaml-team/parmap/-/commit/ed5aa77fa7f92d73c3c1cf4bef1a26a175048056#0813b8d4d222b30416d2682c0569b37509cab965"><strong>parmap.opam</strong></a>
<table class="code white" style="font-family: monospace; font-size: 90%;" bgcolor="#fff" width="100%" cellpadding="0" cellspacing="0">
<tr class="line_holder old" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num old" data-linenumber="1" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#f9d7dc">
1
</td>
<td class="new_line diff-line-num old" data-linenumber="1" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#f9d7dc">
</td>
<td class="line_content old" style="padding-left: 0.5em; padding-right: 0.5em;" bgcolor="#fbe9eb">
<pre style="margin: 0;">-<span id="LC1" class="line" lang="plaintext">version: "1.2.<span class="idiff left right">3</span>"</span>
</pre>
</td>
</tr>
<tr class="line_holder new" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num new" data-linenumber="2" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#ddfbe6">
</td>
<td class="new_line diff-line-num new" data-linenumber="1" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#ddfbe6">
1
</td>
<td class="line_content new" style="padding-left: 0.5em; padding-right: 0.5em;" bgcolor="#ecfdf0">
<pre style="margin: 0;">+<span id="LC1" class="line" lang="plaintext">version: "1.2.<span class="idiff left right">4</span>"</span>
</pre>
</td>
</tr>
<tr class="line_holder" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num" data-linenumber="2" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
2
</td>
<td class="new_line diff-line-num" data-linenumber="2" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
2
</td>
<td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC2" class="line" lang="plaintext"># This file is generated by dune, edit dune-project instead</span>
</pre>
</td>
</tr>
<tr class="line_holder" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num" data-linenumber="3" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
3
</td>
<td class="new_line diff-line-num" data-linenumber="3" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
3
</td>
<td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC3" class="line" lang="plaintext">opam-version: "2.0"</span>
</pre>
</td>
</tr>
<tr class="line_holder" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num" data-linenumber="4" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
4
</td>
<td class="new_line diff-line-num" data-linenumber="4" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
4
</td>
<td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC4" class="line" lang="plaintext">synopsis: "Minimalistic library allowing to exploit multicore architecture"</span>
</pre>
</td>
</tr>
</table>
</li>
<li id="4abd90b782749630af4bd00383bc6c9839ae2cc0">
<a href="
https://salsa.debian.org/ocaml-team/parmap/-/commit/ed5aa77fa7f92d73c3c1cf4bef1a26a175048056#4abd90b782749630af4bd00383bc6c9839ae2cc0"><strong>src/parmap.ml</strong></a>
<table class="code white" style="font-family: monospace; font-size: 90%;" bgcolor="#fff" width="100%" cellpadding="0" cellspacing="0">
<tr class="line_holder match" id="" style="line-height: 1.6;">
<td class="diff-line-num unfold js-unfold old_line" data-linenumber="718" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">...</
<td class="diff-line-num unfold js-unfold new_line" data-linenumber="718" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">...</
<td class="line_content match " style="padding-left: 0.5em; padding-right: 0.5em; color: rgba(0,0,0,0.3);" bgcolor="#fafafa">@@ -718,11 +718,11 @@ let array_float_parmapi</td>
</tr>
<tr class="line_holder" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num" data-linenumber="718" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
718
</td>
<td class="new_line diff-line-num" data-linenumber="718" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
718
</td>
<td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC718" class="line" lang="ocaml"><span class="c" style="color: #998; font-style: italic;"> array: the data in Bigarray is placed at offset 1 w.r.t. a normal array,</span></span>
</pre>
</td>
</tr>
<tr class="line_holder" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num" data-linenumber="719" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
719
</td>
<td class="new_line diff-line-num" data-linenumber="719" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
719
</td>
<td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC719" class="line" lang="ocaml"><span class="c" style="color: #998; font-style: italic;"> so we get a pointer to that zone into arr_out_as_array, and have it typed</span></span>
</pre>
</td>
</tr>
<tr class="line_holder" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num" data-linenumber="720" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
720
</td>
<td class="new_line diff-line-num" data-linenumber="720" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
720
</td>
<td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC720" class="line" lang="ocaml"><span class="c" style="color: #998; font-style: italic;"> as a float array *)</span></span>
</pre>
</td>
</tr>
<tr class="line_holder old" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num old" data-linenumber="721" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#f9d7dc">
721
</td>
<td class="new_line diff-line-num old" data-linenumber="721" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#f9d7dc">
</td>
<td class="line_content old" style="padding-left: 0.5em; padding-right: 0.5em;" bgcolor="#fbe9eb">
<pre style="margin: 0;">-<span id="LC721" class="line" lang="ocaml"> <span class="k" style="font-weight: 600;">let</span> <span class="n" style="color: #333;">barr_out_as_array</span> <span class="o" style="font-weight: 600;">=</span> <span class="nn"
style="color: #555;">Array</span><span class="p">.</span><span class="n" style="color: #333;">unsafe_get</span> <span class="p">(</span><span class="nn" style="color: #555;">Obj</span><span class="p">.</span><span class="n" style="color: #333;">magic</
span> <span class="n" style="color: #333;">barr_out</span><span class="p">)</span> <span class="mi" style="color: #099;">1</span> <span class="k" style="font-weight: 600;">in</span></span>
</pre>
</td>
</tr>
<tr class="line_holder new" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num new" data-linenumber="722" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#ddfbe6">
</td>
<td class="new_line diff-line-num new" data-linenumber="721" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#ddfbe6">
721
</td>
<td class="line_content new" style="padding-left: 0.5em; padding-right: 0.5em;" bgcolor="#ecfdf0">
<pre style="margin: 0;">+<span id="LC721" class="line" lang="ocaml"> <span class="c" style="color: #998; font-style: italic;"><span class="idiff left">(*</span>let barr_out_as_array = Array.unsafe_get (Obj.magic barr_out) 1 in<span class="idiff right">*
)</span></span></span>
</pre>
</td>
</tr>
<tr class="line_holder" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num" data-linenumber="722" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
722
</td>
<td class="new_line diff-line-num" data-linenumber="722" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
722
</td>
<td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC722" class="line" lang="ocaml"> <span class="k" style="font-weight: 600;">let</span> <span class="n" style="color: #333;">compute</span> <span class="n" style="color: #333;">_</span> <span class="n" style="color: #
333;">lo</span> <span class="n" style="color: #333;">hi</span> <span class="n" style="color: #333;">_</span> <span class="n" style="color: #333;">exc_handler</span> <span class="o" style="font-weight: 600;">=</span></span>
</pre>
</td>
</tr>
<tr class="line_holder" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num" data-linenumber="723" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
723
</td>
<td class="new_line diff-line-num" data-linenumber="723" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
723
</td>
<td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC723" class="line" lang="ocaml"> <span class="k" style="font-weight: 600;">try</span></span>
</pre>
</td>
</tr>
<tr class="line_holder" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num" data-linenumber="724" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
724
</td>
<td class="new_line diff-line-num" data-linenumber="724" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
724
</td>
<td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC724" class="line" lang="ocaml"> <span class="k" style="font-weight: 600;">for</span> <span class="n" style="color: #333;">i</span><span class="o" style="font-weight: 600;">=</span><span class="n" style="color: #
333;">lo</span> <span class="k" style="font-weight: 600;">to</span> <span class="n" style="color: #333;">hi</span> <span class="k" style="font-weight: 600;">do</span></span>
</pre>
</td>
</tr>
<tr class="line_holder old" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num old" data-linenumber="725" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#f9d7dc">
725
</td>
<td class="new_line diff-line-num old" data-linenumber="725" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#f9d7dc">
</td>
<td class="line_content old" style="padding-left: 0.5em; padding-right: 0.5em;" bgcolor="#fbe9eb">
<pre style="margin: 0;">-<span id="LC725" class="line" lang="ocaml"> <span class="nn" style="color: #555;">Array</span><span class="p">.</span><span class="n" style="color: #333;">unsafe_set</span> <span class="n" style="color: #333;">barr_out<
span class="idiff left right">_as_array</span></span> <span class="n" style="color: #333;">i</span> <span class="p">(</span><span class="n" style="color: #333;">f</span> <span class="n" style="color: #333;">i</span> <span class="p">(</span><span class="
nn" style="color: #555;">Array</span><span class="p">.</span><span class="n" style="color: #333;">unsafe_get</span> <span class="n" style="color: #333;">al</span> <span class="n" style="color: #333;">i</span><span class="p">))</span></span>
</pre>
</td>
</tr>
<tr class="line_holder new" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num new" data-linenumber="726" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#ddfbe6">
</td>
<td class="new_line diff-line-num new" data-linenumber="725" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#ddfbe6">
725
</td>
<td class="line_content new" style="padding-left: 0.5em; padding-right: 0.5em;" bgcolor="#ecfdf0">
<pre style="margin: 0;">+<span id="LC725" class="line" lang="ocaml"> <span class="nn" style="color: #555;"><span class="idiff left">Bigarray</span></span><span class="p"><span class="idiff">.</span></span><span class="nn" style="color: #555;">
Array<span class="idiff right">1</span></span><span class="p">.</span><span class="n" style="color: #333;">unsafe_set</span> <span class="n" style="color: #333;">barr_out</span> <span class="n" style="color: #333;">i</span> <span class="p">(</span><span
class="n" style="color: #333;">f</span> <span class="n" style="color: #333;">i</span> <span class="p">(</span><span class="nn" style="color: #555;">Array</span><span class="p">.</span><span class="n" style="color: #333;">unsafe_get</span> <span class="n"
style="color: #333;">al</span> <span class="n" style="color: #333;">i</span><span class="p">))</span></span>
</pre>
</td>
</tr>
<tr class="line_holder" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num" data-linenumber="726" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
726
</td>
<td class="new_line diff-line-num" data-linenumber="726" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
726
</td>
<td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC726" class="line" lang="ocaml"> <span class="k" style="font-weight: 600;">done</span></span>
</pre>
</td>
</tr>
<tr class="line_holder" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num" data-linenumber="727" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
727
</td>
<td class="new_line diff-line-num" data-linenumber="727" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
727
</td>
<td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC727" class="line" lang="ocaml"> <span class="k" style="font-weight: 600;">with</span> <span class="n" style="color: #333;">e</span> <span class="o" style="font-weight: 600;">-></span> <span class="n" style="
color: #333;">exc_handler</span> <span class="n" style="color: #333;">e</span> <span class="n" style="color: #333;">lo</span></span>
</pre>
</td>
</tr>
<tr class="line_holder" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num" data-linenumber="728" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
728
</td>
<td class="new_line diff-line-num" data-linenumber="728" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
728
</td>
<td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC728" class="line" lang="ocaml"> <span class="k" style="font-weight: 600;">in</span></span>
</pre>
</td>
</tr>
</table>
</li>
<li id="43342b6dc64f6b3436198d2dbded289bdba4b297">
<a href="
https://salsa.debian.org/ocaml-team/parmap/-/commit/ed5aa77fa7f92d73c3c1cf4bef1a26a175048056#43342b6dc64f6b3436198d2dbded289bdba4b297"><strong>src/setcore_stubs.c</strong></a>
<table class="code white" style="font-family: monospace; font-size: 90%;" bgcolor="#fff" width="100%" cellpadding="0" cellspacing="0">
<tr class="line_holder match" id="" style="line-height: 1.6;">
<td class="diff-line-num unfold js-unfold old_line" data-linenumber="12" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">...</td>
<td class="diff-line-num unfold js-unfold new_line" data-linenumber="12" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">...</td>
<td class="line_content match " style="padding-left: 0.5em; padding-right: 0.5em; color: rgba(0,0,0,0.3);" bgcolor="#fafafa">@@ -12,14 +12,26 @@</td>
</tr>
<tr class="line_holder" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num" data-linenumber="12" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
12
</td>
<td class="new_line diff-line-num" data-linenumber="12" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
12
</td>
<td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC12" class="line" lang="c"><span class="cp" style="color: #999; font-weight: 600;">#include <unistd.h></span></span>
</pre>
</td>
</tr>
<tr class="line_holder" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num" data-linenumber="13" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
13
</td>
<td class="new_line diff-line-num" data-linenumber="13" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
13
</td>
<td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC13" class="line" lang="c"><span class="cp" style="color: #999; font-weight: 600;">#include <errno.h></span></span>
</pre>
</td>
</tr>
<tr class="line_holder" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num" data-linenumber="14" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
14
</td>
[continued in next message]
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)