Allow customization of type checker settings in target code base in LLM-based synthesis.
I maintainer di solito rispondono entro 1 giorno
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Idoneità per principianti
- 58/100
- Tipo di issue
- Funzionalità
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Attiva
- Stack tecnologico
- python
- Ambito
- developer-experience, tooling
Direzione di ricerca
Start at the type-checking path used by exec_code and locate where the default --follow-imports setting is applied. Add a way to customize that setting for the target code base, then verify the RoboTL example succeeds with silent imported-module checking while retaining imported type information.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
In repos with their own mypy config, like RoboTL, synthesis can fail because the harness rejects the snippet that passes local type checking. For example, running exec_code with the following code fails:
import robotl.handlers.mujoco.rollouts as rollouts
print(rollouts.Threadpool)
With the following errors:
process.py 345 Incompatible return value type (got "tuple[Any | Array, Any | T]", ...
rollouts.py 107 Argument 2 to "rollout" of "Threadpool" has incompatible type "ndarray...
This is because --follow-imports has been enabled by default. Changing --follow-imports=silent would fix this: It keeps type information from imported modules but does not report errors from them.
- Lingua principale
- Python
- Stelle
- 54
- Fork
- 4
- Merge medio
- 2g 7h
- PR unite (30g)
- 12
Preparare l'ambiente
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di BasisResearch/effectful
-
module:llm
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
BasisResearch/effectful#785 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
BasisResearch/effectful#783 ·
I maintainer di solito rispondono entro 1 giorno
-
module:llm
Difficoltà 3/5 1-2 giorni Idoneità per principianti 72/100
BasisResearch/effectful#780 ·
I maintainer di solito rispondono entro 1 giorno
-
CI builds should run LLM tests with multiple models/providersForse di nuovo libera @eb8680 l’ha presa 28 giorni fa e non c’è nessuna pull request aperta. Apertamodule:llm
BasisResearch/effectful#779 · 1 assegnatario ·
I maintainer di solito rispondono entro 1 giorno
-
Code-derived inputs and outputs should be serialized as raw stringsForse di nuovo libera @eb8680 l’ha presa 28 giorni fa e non c’è nessuna pull request aperta. Apertamodule:llm
BasisResearch/effectful#775 · 1 assegnatario ·
I maintainer di solito rispondono entro 1 giorno
Tutte le issue di BasisResearch/effectful
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 85/100
kornia/kornia#5263 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
approved correction metadata
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 88/100
acl-org/acl-anthology#10133 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
BasedHardware/omi#20084 ·
I maintainer di solito rispondono entro 1 giorno
-
bug needs-acceptance wg/evaluation-quality
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
vllm-project/semantic-router#4424 ·
I maintainer di solito rispondono entro 1 giorno