Merge pull request #5270 from unisonweb/arya/fix-3424

unison-cli/src/Unison/Codebase/Editor/HandleInput/Update2.hs

@@ -7,6 +7,7 @@ module Unison.Codebase.Editor.HandleInput.Update2
   )
 where
 
+import Control.Lens ((.=))
 import Control.Monad.RWS (ask)
 import Data.Bifoldable (bifoldMap)
 import Data.List qualified as List
@@ -148,6 +149,7 @@ handleUpdate2 = do
         (\typeName -> Right (Map.lookup typeName declNameLookup.declToConstructors))
         secondTuf
   Cli.stepAt "update" (path, Branch.batchUpdates branchUpdates)
+  #latestTypecheckedFile .= Nothing
 
   Cli.respond Output.Success
 

unison-src/transcripts/fix3424.md

@@ -0,0 +1,26 @@
+```ucm
+scratch/main> builtins.merge lib.builtins
+```
+
+```unison:hide
+a = do b
+b = "Hello, " ++ c ++ "!"
+c = "World"
+```
+
+```ucm
+scratch/main> add
+scratch/main> run a
+```
+
+```unison:hide
+a = do b
+c = "Unison"
+```
+
+```ucm
+scratch/main> update
+scratch/main> run a
+```
+
+The result should be "Hello, Unison!".

unison-src/transcripts/fix3424.output.md

@@ -0,0 +1,50 @@
+``` ucm
+scratch/main> builtins.merge lib.builtins
+
+  Done.
+
+```
+``` unison
+a = do b
+b = "Hello, " ++ c ++ "!"
+c = "World"
+```
+
+``` ucm
+scratch/main> add
+
+  ⍟ I've added these definitions:
+  
+    a : 'Text
+    b : Text
+    c : Text
+
+scratch/main> run a
+
+  "Hello, World!"
+
+```
+``` unison
+a = do b
+c = "Unison"
+```
+
+``` ucm
+scratch/main> update
+
+  Okay, I'm searching the branch for code that needs to be
+  updated...
+
+  That's done. Now I'm making sure everything typechecks...
+
+  Everything typechecks, so I'm saving the results...
+
+  Done.
+
+scratch/main> run a
+
+  "Hello, Unison!"
+
+```
+The result should be "Hello, Unison\!".
+