search

unisonweb / unison

A friendly programming language from the future
https://unison-lang.org
Other
5.73k stars 266 forks source link

UCM should use VACUUM INTO for making backups, rather than `copyFile` #3823

Closed ChrisPenner closed 4 months ago

aryairani commented 4 months ago

@ChrisPenner Is this still current?

ChrisPenner commented 4 months ago

Looks like I did it at some point :)

https://github.com/unisonweb/unison/blob/trunk/parser-typechecker/src/Unison/Codebase/SqliteCodebase/Migrations.hs#L220