tablambda 0.7.0__py3-none-any.whl → 0.7.0.post8.dev0__py3-none-any.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- tablambda/_defun_runtime.py +1 -1
- {tablambda-0.7.0.dist-info → tablambda-0.7.0.post8.dev0.dist-info}/METADATA +1 -1
- {tablambda-0.7.0.dist-info → tablambda-0.7.0.post8.dev0.dist-info}/RECORD +5 -5
- {tablambda-0.7.0.dist-info → tablambda-0.7.0.post8.dev0.dist-info}/WHEEL +0 -0
- {tablambda-0.7.0.dist-info → tablambda-0.7.0.post8.dev0.dist-info}/entry_points.txt +0 -0
tablambda/_defun_runtime.py
CHANGED
|
@@ -162,7 +162,7 @@ def _is_thunk(x: object) -> TypeGuard[Thunk]:
|
|
|
162
162
|
# --- stack helpers ---------------------------------------------------------------------------------
|
|
163
163
|
|
|
164
164
|
_COMPILE_RECURSION_LIMIT = 16_000
|
|
165
|
-
_RECURSION_LIMIT =
|
|
165
|
+
_RECURSION_LIMIT = 2_000_000
|
|
166
166
|
_STACK_SIZE = 1024 * 1024 * 1024 # 1 GiB
|
|
167
167
|
|
|
168
168
|
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
Metadata-Version: 2.4
|
|
2
2
|
Name: tablambda
|
|
3
|
-
Version: 0.7.0
|
|
3
|
+
Version: 0.7.0.post8.dev0
|
|
4
4
|
Summary: A pure lambda-calculus interpreter that applies tabling to weak-head reduction, folding self-referential terms into finite cyclic graphs
|
|
5
5
|
Project-URL: Repository, https://github.com/Atry/MIXINv2
|
|
6
6
|
Author-email: "Yang, Bo" <yang-bo@yang-bo.com>
|
|
@@ -5,7 +5,7 @@ tablambda/_binnat.py,sha256=TMKbB5Ct5aRYwc7tC1dGsuSFSoQy1UqL_FpubeemF04,6589
|
|
|
5
5
|
tablambda/_codec.py,sha256=0OSKOJV2hocZMmn48TLvjqbMnZ_MJ1wOJcwlKIC0chQ,5979
|
|
6
6
|
tablambda/_compiler_artifact.py,sha256=j9JWNDt1ThtOMz1JTLpD6KkTaOkw3QwUV9jA2psom3o,1828
|
|
7
7
|
tablambda/_defun_codegen.py,sha256=vSgk31P_AgbUI506RnLV23RsJA2Hk9j_Y-zhGxOfNh4,13147
|
|
8
|
-
tablambda/_defun_runtime.py,sha256=
|
|
8
|
+
tablambda/_defun_runtime.py,sha256=n9KFGUqpPDHfMCyYnm5lMGm-vkhS_0SdJC0Sdkn6Oow,7949
|
|
9
9
|
tablambda/_defunctionalize.py,sha256=M1jJwaoG_vQAEkrXcVfYlzlnvGXrIvsP02B96B82Kvw,17708
|
|
10
10
|
tablambda/_dsl.py,sha256=J0mTuyL-qPQgHJxvD9R1SCc0M8imODnBvotTORywawM,5901
|
|
11
11
|
tablambda/_hoas_latex.py,sha256=l5AkiODG0CRRqFcmRUnYuTlWtmNzvalwpE8gRTnjgPw,6205
|
|
@@ -22,7 +22,7 @@ tablambda/_generated/__init__.py,sha256=_XA-qAGrK7esywkAOlTnKDF01A8c3MVFCK4FToC8
|
|
|
22
22
|
tablambda/_generated/_generated_defun_compiler_py311.py,sha256=cp6l4H9Od36Z-Xa_KHUJj4XL0dkXfFmVYSDCcwG1Rpo,230173
|
|
23
23
|
tablambda/_generated/_generated_defun_compiler_py312.py,sha256=fc0y4kRMGzYCNt1yK71VoC7rYNh2wGaCstJTvXbiCL8,230233
|
|
24
24
|
tablambda/_generated/_generated_defun_compiler_py313.py,sha256=QOUagbaoMQmXSDvEgzOwKoNZmbhWU9xE1Ex69piGjfg,230233
|
|
25
|
-
tablambda-0.7.0.dist-info/METADATA,sha256=
|
|
26
|
-
tablambda-0.7.0.dist-info/WHEEL,sha256=mffPy8wBnZQn2VnJUU5jE99KsxaSfiyMHV9Yt0aLVxs,87
|
|
27
|
-
tablambda-0.7.0.dist-info/entry_points.txt,sha256=M_gCK9oalSbNRaz669K_caYr8a4riwXRT4VdkF9Ub9Q,79
|
|
28
|
-
tablambda-0.7.0.dist-info/RECORD,,
|
|
25
|
+
tablambda-0.7.0.post8.dev0.dist-info/METADATA,sha256=3pLKDEt2wbZrH8pAKgK21Awa3frGlFIfXWEhHbGvfCA,2015
|
|
26
|
+
tablambda-0.7.0.post8.dev0.dist-info/WHEEL,sha256=mffPy8wBnZQn2VnJUU5jE99KsxaSfiyMHV9Yt0aLVxs,87
|
|
27
|
+
tablambda-0.7.0.post8.dev0.dist-info/entry_points.txt,sha256=M_gCK9oalSbNRaz669K_caYr8a4riwXRT4VdkF9Ub9Q,79
|
|
28
|
+
tablambda-0.7.0.post8.dev0.dist-info/RECORD,,
|
|
File without changes
|
|
File without changes
|