deploy: fdd92c6

dev/arrayjit/Arrayjit/C_backend/index.html

@@ -21,9 +21,9 @@
   <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span>
   <span><a href="../Low_level/index.html#type-t">Low_level.t</a> <span class="arrow">&#45;&gt;</span></span>
   <span class="xref-unresolved">Base</span>.unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compile_globals"><a href="#val-compile_globals" class="anchor"></a><code><span><span class="keyword">val</span> compile_globals : 
-  <span><span class="label">get_ident</span>:<span>(<span><a href="#type-tn_info">tn_info</a> <span class="arrow">&#45;&gt;</span></span> <span class="xref-unresolved">Base</span>.String.t)</span> <span class="arrow">&#45;&gt;</span></span>
+  <span><span class="label">get_ident</span>:<span>(<span><span><a href="../Tnode/index.html#type-t">Tn.t</a> <span class="xref-unresolved">Base</span>.Hash_set.elt</span> <span class="arrow">&#45;&gt;</span></span> string)</span> <span class="arrow">&#45;&gt;</span></span>
   <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span>
-  <span><span class="label">ctx_arrays</span>:<span><span>(<a href="#type-tn_info">tn_info</a>, <a href="../Ndarray/index.html#type-t">Ndarray.t</a>, <span class="type-var">'a</span>)</span> <span class="xref-unresolved">Base</span>.Map.t</span> <span class="arrow">&#45;&gt;</span></span>
+  <span><a href="#type-info_nodes">info_nodes</a> <span class="arrow">&#45;&gt;</span></span>
   unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compile_proc"><a href="#val-compile_proc" class="anchor"></a><code><span><span class="keyword">val</span> compile_proc : 
   <span><span class="label">name</span>:string <span class="arrow">&#45;&gt;</span></span>
   <span><a href="#type-info_nodes">info_nodes</a> <span class="arrow">&#45;&gt;</span></span>
@@ -32,7 +32,7 @@
   <span><a href="../Low_level/index.html#type-optimized">Low_level.optimized</a> <span class="arrow">&#45;&gt;</span></span>
   <span><span>(<span class="xref-unresolved">Base</span>.String.t * <a href="#type-param_source">param_source</a>)</span> <span class="xref-unresolved">Base__List</span>.t</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-prepare_nodes"><a href="#val-prepare_nodes" class="anchor"></a><code><span><span class="keyword">val</span> prepare_nodes : <span><a href="#type-info_nodes">info_nodes</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-ctx_nodes">ctx_nodes</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="../Low_level/index.html#type-optimized">Low_level.optimized</a> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-header_sep"><a href="#val-header_sep" class="anchor"></a><code><span><span class="keyword">val</span> header_sep : <span class="xref-unresolved">Re</span>.re</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compile"><a href="#val-compile" class="anchor"></a><code><span><span class="keyword">val</span> compile : 
   <span><span class="label">name</span>:<span class="xref-unresolved">Base</span>.string <span class="arrow">&#45;&gt;</span></span>
-  <span><span class="label">opt_ctx_arrays</span>:<span><span><a href="../Ndarray/index.html#type-t">Ndarray.t</a> <span class="xref-unresolved">Base</span>.Map.M(<span class="xref-unresolved">Tn</span>).t</span> <span class="xref-unresolved">Base</span>.option</span> <span class="arrow">&#45;&gt;</span></span>
+  <span><span class="label">opt_ctx_arrays</span>:<span><span><a href="../Ndarray/index.html#type-t">Ndarray.t</a> <span class="xref-unresolved">Base</span>.Map.M(<span class="xref-unresolved">Tn</span>).t</span> option</span> <span class="arrow">&#45;&gt;</span></span>
   <span><span><span>(<span><span class="xref-unresolved">Base</span>.unit <span class="arrow">&#45;&gt;</span></span> <span class="xref-unresolved">Base</span>.unit)</span> <a href="../Indexing/index.html#type-bindings">Indexing.bindings</a></span> <span class="arrow">&#45;&gt;</span></span>
   <span><a href="../Low_level/index.html#type-optimized">Low_level.optimized</a> <span class="arrow">&#45;&gt;</span></span>
   <a href="#type-procedure">procedure</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compile_batch"><a href="#val-compile_batch" class="anchor"></a><code><span><span class="keyword">val</span> compile_batch : 

dev/arrayjit/Arrayjit/Low_level/index.html

@@ -48,13 +48,10 @@
   <span>unit <span class="arrow">&#45;&gt;</span></span>
   <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span>
   unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-get_ident_within_code"><a href="#val-get_ident_within_code" class="anchor"></a><code><span><span class="keyword">val</span> get_ident_within_code : 
-  <span><span class="optlabel">?ident_style</span>:
-    <span>[&lt; `Heuristic_ocannl <span>| `Name_and_label</span> <span>| `Name_only</span> Heuristic_ocannl ]</span> <span class="arrow">&#45;&gt;</span></span>
+  <span><span class="optlabel">?no_dots</span>:bool <span class="arrow">&#45;&gt;</span></span>
   <span><span><a href="#type-t">t</a> <span class="xref-unresolved">Base</span>.Array.t</span> <span class="arrow">&#45;&gt;</span></span>
   <span><a href="../Tnode/index.html#type-t">Tn.t</a> <span class="arrow">&#45;&gt;</span></span>
   <span class="xref-unresolved">Base</span>.String.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-fprint_hum"><a href="#val-fprint_hum" class="anchor"></a><code><span><span class="keyword">val</span> fprint_hum : 
-  <span><span class="optlabel">?ident_style</span>:
-    <span>[&lt; `Heuristic_ocannl <span>| `Name_and_label</span> <span>| `Name_only</span> Heuristic_ocannl ]</span> <span class="arrow">&#45;&gt;</span></span>
   <span><span class="optlabel">?name</span>:string <span class="arrow">&#45;&gt;</span></span>
   <span><span class="optlabel">?static_indices</span>:<span><a href="../Indexing/index.html#type-static_symbol">Indexing.static_symbol</a> list</span> <span class="arrow">&#45;&gt;</span></span>
   <span>unit <span class="arrow">&#45;&gt;</span></span>

dev/arrayjit/Arrayjit/Tnode/index.html

@@ -8,9 +8,17 @@
   <span class="xref-unresolved">Base</span>.String.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-get_debug_name"><a href="#val-get_debug_name" class="anchor"></a><code><span><span class="keyword">val</span> get_debug_name : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span class="xref-unresolved">Base</span>.String.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-styled_ident"><a href="#val-styled_ident" class="anchor"></a><code><span><span class="keyword">val</span> styled_ident : 
   <span><span class="label">repeating_nograd_idents</span>:<span><span>(<span class="xref-unresolved">Base</span>.String.t, <span class="type-var">'a</span>)</span> <span class="xref-unresolved">Base</span>.Hashtbl.t</span> <span class="arrow">&#45;&gt;</span></span>
   <span><span class="label">repeating_grad_idents</span>:<span><span>(<span class="xref-unresolved">Base</span>.String.t, <span class="type-var">'a</span>)</span> <span class="xref-unresolved">Base</span>.Hashtbl.t</span> <span class="arrow">&#45;&gt;</span></span>
-  <span><span>[&lt; `Heuristic_ocannl <span>| `Name_and_label</span> <span>| `Name_only</span> ]</span> <span class="arrow">&#45;&gt;</span></span>
+  <span><span>[&lt; <span>`Heuristic_ocannl of <span>[&lt; `Dot_grad <span>| `Under_grad</span> ]</span></span>
+  <span>| `Name_and_label</span>
+  <span>| `Name_only</span> ]</span> <span class="arrow">&#45;&gt;</span></span>
   <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span>
-  <span class="xref-unresolved">Base</span>.String.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-header"><a href="#val-header" class="anchor"></a><code><span><span class="keyword">val</span> header : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> string</span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Registry"><a href="#module-Registry" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Registry/index.html">Registry</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-registry"><a href="#val-registry" class="anchor"></a><code><span><span class="keyword">val</span> registry : <a href="Registry/index.html#type-t">Registry.t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-create"><a href="#val-create" class="anchor"></a><code><span><span class="keyword">val</span> create : 
+  <span class="xref-unresolved">Base</span>.String.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-get_style"><a href="#val-get_style" class="anchor"></a><code><span><span class="keyword">val</span> get_style : 
+  <span><span class="optlabel">?arg_name</span>:<span class="xref-unresolved">Base</span>.String.t <span class="arrow">&#45;&gt;</span></span>
+  <span><span class="optlabel">?no_dots</span>:bool <span class="arrow">&#45;&gt;</span></span>
+  <span>unit <span class="arrow">&#45;&gt;</span></span>
+  <span>[&gt; <span>`Heuristic_ocannl of <span>[&gt; `Dot_grad <span>| `Under_grad</span> ]</span></span>
+  <span>| `Name_and_label</span>
+  <span>| `Name_only</span> ]</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-header"><a href="#val-header" class="anchor"></a><code><span><span class="keyword">val</span> header : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> string</span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Registry"><a href="#module-Registry" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Registry/index.html">Registry</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-registry"><a href="#val-registry" class="anchor"></a><code><span><span class="keyword">val</span> registry : <a href="Registry/index.html#type-t">Registry.t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-create"><a href="#val-create" class="anchor"></a><code><span><span class="keyword">val</span> create : 
   <span><a href="../Ops/index.html#type-prec">Ops.prec</a> <span class="arrow">&#45;&gt;</span></span>
   <span><span class="label">id</span>:<span class="xref-unresolved">Base</span>.int <span class="arrow">&#45;&gt;</span></span>
   <span><span class="label">label</span>:<span><span class="xref-unresolved">Base</span>.string <span class="xref-unresolved">Base</span>.list</span> <span class="arrow">&#45;&gt;</span></span>

dev/arrayjit/Arrayjit/Utils/index.html

@@ -49,4 +49,4 @@
   <span><span><span class="type-var">'a</span> <a href="#type-mutable_list">mutable_list</a></span> <span class="arrow">&#45;&gt;</span></span>
   <span class="xref-unresolved">Sexplib0</span>.Sexp.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-empty"><a href="#val-empty" class="anchor"></a><code><span><span class="keyword">val</span> empty : <span><span class="type-var">'a</span> <a href="#type-mutable_list">mutable_list</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-cons"><a href="#val-cons" class="anchor"></a><code><span><span class="keyword">val</span> cons : <span><span class="label">hd</span>:<span class="type-var">'a</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="label">tl</span>:<span><span class="type-var">'b</span> <a href="#type-mutable_list">mutable_list</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'c</span> <a href="#type-mutable_list">mutable_list</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-is_empty"><a href="#val-is_empty" class="anchor"></a><code><span><span class="keyword">val</span> is_empty : <span><span><span class="type-var">'a</span> <a href="#type-mutable_list">mutable_list</a></span> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-is_cons"><a href="#val-is_cons" class="anchor"></a><code><span><span class="keyword">val</span> is_cons : <span><span><span class="type-var">'a</span> <a href="#type-mutable_list">mutable_list</a></span> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-empty_val"><a href="#val-empty_val" class="anchor"></a><code><span><span class="keyword">val</span> empty_val : <span><span><span class="type-var">'a</span> <a href="#type-mutable_list">mutable_list</a></span> <span class="arrow">&#45;&gt;</span></span> <span>unit <span class="xref-unresolved">Stdlib</span>.Option.t</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-cons_val"><a href="#val-cons_val" class="anchor"></a><code><span><span class="keyword">val</span> cons_val : 
   <span><span><span class="type-var">'a</span> <a href="#type-mutable_list">mutable_list</a></span> <span class="arrow">&#45;&gt;</span></span>
-  <span><span>(<span>[&gt; <span>`hd of <span class="type-var">'b</span></span> ]</span> * <span>[&gt; <span>`tl of <span><span class="type-var">'c</span> <a href="#type-mutable_list">mutable_list</a></span></span> ]</span>)</span> <span class="xref-unresolved">Stdlib</span>.Option.t</span></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Variants_of_mutable_list"><a href="#module-Variants_of_mutable_list" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Variants_of_mutable_list/index.html">Variants_of_mutable_list</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-insert"><a href="#val-insert" class="anchor"></a><code><span><span class="keyword">val</span> insert : <span><span class="label">next</span>:<span class="type-var">'a</span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'b</span> <a href="#type-mutable_list">mutable_list</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'c</span> <a href="#type-mutable_list">mutable_list</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-tl_exn"><a href="#val-tl_exn" class="anchor"></a><code><span><span class="keyword">val</span> tl_exn : <span><span><span class="type-var">'a</span> <a href="#type-mutable_list">mutable_list</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'b</span> <a href="#type-mutable_list">mutable_list</a></span></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-pp_file"><a href="#type-pp_file" class="anchor"></a><code><span><span class="keyword">type</span> pp_file</span><span> = </span><span>{</span></code><ol><li id="type-pp_file.f_name" class="def record field anchored"><a href="#type-pp_file.f_name" class="anchor"></a><code><span>f_name : <span class="xref-unresolved">Base</span>.string;</span></code></li><li id="type-pp_file.ppf" class="def record field anchored"><a href="#type-pp_file.ppf" class="anchor"></a><code><span>ppf : <span class="xref-unresolved">Stdlib</span>.Format.formatter;</span></code></li><li id="type-pp_file.finalize" class="def record field anchored"><a href="#type-pp_file.finalize" class="anchor"></a><code><span>finalize : <span><span class="xref-unresolved">Base</span>.unit <span class="arrow">&#45;&gt;</span></span> <span class="xref-unresolved">Base</span>.unit;</span></code></li></ol><code><span>}</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pp_file"><a href="#val-pp_file" class="anchor"></a><code><span><span class="keyword">val</span> pp_file : <span><span class="label">base_name</span>:<span class="xref-unresolved">Base</span>.String.t <span class="arrow">&#45;&gt;</span></span> <span><span class="label">extension</span>:<span class="xref-unresolved">Base</span>.String.t <span class="arrow">&#45;&gt;</span></span> <a href="#type-pp_file">pp_file</a></span></code></div></div></div></body></html>
+  <span><span>(<span>[&gt; <span>`hd of <span class="type-var">'b</span></span> ]</span> * <span>[&gt; <span>`tl of <span><span class="type-var">'c</span> <a href="#type-mutable_list">mutable_list</a></span></span> ]</span>)</span> <span class="xref-unresolved">Stdlib</span>.Option.t</span></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Variants_of_mutable_list"><a href="#module-Variants_of_mutable_list" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Variants_of_mutable_list/index.html">Variants_of_mutable_list</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-insert"><a href="#val-insert" class="anchor"></a><code><span><span class="keyword">val</span> insert : <span><span class="label">next</span>:<span class="type-var">'a</span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'b</span> <a href="#type-mutable_list">mutable_list</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'c</span> <a href="#type-mutable_list">mutable_list</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-tl_exn"><a href="#val-tl_exn" class="anchor"></a><code><span><span class="keyword">val</span> tl_exn : <span><span><span class="type-var">'a</span> <a href="#type-mutable_list">mutable_list</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'b</span> <a href="#type-mutable_list">mutable_list</a></span></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-pp_file"><a href="#type-pp_file" class="anchor"></a><code><span><span class="keyword">type</span> pp_file</span><span> = </span><span>{</span></code><ol><li id="type-pp_file.f_name" class="def record field anchored"><a href="#type-pp_file.f_name" class="anchor"></a><code><span>f_name : <span class="xref-unresolved">Base</span>.string;</span></code></li><li id="type-pp_file.ppf" class="def record field anchored"><a href="#type-pp_file.ppf" class="anchor"></a><code><span>ppf : <span class="xref-unresolved">Stdlib</span>.Format.formatter;</span></code></li><li id="type-pp_file.finalize" class="def record field anchored"><a href="#type-pp_file.finalize" class="anchor"></a><code><span>finalize : <span><span class="xref-unresolved">Base</span>.unit <span class="arrow">&#45;&gt;</span></span> <span class="xref-unresolved">Base</span>.unit;</span></code></li></ol><code><span>}</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pp_file"><a href="#val-pp_file" class="anchor"></a><code><span><span class="keyword">val</span> pp_file : <span><span class="label">base_name</span>:<span class="xref-unresolved">Base</span>.string <span class="arrow">&#45;&gt;</span></span> <span><span class="label">extension</span>:<span class="xref-unresolved">Base</span>.String.t <span class="arrow">&#45;&gt;</span></span> <a href="#type-pp_file">pp_file</a></span></code></div></div></div></body></html>