Skip to content

Commit 90d0860

Browse files
garesgares
committed
Deploying to gh-pages from @ c03b9d1 🚀
1 parent 0090679 commit 90d0860

File tree

4 files changed

+67
-63
lines changed

4 files changed

+67
-63
lines changed

‎_sources/playground.rst.txt‎

Lines changed: 32 additions & 30 deletions
Original file line numberDiff line numberDiff line change
@@ -128,8 +128,10 @@ Test Bed
128128
129129
Parsing time: 0.000
130130
Fatal error: File "/home/runner/work/elpi/elpi/docs/source/../../tests/sources/accumulated.elpi", line 1, column 0, characters 0-17:
131-
Two types for the same symbol cannot only differ on modes or functionality.
132-
Previous declaration: File "/home/runner/work/elpi/elpi/docs/source/../../tests/sources/accumulate_twice1.elpi", line 1, column 0, characters 0-17:
131+
Two types for the symbol doomed cannot only differ on modes or functionality.
132+
Current declaration: (pred o:int)
133+
Previous declaration: (pred i:int)
134+
(File "/home/runner/work/elpi/elpi/docs/source/../../tests/sources/accumulate_twice1.elpi", line 1, column 0, characters 0-17:)
133135
134136
**../../tests/sources/accumulate_twice2.elpi
135137
:**
@@ -184,7 +186,7 @@ Test Bed
184186
Warning: File "/home/runner/work/elpi/elpi/docs/source/../../tests/sources/ackermann.elpi", line 24, column 38, characters 794-795:
185187
V is linear: name it _V (discard) or V_ (fresh variable)
186188
187-
Compilation time: 0.000
189+
Compilation time: 0.001
188190
189191
Typechecking time: 0.004
190192
Determinacy checking time: 0.005
@@ -308,9 +310,9 @@ Test Bed
308310
309311
Parsing time: 0.000
310312
Warning: File "/home/runner/work/elpi/elpi/docs/source/../../tests/sources/chr.elpi", line 36, column 2, characters 992-994:
311-
ignoring flexible clause: GX
313+
skipping static analysis of flexible rule: GX
312314
Warning: File "/home/runner/work/elpi/elpi/docs/source/../../tests/sources/chr.elpi", line 37, column 2, characters 1012-1014:
313-
ignoring flexible clause: GY
315+
skipping static analysis of flexible rule: GY
314316
315317
Compilation time: 0.001
316318
@@ -404,7 +406,7 @@ Test Bed
404406
405407
Compilation time: 0.000
406408
407-
Typechecking time: 0.004
409+
Typechecking time: 0.003
408410
Determinacy checking time: 0.005
409411
410412
Success:
@@ -646,7 +648,7 @@ Test Bed
646648
647649
Compilation time: 0.000
648650
649-
Typechecking time: 0.003
651+
Typechecking time: 0.004
650652
Determinacy checking time: 0.005
651653
652654
Success:
@@ -1445,7 +1447,7 @@ Test Bed
14451447
14461448
Success:
14471449
1448-
Time: 1.894
1450+
Time: 1.822
14491451
14501452
Constraints:
14511453
@@ -1610,7 +1612,7 @@ Test Bed
16101612
16111613
Success:
16121614
1613-
Time: 0.347
1615+
Time: 0.346
16141616
16151617
Constraints:
16161618
@@ -1886,7 +1888,7 @@ Test Bed
18861888
18871889
Success:
18881890
1889-
Time: 0.003
1891+
Time: 0.002
18901892
18911893
Constraints:
18921894
@@ -1919,9 +1921,9 @@ Test Bed
19191921
19201922
Parsing time: 0.000
19211923
Warning: File "/home/runner/work/elpi/elpi/docs/source/../../tests/sources/llamchr.elpi", line 28, column 15, characters 710-712:
1922-
ignoring flexible clause: GX
1924+
skipping static analysis of flexible rule: GX
19231925
Warning: File "/home/runner/work/elpi/elpi/docs/source/../../tests/sources/llamchr.elpi", line 28, column 33, characters 728-730:
1924-
ignoring flexible clause: GY
1926+
skipping static analysis of flexible rule: GY
19251927
Warning: File "/home/runner/work/elpi/elpi/docs/source/../../tests/sources/llamchr.elpi", line 35, column 4, characters 868-869:
19261928
P is linear: name it _P (discard) or P_ (fresh variable)
19271929
Warning:
@@ -1950,7 +1952,7 @@ Test Bed
19501952
Compilation time: 0.001
19511953
19521954
Typechecking time: 0.004
1953-
Determinacy checking time: 0.006
1955+
Determinacy checking time: 0.005
19541956
19551957
Success:
19561958
@@ -1971,7 +1973,7 @@ Test Bed
19711973

19721974
.. code-block:: console
19731975
1974-
1.275306 + 0.058079 + 0.911427
1976+
1.313002 + 0.057127 + 0.914695
19751977
19761978
19771979
.. code-block:: console
@@ -1986,7 +1988,7 @@ Test Bed
19861988
19871989
Success:
19881990
1989-
Time: 2.469
1991+
Time: 2.516
19901992
19911993
Constraints:
19921994
@@ -2003,7 +2005,7 @@ Test Bed
20032005

20042006
.. code-block:: console
20052007
2006-
6.631265 + 3.155827 + 0.370491
2008+
6.440663 + 3.041939 + 0.343698
20072009
20082010
20092011
.. code-block:: console
@@ -2018,7 +2020,7 @@ Test Bed
20182020
20192021
Success:
20202022
2021-
Time: 10.165
2023+
Time: 9.834
20222024
20232025
Constraints:
20242026
@@ -2035,7 +2037,7 @@ Test Bed
20352037

20362038
.. code-block:: console
20372039
2038-
5.901941 + 2.944579 + 0.216670
2040+
5.792993 + 2.871486 + 0.220871
20392041
20402042
20412043
.. code-block:: console
@@ -2050,7 +2052,7 @@ Test Bed
20502052
20512053
Success:
20522054
2053-
Time: 9.070
2055+
Time: 8.892
20542056
20552057
Constraints:
20562058
@@ -2161,7 +2163,7 @@ Test Bed
21612163
21622164
Compilation time: 0.000
21632165
2164-
Typechecking time: 0.003
2166+
Typechecking time: 0.004
21652167
Determinacy checking time: 0.005
21662168
21672169
Success:
@@ -2596,7 +2598,7 @@ Test Bed
25962598
Compilation time: 0.002
25972599
25982600
Typechecking time: 0.004
2599-
Determinacy checking time: 0.006
2601+
Determinacy checking time: 0.005
26002602
26012603
Success:
26022604
@@ -2760,7 +2762,7 @@ Test Bed
27602762
27612763
Success:
27622764
2763-
Time: 1.766
2765+
Time: 1.713
27642766
27652767
Constraints:
27662768
@@ -2794,7 +2796,7 @@ Test Bed
27942796

27952797
.. code-block:: console
27962798
2797-
6
2799+
2
27982800
27992801
28002802
.. code-block:: console
@@ -2804,7 +2806,7 @@ Test Bed
28042806
28052807
Compilation time: 0.000
28062808
2807-
Typechecking time: 0.004
2809+
Typechecking time: 0.003
28082810
Determinacy checking time: 0.005
28092811
28102812
Success:
@@ -2885,7 +2887,7 @@ Test Bed
28852887
28862888
Success:
28872889
2888-
Time: 1.692
2890+
Time: 1.595
28892891
28902892
Constraints:
28912893
@@ -3100,7 +3102,7 @@ Test Bed
31003102
31013103
Success:
31023104
3103-
Time: 0.135
3105+
Time: 0.129
31043106
31053107
Constraints:
31063108
@@ -3178,7 +3180,7 @@ Test Bed
31783180

31793181
.. code-block:: console
31803182
3181-
1.121948 + 0.054789 + 0.778183
3183+
1.144658 + 0.055658 + 0.794923
31823184
31833185
31843186
.. code-block:: console
@@ -3193,7 +3195,7 @@ Test Bed
31933195
31943196
Success:
31953197
3196-
Time: 2.047
3198+
Time: 2.089
31973199
31983200
Constraints:
31993201
@@ -3269,7 +3271,7 @@ Test Bed
32693271
32703272
Compilation time: 0.000
32713273
3272-
Typechecking time: 0.003
3274+
Typechecking time: 0.004
32733275
Determinacy checking time: 0.005
32743276
32753277
**../../tests/sources/shorten_aux2.elpi
@@ -4063,7 +4065,7 @@ Test Bed
40634065
Compilation time: 0.002
40644066
40654067
Typechecking time: 0.004
4066-
Determinacy checking time: 0.006
4068+
Determinacy checking time: 0.005
40674069
40684070
Success:
40694071

‎elpi/Elpi_compiler/Compiler_data/TypeAssignment/index.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -80,8 +80,8 @@
8080
<span><a href="../../../Elpi_parser/Ast/Structured/index.html#type-functionality">Elpi_parser.Ast.Structured.functionality</a> option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-eq_skema_w_id"><a href="#val-eq_skema_w_id" class="anchor"></a><code><span><span class="keyword">val</span> eq_skema_w_id : <span><a href="../../../Elpi_parser/Ast/Func/index.html#type-t">F.t</a> <span class="arrow">&#45;&gt;</span></span> <span><span>(<a href="../../../Elpi_runtime/Data/Symbol/index.html#type-t">Symbol.t</a> * <a href="#type-skema">skema</a>)</span> <span class="arrow">&#45;&gt;</span></span> <span><span>(<a href="../../../Elpi_runtime/Data/Symbol/index.html#type-t">Symbol.t</a> * <a href="#type-skema">skema</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-check_same_mode"><a href="#val-check_same_mode" class="anchor"></a><code><span><span class="keyword">val</span> check_same_mode :
8181
<span><span class="label">loc1</span>:<a href="../../../Elpi_util/Util/Loc/index.html#type-t">Elpi_util.Util.Loc.t</a> <span class="arrow">&#45;&gt;</span></span>
8282
<span><span class="label">loc2</span>:<a href="../../../Elpi_util/Util/Loc/index.html#type-t">Elpi_util.Util.Loc.t</a> <span class="arrow">&#45;&gt;</span></span>
83-
<span><a href="#type-skema">skema</a> <span class="arrow">&#45;&gt;</span></span>
84-
<span><a href="#type-skema">skema</a> <span class="arrow">&#45;&gt;</span></span>
83+
<span><span>(<a href="../../../Elpi_runtime/Data/Symbol/index.html#type-t">Symbol.t</a> * <a href="#type-skema">skema</a>)</span> <span class="arrow">&#45;&gt;</span></span>
84+
<span><span>(<span class="type-var">'a</span> * <a href="#type-skema">skema</a>)</span> <span class="arrow">&#45;&gt;</span></span>
8585
unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-undup_skemas"><a href="#val-undup_skemas" class="anchor"></a><code><span><span class="keyword">val</span> undup_skemas :
8686
<span><span>(<span><a href="../../../Elpi_runtime/Data/Symbol/index.html#type-t">Symbol.t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-skema">skema</a>)</span> <span class="arrow">&#45;&gt;</span></span>
8787
<span><span><a href="../../../Elpi_runtime/Data/Symbol/index.html#type-t">Symbol.t</a> list</span> <span class="arrow">&#45;&gt;</span></span>

0 commit comments

Comments
 (0)