tablambda 0.7.0.post2.dev0__tar.gz → 0.7.0.post9.dev0__tar.gz
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-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/PKG-INFO +1 -1
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/_defun_runtime.py +1 -1
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/.gitignore +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/README.md +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/pyproject.toml +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/__init__.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/_analysis.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/_ast.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/_binnat.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/_codec.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/_compiler_artifact.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/_defun_codegen.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/_defunctionalize.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/_dsl.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/_generated/.gitattributes +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/_generated/__init__.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/_generated/_generated_defun_compiler_py311.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/_generated/_generated_defun_compiler_py312.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/_generated/_generated_defun_compiler_py313.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/_hoas_latex.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/_latex.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/_prelude.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/_pyast.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/_pybuild.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/_reduce.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/_shape.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/_sugar.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/_typecheck.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/tests/__snapshots__/test_binnat.ambr +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/tests/__snapshots__/test_defunctionalize.ambr +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/tests/test_arithmetic.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/tests/test_binnat.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/tests/test_defunctionalize.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/tests/test_hoas_latex.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/tests/test_pyast.py +0 -0
- {tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/tests/test_pybuild.py +0 -0
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
Metadata-Version: 2.4
|
|
2
2
|
Name: tablambda
|
|
3
|
-
Version: 0.7.0.
|
|
3
|
+
Version: 0.7.0.post9.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>
|
|
@@ -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
|
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
{tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/_compiler_artifact.py
RENAMED
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
{tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/_generated/.gitattributes
RENAMED
|
File without changes
|
{tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/src/tablambda/_generated/__init__.py
RENAMED
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
{tablambda-0.7.0.post2.dev0 → tablambda-0.7.0.post9.dev0}/tests/__snapshots__/test_binnat.ambr
RENAMED
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|