unison
unison copied to clipboard
Database Integrity Error when no Unit in codebase
Given a fresh codebase
And this scratch file:
x = ()
The following causes a database integrity error:
.> add
⍟ I've added these definitions:
x : ()
Encountered Exception: DatabaseIntegrityError (NoObjectForPrimaryHashId (HashId 5))
CallStack (from HasCallStack):
error, called at src/Unison/Codebase/SqliteCodebase.hs:925:29 in unison-parser-typechecker-0.0.0-6GFzkoMkw4W5u57A5cQFCX:Unison.Codebase.SqliteCodebase
This issue doesn't occur in transcripts or if you run builtins.mergeio first.
This is still true in 0.5.23