Skip to content

first scratch file save after edit is unresponsive #5698

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
ceedubs opened this issue May 14, 2025 · 0 comments
Open

first scratch file save after edit is unresponsive #5698

ceedubs opened this issue May 14, 2025 · 0 comments
Labels

Comments

@ceedubs
Copy link
Contributor

ceedubs commented May 14, 2025

Describe and demonstrate the bug

  • Edit a definition in your project: edit foo.
  • Save your scratch file (with or without changes)
  • ucm doesn't show any output (but if you have DEBUG=timing enabled, then it does show UnisonFileChanged)
  • Save your scratch file a second time.
  • Now it says Loading changes detected in... and works as expected

Screenshots

@cloud/nimbus/cluster-endpoints> edit main.nodeMain

  ☝️
  
  I added 1 definitions to the top of /home/unison/code/unison/scratch.u
  
  You can edit them there, then run `update` to replace the definitions currently in this
  namespace.

InputPattern: 141 ms (cpu), 144 ms (system)
@cloud/nimbus/cluster-endpoints> 
UnisonFileChanged: 7.03 µs (cpu), 9.03 µs (system)
@cloud/nimbus/cluster-endpoints> 

  Loading changes detected in ~/code/unison/scratch.u.


  I found and typechecked these definitions in ~/code/unison/scratch.u. If you do an `add` or
  `update`, here's how your codebase would change:
  
    ⍟ These names already exist. You can `update` them to your new definition:
    
      main.nodeMain : '{IO, Exception} ()

UnisonFileChanged: 473 ms (cpu), 475 ms (system)

Environment (please complete the following information):

  • ucm --version a56abf7
  • OS/Architecture: x86 NixOS

Additional context

I'm not sure, but I believe that this might be a regression introduced by #5631. cc @mitchellwrosen

@ceedubs ceedubs added the bug label May 14, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant