unison
unison copied to clipboard
Referring to a named watch, then adding, triggers sqlite crash
Referring to a named watch, then adding, triggers sqlite crash
> named = 18
x = named
.> add
⍟ I've added these definitions:
x : Nat
I added some default metadata.
Encountered exception:
SqliteQueryException
{ sql = "SELECT object.id
FROM object
JOIN hash ON object.primary_hash_id = hash.id
WHERE hash.base32 = ? COLLATE NOCASE"
, params = ""4cmnuksk66811n0hde9oroe54q1ku0r11fj50hvnvpfn7baooolpc4kpkocb3j6e6r7tu485mkvit586io4m4ua43ukd54i1kk24rpo""
, exception = ExpectedExactlyOneRowException
{ rows = "[]" }
, callStack = []
, connection = Connection
{ name = "main"
, file = "/Users/cpenner/.unison/v2/unison.sqlite3"
}
, threadId = ThreadId 295
}
This is still an issue as of today even with #4438 merged
I'm guessing we just universally exclude watch expressions, but we should include them if a regular expression depends on them, or complain and fail when we try to add a dependent; but why not just include them?
Could just do a time-boxed initial investigation