lambdaclass / lambdaclass/lambda_compiler_kit
feat: add --version flag to lck-grep CLI
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Lean
- Sterne
- 2
- Forks
- 1
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
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
Beitragsleitfaden
Für dieses Repository ist kein Beitragsleitfaden indexiert
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
Rechercherichtung
Beginne damit, den CLI-Einstiegspunkt von lck-grep zu lokalisieren und zu prüfen, ob eine Datei Version.lean vorhanden ist; sieh dir PR #9 als Kontext an. Als erledigt gilt die Aufgabe, wenn die CLI --version akzeptiert und die Engine-Version ausgibt, auch wenn sie aus Skripten oder in Fehlerberichten aufgerufen wird.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Bereich
- cli, compilers
- Issue-Typ
- Feature
- Schwierigkeit
- 2/5
- Geschätzter Aufwand
- 1-3 Stunden
- Aktivitätsstatus
- Veraltet
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 50/100