lambdaclass / lambdaclass/lambda_compiler_kit
feat: add --version flag to lck-grep CLI
Nessuno ha ancora preso questa issue.
- Lingua principale
- Lean
- Stelle
- 2
- Fork
- 1
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
Problem
The lck-grep CLI tool has no --version flag, making it difficult to identify which build is running in scripts or bug reports.
Expected fix
Add a --version flag that prints the engine version (could be derived from a constant defined in a Version.lean or hardcoded initially).
References
- Suggested by AI code review on PR #9
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
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.
Direzione di ricerca
Inizia individuando il punto di ingresso della CLI di lck-grep e verificando se esiste un file Version.lean; esamina PR #9 per il contesto. Il lavoro è completato quando la CLI accetta --version e stampa la versione del motore, anche quando viene invocata da script o segnalazioni di bug.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Ambito
- cli, compilers
- Tipo di issue
- Funzionalità
- Difficoltà
- 2/5
- Tempo stimato
- 1-3 ore
- Stato di attività
- Ferma
- Chiarezza
- Abbastanza chiara
- Idoneità per principianti
- 50/100