Using sqlite will sometimes result in an exception such as:
user error (SQLite3 returned ErrorBusy while attempting to perform prepare "SELECT "fscked"."key"\nFROM "fscked"\nWHERE "fscked"."key" = ?\n": database is locked)
In this case, I'd like to handle ErrorBusy specially, by eg, retrying. But, the exception type doesn't let me pattern match on it.
Please consider throwing a custom exception that exposes the Database.Sqlite.Error.
Using sqlite will sometimes result in an exception such as:
user error (SQLite3 returned ErrorBusy while attempting to perform prepare "SELECT "fscked"."key"\nFROM "fscked"\nWHERE "fscked"."key" = ?\n": database is locked)
In this case, I'd like to handle ErrorBusy specially, by eg, retrying. But, the exception type doesn't let me pattern match on it.
Please consider throwing a custom exception that exposes the Database.Sqlite.Error.