unison icon indicating copy to clipboard operation
unison copied to clipboard

Referring to a named watch, then adding, triggers sqlite crash

Open ChrisPenner opened this issue 3 years ago • 3 comments

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
    }

ChrisPenner avatar Aug 31 '22 20:08 ChrisPenner

This is still an issue as of today even with #4438 merged

aryairani avatar Nov 30 '23 22:11 aryairani

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

aryairani avatar Jan 18 '24 16:01 aryairani