clear latestTypecheckedFile on update

fixes #3424
unisonweb · Aug 9, 2024 · c4f8ffc · c4f8ffc
1 parent 01cae7e
commit c4f8ffc
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/unison-cli/src/Unison/Codebase/Editor/HandleInput/Update2.hs b/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
 

diff --git a/unison-src/transcripts/fix3424.output.md b/unison-src/transcripts/fix3424.output.md
@@ -43,7 +43,7 @@ scratch/main> update
 
 scratch/main> run a
 
-  "Hello, World!"
+  "Hello, Unison!"
 
 ```
 The result should be "Hello, Unison\!".