unexpected blank lines in diff's name conflicts section

Metriche repository

Star

6624 star (6624 star)

Metriche merge PR

Merge medio 12g 19h (Merge medio 12g 19h)6 PR mergiate in 30 g (6 PR mergiate in 30 g)

Descrizione

.a> merge .b

  Here's what's changed in the current namespace after the
  merge:
  
  New name conflicts:
  
    1. type Foo#d97e0jhkmd
         
       ↓
    2. ┌ type Foo#d97e0jhkmd
           
    3. └ type Foo#gq9inhvg9h
           
    
    4. Foo.Foo#d97e0jhkmd#0 : Nat -> Foo#d97e0jhkmd
       ↓
    5. ┌ Foo.Foo#d97e0jhkmd#0 : Nat -> Foo#d97e0jhkmd
    6. └ Foo.Foo#gq9inhvg9h#0 : Boolean -> Foo#gq9inhvg9h
  
  Added definitions:
  
    7. foo : Nat
  
  Tip: You can use `todo` to see if this generated any work to
       do in this namespace and `test` to run the tests. Or you
       can use `undo` or `reflog` to undo the results of this
       merge.

Guida contributor

Direzione di ricerca

Ispeziona il generatore di output diff per trovare dove le righe vuote vengono inserite erroneamente nella sezione dei conflitti di nome.

Tech stack

haskell

Dominio

cli

Tipo issue

Bug

DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.

2

Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.

1-3 ore

Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.

Attiva

ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.

Chiara

Prerequisiti

Git

Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.

75