Dev 2.3 #203

cristianoc · 2023-09-30T01:21:36Z

No description provided.

* index * Update index.py * move * Use project. * load and save * benchmark search * unused * async * openai embedding * async only in index creation * Avoid nan in embeddings.

* Vendor tree-sitter-lean Vendor tree-sitter-lean from https://github.com/Julian/tree-sitter-lean * Add Lean to custom parsers. * IR: add Lean parser. * IR: add Lean tests. * IR: correctly build lean tree sitter

* Clean up agents code The agent params are sent from the client, and are the same for all agents. So there's no customisation in practice. Remove redundant class member that were set per agent but were already inherited from the abstract agent class. * Clean up server parameter of agent create.

All agents use messages in the state. This avoids repeating it in every agent.

Statements are redundant: use the body of the file block.

Then statements can be removed.

Items are not required now that Unknown symbols have replaced statements without symbols.

A function can be used to compute the similarity directly.

This allows to capture the symbol inside an expression when available. If the expression corresponds to a recognised metasymbol, then it will be that symbol. Otherwise it will be the string corresponding to the original code, but where the symbol names will be replaces for the corresponding parts of code.

I'm looking at you `vendor/tree-sitter-lean/src/parser.c` with your 100MB and 3MLOC.

cristianoc mentioned this pull request Sep 30, 2023

IR: fix counter for guards. #201

Closed

cristianoc added 29 commits October 19, 2023 14:11

IR: fix counter for guards.

c39a14c

IR: support default values in python functions.

b483d6a

Index (#204)

b9e46d1

* index * Update index.py * move * Use project. * load and save * benchmark search * unused * async * openai embedding * async only in index creation * Avoid nan in embeddings.

Add lean tree sitter (#205)

0711177

* Vendor tree-sitter-lean Vendor tree-sitter-lean from https://github.com/Julian/tree-sitter-lean * Add Lean to custom parsers. * IR: add Lean parser. * IR: add Lean tests. * IR: correctly build lean tree sitter

Agents cleanup: move messages to abstract state.

9a7a0ec

All agents use messages in the state. This avoids repeating it in every agent.

Add metalanguage.

34ca16b

Update metalanguage.py

4be154e

IR: rearrange symbol kinds. Get a sorted list on top.

2d349f8

IR: document symbol kinds

42d3db6

IR: document symbol

d0dca39

IR: add file symbol as parent of toplevel symbols.

d985e09

IR File: remove statements

940f79f

Statements are redundant: use the body of the file block.

IR: no need to return from parse statement and block.

64b2766

IR: introduce Unknown symbol in pace of statement with no sybol

e220789

Then statements can be removed.

IR: remove concept of Item and make Block a list of symbols.

56c848e

Items are not required now that Unknown symbols have replaced statements without symbols.

IR: clean up statements.

e8fa1dd

IR: remove parse_statement

fc7a6a3

Index: refactor embedding.

7e8607c

Index: support searching function, file, class.

79533b0

Index API: use Query class.

3a4d6f1

Index: test boolean queries.

c3a6306

IR: File() constructor takes a code argument now.

61a7860

sort imports

61a4ebf

Delete index.rci

3033ba6

Index: move similarity to "Node".

be74f18

Index: refactor Node to use subclassing.

5ebf0c6

Index: move out Node class.

41c7a49

Index: add function node to query

70d0f3e

A function can be used to compute the similarity directly.

cristianoc added 17 commits October 19, 2023 14:12

Update linter_agent.py

a602567

IR: rename kind to symbol_kind

f1f5f43

IR: rename property "name" to "kind" in symbol and symbol kind

cb03b62

Update metalanguage.py

9bd914e

Update linter_agent.py

c028be6

Update missing_types.txt

822820a

IR: add parent symbol to types.

ecbf745

IR: add parent symbol to parameter.

960c96f

IR: add parent to Field.

d203623

IR metalanguage: get file path directly from the parent symbol.

3ae00ba

IR: selectively update custom parsers when testing metalanguage.

64bcafe

Split out OCaml parser.

9096490

IR: split out ReScript parser

9e0b2fc

IR: split out lean parser

90cc437

IR: add support for ReScript array.

9feacc9

IR: fix parsing of "," in call arguments.

58f199c

IR: add support for ReScript tuples.

3849629

cristianoc force-pushed the dev-2.3 branch from 1a9402c to 3849629 Compare October 19, 2023 12:12

cristianoc added 12 commits October 19, 2023 14:32

IR: towards checking the second argument of useEffect.

7293504

IR: more metalanguage tests.

0002ad7

IR: correct indentation in the metalanguage

be36e67

IR: don't parse files larger than 5MB.

fe4d192

I'm looking at you `vendor/tree-sitter-lean/src/parser.c` with your 100MB and 3MLOC.

typo

a21f8c5

IR: fix language of "File" symbol.

793deca

IR: use local imports for "ir".

e7c7f56

Remove unused import

314dec9

IS: add accessors for files, and symbols in a file.

452afe4

black and isort settings

b3433f4

Update linter examples for demo.

b50887c

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Dev 2.3 #203

Dev 2.3 #203

cristianoc commented Sep 30, 2023

Dev 2.3 #203

Are you sure you want to change the base?

Dev 2.3 #203

Conversation

cristianoc commented Sep 30, 2023