Empty line before comment should (sometimes) be preserved
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Idoneità per principianti
- 48/100
Direzione di ricerca
Inizia dalla gestione da parte di zeek-format delle righe vuote prima dei commenti minori, confrontando i commenti dopo un evento completato con i commenti che sono il primo nodo dopo {. Verifica che la formattazione dell'esempio preservi la riga vuota e che una nuova formattazione del risultato non apporti modifiche, mentre le righe vuote immediatamente dopo { continuino a essere rimosse.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Currently zeek-format removes empty lines before any minor comments, e.g.,
event new_event(name: string, params: call_argument_vector)
{
print name;
}
# Should preserve empty line before.
first gets formatted to
event new_event(name: string, params: call_argument_vector)
{
print name;
}
# Should preserve empty line.
and then again (breaking idempotency) to
event new_event(name: string, params: call_argument_vector)
{
print name;
}
# Should preserve empty line.
I would have expect this to not change formatting at all.
zeek-format should still remove empty after e.g., { (comment first node in block).
Labelling as bug due to idempotency breaking.
- Lingua principale
- Python
- Stelle
- 11
- Fork
- 4
- Merge medio
- 3g 19h
- PR unite (30g)
- 1
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.
Altre issue di zeek/zeekscript
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
zeek/zeekscript#137 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 38/100
zeek/zeekscript#120 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
zeek/zeekscript#83 · 1 commento ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
zeek/zeekscript#69 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
zeek/zeekscript#63 ·
Tutte le issue di zeek/zeekscript
Issue simili
-
area: harness bug status: needs-triage
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
Human-Agent-Society/reef#625 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 80/100
learningequality/kolibri#15351 · 2 commenti ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
-
Name consistency Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
eellak/triplestore#65 · 1 commento ·