[WIP] refactor: merge tables by lakesare · Pull Request #13 · frenzymath/LeanSearch

lakesare · 2025-05-13T02:42:55Z

Note

Please merge all other PRs before reviewing this PR.

Merges the symbol, declaration and informal tables.

… pylance errors

…n db calls)

…e jixia_db` works]

… works]

lakesare added 11 commits May 6, 2025 22:07

jixia_db.py - use dict instead of tuple in db call

9050426

jixia_db.py - fix "None is not iterable" pylance error

83ff6f3

jixia_db.py - use a for-loop instead of python's list comprehension

89a39a5

jixia_db.py - fix two ""as_slice" is not a known attribute of "None""…

59fe006

… pylance errors

jixia_db.py - make ruff happy

448c10c

jixia_db.py - refactor "first lean; then project" folder parsing

3227c30

jixia_db.py - refactor load_module() (use dicts instead of tuples i…

bc3a1a3

…n db calls)

jixia_db.py, create_schema.py - merge tables declaration+symbol [`mak…

d14aab7

…e jixia_db` works]

create_schema.py - merge tables informal+declaration [make jixia_db…

0a12821

… works]

informalize.py - made make informal work with merged tables

16183be

vector_db.py - made make index work with merged tables

6a01956

lakesare changed the title ~~Lakesare/merge tables~~ [WIP] refactor: merge tables May 13, 2025

Provide feedback