You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
If I run a server using > run myserver, then keep working in scratch.u while that's up, I eventually Ctrl-C the server and it gets flooded with a type-check for EACH time I saved the file while the server was up. It should just perform a single type-check for each file that changed in that time.
The text was updated successfully, but these errors were encountered:
If I run a server using
> run myserver
, then keep working inscratch.u
while that's up, I eventually Ctrl-C the server and it gets flooded with a type-check for EACH time I saved the file while the server was up. It should just perform a single type-check for each file that changed in that time.The text was updated successfully, but these errors were encountered: