unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-08-15 13:30:27 +03:00
Code Issues Projects Releases Wiki Activity
trunk
unison/unison-src/transcripts/fix-1381-excess-propagate.output.md
Greg Pfeil 0031542faf
Add a space before code block info strings 
This is for consistency with the `cmark` style. Now the blocks we still
pretty-print ourselves will match the bulk of them that `cmark`
produces.
2024-07-10 13:56:07 -06:00

1018 B
Raw Permalink Blame History

We were seeing an issue where (it seemed) that every namespace that was visited during a propagate would get a new history node, even when it didn't contain any dependents.

Example:

a = "a term"
X.foo = "a namespace"

scratch/main> add

  ⍟ I've added these definitions:
  
    X.foo : ##Text
    a     : ##Text

Here is an update which should not affect X:

a = "an update"

scratch/main> update

  Okay, I'm searching the branch for code that needs to be
  updated...

  Done.

As of the time of this writing, the history for X should be a single node, #4eeuo5bsfr;

scratch/main> history X

  Note: The most recent namespace hash is immediately below this
        message.
  
  
  
  □ 1. #das1se4g2i (start of history)

however, as of release/M1i, we saw an extraneous node appear. If your ucm is fixed, you won't see it below:

scratch/main> history #7nl6ppokhg

  😶
  
  I don't know of a namespace with that hash.