unisonweb/unison

create new output message for merge resulting in conflicted patch

Open

#1,206 opened on Feb 5, 2020

View on GitHub
 (0 comments) (0 reactions) (0 assignees)Haskell (304 forks)batch import
help wanted

Repository metrics

Stars
 (6,624 stars)
PR merge metrics
 (Avg merge 12d 19h) (6 merged PRs in 30d)

Description

Here's the current output.

.> merge nsz nsw

  A patch needs to be conflict-free.

  Here's what's changed in nsw after the merge:
  
  New name conflicts:
  
    1. a#ekguc9h648 : Nat
       ↓
    2. ┌ a#5f8uodgrtf : Nat
    3. └ a#ekguc9h648 : Nat
  
  Updates:
  
    4. b#be9a2abbbg : Nat
  
    There were 1 auto-propagated updates.
  
    5. patch patch (added 1 updates)
  
  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.

Should explicitly say that it wasn't able to run the patch after the merge, due to conflicts; and should probably come at the bottom, so you actually see it.

Contributor guide