)]}'
{"id":"depot~10295","triplet_id":"depot~canon~I730fdd996f7e1b81dbbf83dc1524104a8cad2f78","project":"depot","branch":"canon","attention_set":{},"removed_from_attention_set":{"1000066":{"account":{"_account_id":1000066,"name":"Adam Joseph","display_name":"amjoseph","email":"adam@westernsemico.com","username":"amjoseph"},"last_update":"2023-12-12 15:54:04.000000000","reason":"Change was submitted"},"1000001":{"account":{"_account_id":1000001,"name":"tazjin","email":"tazjin@tvl.su","username":"tazjin"},"last_update":"2023-12-12 15:00:52.000000000","reason":"removed on reply"}},"hashtags":[],"change_id":"I730fdd996f7e1b81dbbf83dc1524104a8cad2f78","subject":"test(tvix/eval): test catchables in named formals","status":"MERGED","created":"2023-12-12 07:07:17.000000000","updated":"2023-12-12 15:54:04.000000000","submitted":"2023-12-12 15:54:04.000000000","submitter":{"_account_id":1000015,"name":"clbot","email":"clbot@tvl.fyi","username":"clbot","tags":["SERVICE_USER"]},"total_comment_count":0,"unresolved_comment_count":0,"has_review_started":true,"submission_id":"10295","meta_rev_id":"ceed5769a1c31168b442335aeb158281329e3ddf","_number":10295,"virtual_id_number":10295,"owner":{"_account_id":1000066,"name":"Adam Joseph","display_name":"amjoseph","email":"adam@westernsemico.com","username":"amjoseph"},"actions":{},"labels":{"Code-Review":{"approved":{"_account_id":1000001,"name":"tazjin","email":"tazjin@tvl.su","username":"tazjin"},"all":[{"value":0,"_account_id":1000066,"name":"Adam Joseph","display_name":"amjoseph","email":"adam@westernsemico.com","username":"amjoseph"},{"tag":"autogenerated:gerrit:merged","value":2,"date":"2023-12-12 15:54:04.000000000","permitted_voting_range":{"min":2,"max":2},"_account_id":1000001,"name":"tazjin","email":"tazjin@tvl.su","username":"tazjin"},{"value":0,"_account_id":1000015,"name":"clbot","email":"clbot@tvl.fyi","username":"clbot","tags":["SERVICE_USER"]},{"value":0,"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]}],"values":{"-2":"This shall not be merged","-1":"I would prefer this is not merged as is"," 0":"No score","+1":"Looks good to me, but someone else must approve","+2":"Looks good to me, approved"},"description":"","default_value":0},"Verified":{"approved":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"all":[{"value":0,"_account_id":1000066,"name":"Adam Joseph","display_name":"amjoseph","email":"adam@westernsemico.com","username":"amjoseph"},{"value":0,"_account_id":1000001,"name":"tazjin","email":"tazjin@tvl.su","username":"tazjin"},{"value":0,"_account_id":1000015,"name":"clbot","email":"clbot@tvl.fyi","username":"clbot","tags":["SERVICE_USER"]},{"tag":"autogenerated:gerrit:merged","value":1,"date":"2023-12-12 15:54:04.000000000","permitted_voting_range":{"min":1,"max":1},"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]}],"values":{"-1":"Fails"," 0":"No score","+1":"Verified"},"description":"","default_value":0},"Autosubmit":{"approved":{"_account_id":1000066,"name":"Adam Joseph","display_name":"amjoseph","email":"adam@westernsemico.com","username":"amjoseph"},"all":[{"tag":"autogenerated:gerrit:merged","value":1,"date":"2023-12-12 15:54:04.000000000","_account_id":1000066,"name":"Adam Joseph","display_name":"amjoseph","email":"adam@westernsemico.com","username":"amjoseph"},{"value":0,"_account_id":1000001,"name":"tazjin","email":"tazjin@tvl.su","username":"tazjin"},{"value":0,"_account_id":1000015,"name":"clbot","email":"clbot@tvl.fyi","username":"clbot","tags":["SERVICE_USER"]},{"value":0,"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]}],"values":{" 0":"Submit manually","+1":"Submit automatically"},"description":"","default_value":0,"optional":true},"All-Comments-Resolved":{"approved":{"_account_id":1000066,"name":"Adam Joseph","display_name":"amjoseph","email":"adam@westernsemico.com","username":"amjoseph"},"all":[{"value":0,"_account_id":1000066,"name":"Adam Joseph","display_name":"amjoseph","email":"adam@westernsemico.com","username":"amjoseph"},{"value":0,"_account_id":1000001,"name":"tazjin","email":"tazjin@tvl.su","username":"tazjin"},{"value":0,"_account_id":1000015,"name":"clbot","email":"clbot@tvl.fyi","username":"clbot","tags":["SERVICE_USER"]},{"value":0,"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]}]},"Conformant-Commit-Message":{"approved":{"_account_id":1000066,"name":"Adam Joseph","display_name":"amjoseph","email":"adam@westernsemico.com","username":"amjoseph"},"all":[{"value":0,"_account_id":1000066,"name":"Adam Joseph","display_name":"amjoseph","email":"adam@westernsemico.com","username":"amjoseph"},{"value":0,"_account_id":1000001,"name":"tazjin","email":"tazjin@tvl.su","username":"tazjin"},{"value":0,"_account_id":1000015,"name":"clbot","email":"clbot@tvl.fyi","username":"clbot","tags":["SERVICE_USER"]},{"value":0,"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]}]}},"removable_reviewers":[],"reviewers":{"REVIEWER":[{"_account_id":1000001,"name":"tazjin","email":"tazjin@tvl.su","username":"tazjin"},{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},{"_account_id":1000015,"name":"clbot","email":"clbot@tvl.fyi","username":"clbot","tags":["SERVICE_USER"]},{"_account_id":1000066,"name":"Adam Joseph","display_name":"amjoseph","email":"adam@westernsemico.com","username":"amjoseph"}]},"pending_reviewers":{},"reviewer_updates":[{"updated":"2023-12-12 07:07:17.000000000","updated_by":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"reviewer":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"state":"CC"},{"updated":"2023-12-12 07:11:46.000000000","updated_by":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"reviewer":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"state":"REVIEWER"},{"updated":"2023-12-12 07:23:37.000000000","updated_by":{"_account_id":1000066,"name":"Adam Joseph","display_name":"amjoseph","email":"adam@westernsemico.com","username":"amjoseph"},"reviewer":{"_account_id":1000001,"name":"tazjin","email":"tazjin@tvl.su","username":"tazjin"},"state":"REVIEWER"},{"updated":"2023-12-12 15:54:04.000000000","updated_by":{"_account_id":1000015,"name":"clbot","email":"clbot@tvl.fyi","username":"clbot","tags":["SERVICE_USER"]},"reviewer":{"_account_id":1000015,"name":"clbot","email":"clbot@tvl.fyi","username":"clbot","tags":["SERVICE_USER"]},"state":"REVIEWER"}],"messages":[{"id":"1a3f3d69a54c28c276a693f4f2fe8036b22e5e2d","tag":"autogenerated:gerrit:newWipPatchSet","author":{"_account_id":1000066,"name":"Adam Joseph","display_name":"amjoseph","email":"adam@westernsemico.com","username":"amjoseph"},"date":"2023-12-12 07:07:17.000000000","message":"Uploaded patch set 1.","accounts_in_message":[],"_revision_number":1},{"id":"1bdd5c475d849bb316f28f4c219aa5691b98ca8a","tag":"autogenerated:buildkite~trigger","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2023-12-12 07:07:17.000000000","message":"Patch Set 1:\n\nStarted build for patchset #1 on: https://buildkite.com/tvl/depot/builds/28857","accounts_in_message":[],"_revision_number":1},{"id":"df0643014ef77e911394086e53f11a20ee05d1e2","tag":"autogenerated:buildkite~result","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2023-12-12 07:11:46.000000000","message":"Patch Set 1: Verified+1\n\nBuild of patchset 1 passed: https://buildkite.com/tvl/depot/builds/28857","accounts_in_message":[],"_revision_number":1},{"id":"869b2c3c4970f9570f8cad8cb01f57ea478af1cf","author":{"_account_id":1000066,"name":"Adam Joseph","display_name":"amjoseph","email":"adam@westernsemico.com","username":"amjoseph"},"date":"2023-12-12 07:23:37.000000000","message":"Patch Set 1: Autosubmit+1\n\nThis change is ready for review.","accounts_in_message":[],"_revision_number":1},{"id":"ebf8c7e74a6f41976f965b73d1914f0866659b4d","tag":"autogenerated:gerrit:code-owners:addReviewer","author":{"_account_id":1000066,"name":"Adam Joseph","display_name":"amjoseph","email":"adam@westernsemico.com","username":"amjoseph"},"date":"2023-12-12 07:23:37.000000000","message":"\u003cGERRIT_ACCOUNT_1000001\u003e, who was added as reviewer owns the following files:\n* `tvix/eval/src/tests/tvix_tests/notyetpassing/eval-okay-catchable-passed-to-function-with-formals.exp`\n* `tvix/eval/src/tests/tvix_tests/notyetpassing/eval-okay-catchable-passed-to-function-with-formals.nix`\n","accounts_in_message":[{"_account_id":1000001,"name":"tazjin","email":"tazjin@tvl.su","username":"tazjin"}],"_revision_number":1},{"id":"1247b4e93ed17de6bd8739d02a2ceb4bb6e183f4","tag":"autogenerated:gerrit:newPatchSet","author":{"_account_id":1000066,"name":"Adam Joseph","display_name":"amjoseph","email":"adam@westernsemico.com","username":"amjoseph"},"date":"2023-12-12 12:04:15.000000000","message":"Uploaded patch set 2: Patch Set 1 was rebased.\n\nCopied Votes:\n* Autosubmit+1 (copy condition: \"changekind:NO_CHANGE OR **is:ANY**\")\n\nOutdated Votes:\n* Verified+1 (copy condition: \"(**is:ANY** AND changekind:NO_CODE_CHANGE) OR changekind:NO_CHANGE\")\n","accounts_in_message":[],"_revision_number":2},{"id":"7709f004af06fd142e04107b414e420b8cbd327a","tag":"autogenerated:buildkite~trigger","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2023-12-12 12:04:36.000000000","message":"Patch Set 2:\n\nStarted build for patchset #2 on: https://buildkite.com/tvl/depot/builds/28919","accounts_in_message":[],"_revision_number":2},{"id":"b2a12eac985137e6dbec583d6cbc9a4500b8a905","tag":"autogenerated:buildkite~result","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2023-12-12 12:27:39.000000000","message":"Patch Set 2: Verified+1\n\nBuild of patchset 2 passed: https://buildkite.com/tvl/depot/builds/28919","accounts_in_message":[],"_revision_number":2},{"id":"75ce23c13604fccbad216d67d29a2e210bcda158","tag":"autogenerated:gerrit:newPatchSet","author":{"_account_id":1000001,"name":"tazjin","email":"tazjin@tvl.su","username":"tazjin"},"date":"2023-12-12 14:47:15.000000000","message":"Uploaded patch set 3.\n\nCopied Votes:\n* Autosubmit+1 (copy condition: \"changekind:NO_CHANGE OR **is:ANY**\")\n\nOutdated Votes:\n* Verified+1 (copy condition: \"(**is:ANY** AND changekind:NO_CODE_CHANGE) OR changekind:NO_CHANGE\")\n","accounts_in_message":[],"_revision_number":3},{"id":"1bf5bc35260fcb568273cadf06afe108a6c6d017","tag":"autogenerated:buildkite~trigger","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2023-12-12 14:47:34.000000000","message":"Patch Set 3:\n\nStarted build for patchset #3 on: https://buildkite.com/tvl/depot/builds/28980","accounts_in_message":[],"_revision_number":3},{"id":"8db3f5523a5b8bfe8929c54b82fd0c7095030be0","tag":"autogenerated:gerrit:newPatchSet","author":{"_account_id":1000001,"name":"tazjin","email":"tazjin@tvl.su","username":"tazjin"},"date":"2023-12-12 14:59:22.000000000","message":"Uploaded patch set 4: Patch Set 3 was rebased.\n\nCopied Votes:\n* Autosubmit+1 (copy condition: \"changekind:NO_CHANGE OR **is:ANY**\")\n","accounts_in_message":[],"_revision_number":4},{"id":"2f6c53e9f8a7bd69da13f4e43fec1ba5beb5daa1","tag":"autogenerated:buildkite~trigger","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2023-12-12 14:59:32.000000000","message":"Patch Set 4:\n\nStarted build for patchset #4 on: https://buildkite.com/tvl/depot/builds/29020","accounts_in_message":[],"_revision_number":4},{"id":"d9c36b785869487736c5b8811da328c5d0cba3f3","author":{"_account_id":1000001,"name":"tazjin","email":"tazjin@tvl.su","username":"tazjin"},"date":"2023-12-12 15:00:52.000000000","message":"Patch Set 4: Code-Review+2","accounts_in_message":[],"_revision_number":4},{"id":"bc323058cb67408e78c37f77ce1c1bdc78498dd1","tag":"autogenerated:buildkite~result","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2023-12-12 15:06:48.000000000","message":"Patch Set 3: Verified+1\n\nBuild of patchset 3 passed: https://buildkite.com/tvl/depot/builds/28980","accounts_in_message":[],"_revision_number":3},{"id":"745c3a6ce15f04639883a4ac1c875cfb18fb9b25","tag":"autogenerated:buildkite~result","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2023-12-12 15:53:50.000000000","message":"Patch Set 4: Verified+1\n\nBuild of patchset 4 passed: https://buildkite.com/tvl/depot/builds/29020","accounts_in_message":[],"_revision_number":4},{"id":"ceed5769a1c31168b442335aeb158281329e3ddf","tag":"autogenerated:gerrit:merged","author":{"_account_id":1000015,"name":"clbot","email":"clbot@tvl.fyi","username":"clbot","tags":["SERVICE_USER"]},"date":"2023-12-12 15:54:04.000000000","message":"Change has been successfully rebased and submitted as e516046ed28d6b85fc683cfe39d2b4035e68d975","accounts_in_message":[],"_revision_number":5}],"current_revision_number":5,"current_revision":"e516046ed28d6b85fc683cfe39d2b4035e68d975","revisions":{"e77a74ee5e8268df0b50473cff0ccae8e9af9d0b":{"kind":"REWORK","_number":1,"created":"2023-12-12 07:07:17.000000000","uploader":{"_account_id":1000066,"name":"Adam Joseph","display_name":"amjoseph","email":"adam@westernsemico.com","username":"amjoseph"},"ref":"refs/changes/95/10295/1","fetch":{"anonymous http":{"url":"https://cl.tvl.fyi/depot","ref":"refs/changes/95/10295/1","commands":{"Checkout":"git fetch https://cl.tvl.fyi/depot refs/changes/95/10295/1 \u0026\u0026 git checkout FETCH_HEAD","Cherry Pick":"git fetch https://cl.tvl.fyi/depot refs/changes/95/10295/1 \u0026\u0026 git cherry-pick FETCH_HEAD","Format Patch":"git fetch https://cl.tvl.fyi/depot refs/changes/95/10295/1 \u0026\u0026 git format-patch -1 --stdout FETCH_HEAD","Pull":"git pull https://cl.tvl.fyi/depot refs/changes/95/10295/1"}}},"commit":{"parents":[{"commit":"3efccf78b4d5b4a1d9db5ebb3dc0f1445fa87801","subject":"fix(tvix/eval): fix for b/347","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d3efccf78b4d5b4a1d9db5ebb3dc0f1445fa87801"}]}],"author":{"name":"Adam Joseph","email":"adam@westernsemico.com","date":"2023-12-12 07:06:55.000000000","tz":-480},"committer":{"name":"Adam Joseph","email":"adam@westernsemico.com","date":"2023-12-12 07:07:05.000000000","tz":-480},"subject":"test(tvix/eval): test for b/348","message":"test(tvix/eval): test for b/348\n\n$ /git/depot/result/bin/tvix -E \u0027(builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\u0027\nnote: while evaluating this Nix code\n --\u003e [code]:1:1\n  |\n1 | (builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\n  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\nnote: while evaluating this as native code (force)\n --\u003e [code]:1:1\n  |\n1 | (builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\n  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\nnote: while evaluating this as native code (tryEval)\n --\u003e [code]:1:2\n  |\n1 | (builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\n  |  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\nnote: while evaluating this Nix code\n --\u003e [code]:1:20\n  |\n1 | (builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\n  |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\nerror[E006]: expected value of type \u0027set\u0027, but found a \u0027internal[catchable]\u0027\n --\u003e [code]:1:21\n  |\n1 | (builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\n  |                     ^^^^^^^^\n\nChange-Id: I730fdd996f7e1b81dbbf83dc1524104a8cad2f78\n","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003de77a74ee5e8268df0b50473cff0ccae8e9af9d0b"}],"resolve_conflicts_web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003de77a74ee5e8268df0b50473cff0ccae8e9af9d0b"}]},"parents_data":[{"branch_name":"refs/heads/canon","commit_id":"3efccf78b4d5b4a1d9db5ebb3dc0f1445fa87801","is_merged_in_target_branch":false,"change_id":"Icad0251884d4d8adcdf8d690b91385bf4896f9c8","change_number":10294,"patch_set_number":1,"change_status":"MERGED"}],"branch":"refs/heads/canon"},"cc78d86bf647fe32468cd0f105e54c6b6ef23c17":{"kind":"TRIVIAL_REBASE","_number":2,"created":"2023-12-12 12:04:15.000000000","uploader":{"_account_id":1000066,"name":"Adam Joseph","display_name":"amjoseph","email":"adam@westernsemico.com","username":"amjoseph"},"ref":"refs/changes/95/10295/2","fetch":{"anonymous http":{"url":"https://cl.tvl.fyi/depot","ref":"refs/changes/95/10295/2","commands":{"Checkout":"git fetch https://cl.tvl.fyi/depot refs/changes/95/10295/2 \u0026\u0026 git checkout FETCH_HEAD","Cherry Pick":"git fetch https://cl.tvl.fyi/depot refs/changes/95/10295/2 \u0026\u0026 git cherry-pick FETCH_HEAD","Format Patch":"git fetch https://cl.tvl.fyi/depot refs/changes/95/10295/2 \u0026\u0026 git format-patch -1 --stdout FETCH_HEAD","Pull":"git pull https://cl.tvl.fyi/depot refs/changes/95/10295/2"}}},"commit":{"parents":[{"commit":"750a9e05ac3665452789d2bda1ff88b0537172b5","subject":"fix(tvix/eval): fix for b/347","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d750a9e05ac3665452789d2bda1ff88b0537172b5"}]}],"author":{"name":"Adam Joseph","email":"adam@westernsemico.com","date":"2023-12-12 07:06:55.000000000","tz":-480},"committer":{"name":"Adam Joseph","email":"adam@westernsemico.com","date":"2023-12-12 12:04:31.000000000","tz":-480},"subject":"test(tvix/eval): test for b/348","message":"test(tvix/eval): test for b/348\n\n$ /git/depot/result/bin/tvix -E \u0027(builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\u0027\nnote: while evaluating this Nix code\n --\u003e [code]:1:1\n  |\n1 | (builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\n  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\nnote: while evaluating this as native code (force)\n --\u003e [code]:1:1\n  |\n1 | (builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\n  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\nnote: while evaluating this as native code (tryEval)\n --\u003e [code]:1:2\n  |\n1 | (builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\n  |  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\nnote: while evaluating this Nix code\n --\u003e [code]:1:20\n  |\n1 | (builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\n  |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\nerror[E006]: expected value of type \u0027set\u0027, but found a \u0027internal[catchable]\u0027\n --\u003e [code]:1:21\n  |\n1 | (builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\n  |                     ^^^^^^^^\n\nChange-Id: I730fdd996f7e1b81dbbf83dc1524104a8cad2f78\n","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003dcc78d86bf647fe32468cd0f105e54c6b6ef23c17"}],"resolve_conflicts_web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003dcc78d86bf647fe32468cd0f105e54c6b6ef23c17"}]},"parents_data":[{"branch_name":"refs/heads/canon","commit_id":"750a9e05ac3665452789d2bda1ff88b0537172b5","is_merged_in_target_branch":false,"change_id":"Icad0251884d4d8adcdf8d690b91385bf4896f9c8","change_number":10294,"patch_set_number":2,"change_status":"MERGED"}],"branch":"refs/heads/canon"},"1312d9d5e519379b42cdf5f8ee3fa0a971aad6dc":{"kind":"REWORK","_number":3,"created":"2023-12-12 14:47:15.000000000","uploader":{"_account_id":1000001,"name":"tazjin","email":"tazjin@tvl.su","username":"tazjin"},"ref":"refs/changes/95/10295/3","fetch":{"anonymous http":{"url":"https://cl.tvl.fyi/depot","ref":"refs/changes/95/10295/3","commands":{"Checkout":"git fetch https://cl.tvl.fyi/depot refs/changes/95/10295/3 \u0026\u0026 git checkout FETCH_HEAD","Cherry Pick":"git fetch https://cl.tvl.fyi/depot refs/changes/95/10295/3 \u0026\u0026 git cherry-pick FETCH_HEAD","Format Patch":"git fetch https://cl.tvl.fyi/depot refs/changes/95/10295/3 \u0026\u0026 git format-patch -1 --stdout FETCH_HEAD","Pull":"git pull https://cl.tvl.fyi/depot refs/changes/95/10295/3"}}},"commit":{"parents":[{"commit":"665ff5c98cc8281fad6c228a27de251f7638582e","subject":"fix(tvix/eval): fix testing catchables for inequality","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d665ff5c98cc8281fad6c228a27de251f7638582e"}]}],"author":{"name":"Adam Joseph","email":"adam@westernsemico.com","date":"2023-12-12 07:06:55.000000000","tz":-480},"committer":{"name":"Vincent Ambo","email":"tazjin@tvl.su","date":"2023-12-12 14:44:54.000000000","tz":180},"subject":"test(tvix/eval): test catchables in named formals","message":"test(tvix/eval): test catchables in named formals\n\nRelates to b/348.\n\n$ /git/depot/result/bin/tvix -E \u0027(builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\u0027\nnote: while evaluating this Nix code\n --\u003e [code]:1:1\n  |\n1 | (builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\n  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\nnote: while evaluating this as native code (force)\n --\u003e [code]:1:1\n  |\n1 | (builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\n  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\nnote: while evaluating this as native code (tryEval)\n --\u003e [code]:1:2\n  |\n1 | (builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\n  |  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\nnote: while evaluating this Nix code\n --\u003e [code]:1:20\n  |\n1 | (builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\n  |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\nerror[E006]: expected value of type \u0027set\u0027, but found a \u0027internal[catchable]\u0027\n --\u003e [code]:1:21\n  |\n1 | (builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\n  |                     ^^^^^^^^\n\nChange-Id: I730fdd996f7e1b81dbbf83dc1524104a8cad2f78\n","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d1312d9d5e519379b42cdf5f8ee3fa0a971aad6dc"}],"resolve_conflicts_web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d1312d9d5e519379b42cdf5f8ee3fa0a971aad6dc"}]},"parents_data":[{"branch_name":"refs/heads/canon","commit_id":"665ff5c98cc8281fad6c228a27de251f7638582e","is_merged_in_target_branch":false,"change_id":"Icad0251884d4d8adcdf8d690b91385bf4896f9c8","change_number":10294,"patch_set_number":3,"change_status":"MERGED"}],"branch":"refs/heads/canon"},"acafaf007a075a5eddedf9bac2fee3ee9c3a9dc8":{"kind":"TRIVIAL_REBASE","_number":4,"created":"2023-12-12 14:59:22.000000000","uploader":{"_account_id":1000001,"name":"tazjin","email":"tazjin@tvl.su","username":"tazjin"},"ref":"refs/changes/95/10295/4","fetch":{"anonymous http":{"url":"https://cl.tvl.fyi/depot","ref":"refs/changes/95/10295/4","commands":{"Checkout":"git fetch https://cl.tvl.fyi/depot refs/changes/95/10295/4 \u0026\u0026 git checkout FETCH_HEAD","Cherry Pick":"git fetch https://cl.tvl.fyi/depot refs/changes/95/10295/4 \u0026\u0026 git cherry-pick FETCH_HEAD","Format Patch":"git fetch https://cl.tvl.fyi/depot refs/changes/95/10295/4 \u0026\u0026 git format-patch -1 --stdout FETCH_HEAD","Pull":"git pull https://cl.tvl.fyi/depot refs/changes/95/10295/4"}}},"commit":{"parents":[{"commit":"b6aa60d7a9425ba6fcc77c7513b4872deaa902c8","subject":"fix(tvix/eval): fix testing catchables for inequality","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003db6aa60d7a9425ba6fcc77c7513b4872deaa902c8"}]}],"author":{"name":"Adam Joseph","email":"adam@westernsemico.com","date":"2023-12-12 07:06:55.000000000","tz":-480},"committer":{"name":"Vincent Ambo","email":"tazjin@tvl.su","date":"2023-12-12 14:58:34.000000000","tz":180},"subject":"test(tvix/eval): test catchables in named formals","message":"test(tvix/eval): test catchables in named formals\n\nRelates to b/348.\n\n$ /git/depot/result/bin/tvix -E \u0027(builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\u0027\nnote: while evaluating this Nix code\n --\u003e [code]:1:1\n  |\n1 | (builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\n  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\nnote: while evaluating this as native code (force)\n --\u003e [code]:1:1\n  |\n1 | (builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\n  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\nnote: while evaluating this as native code (tryEval)\n --\u003e [code]:1:2\n  |\n1 | (builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\n  |  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\nnote: while evaluating this Nix code\n --\u003e [code]:1:20\n  |\n1 | (builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\n  |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\nerror[E006]: expected value of type \u0027set\u0027, but found a \u0027internal[catchable]\u0027\n --\u003e [code]:1:21\n  |\n1 | (builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\n  |                     ^^^^^^^^\n\nChange-Id: I730fdd996f7e1b81dbbf83dc1524104a8cad2f78\n","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003dacafaf007a075a5eddedf9bac2fee3ee9c3a9dc8"}],"resolve_conflicts_web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003dacafaf007a075a5eddedf9bac2fee3ee9c3a9dc8"}]},"parents_data":[{"branch_name":"refs/heads/canon","commit_id":"b6aa60d7a9425ba6fcc77c7513b4872deaa902c8","is_merged_in_target_branch":false,"change_id":"Icad0251884d4d8adcdf8d690b91385bf4896f9c8","change_number":10294,"patch_set_number":4,"change_status":"MERGED"}],"branch":"refs/heads/canon"},"e516046ed28d6b85fc683cfe39d2b4035e68d975":{"kind":"NO_CODE_CHANGE","_number":5,"created":"2023-12-12 15:54:04.000000000","uploader":{"_account_id":1000015,"name":"clbot","email":"clbot@tvl.fyi","username":"clbot","tags":["SERVICE_USER"]},"ref":"refs/changes/95/10295/5","fetch":{"anonymous http":{"url":"https://cl.tvl.fyi/depot","ref":"refs/changes/95/10295/5","commands":{"Checkout":"git fetch https://cl.tvl.fyi/depot refs/changes/95/10295/5 \u0026\u0026 git checkout FETCH_HEAD","Cherry Pick":"git fetch https://cl.tvl.fyi/depot refs/changes/95/10295/5 \u0026\u0026 git cherry-pick FETCH_HEAD","Format Patch":"git fetch https://cl.tvl.fyi/depot refs/changes/95/10295/5 \u0026\u0026 git format-patch -1 --stdout FETCH_HEAD","Pull":"git pull https://cl.tvl.fyi/depot refs/changes/95/10295/5"}}},"commit":{"parents":[{"commit":"663362f3df5cc62218db8b443a77b2d78240092a","subject":"fix(tvix/eval): fix testing catchables for inequality","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d663362f3df5cc62218db8b443a77b2d78240092a"}]}],"author":{"name":"Adam Joseph","email":"adam@westernsemico.com","date":"2023-12-12 07:06:55.000000000","tz":-480},"committer":{"name":"clbot","email":"clbot@tvl.fyi","date":"2023-12-12 15:54:04.000000000","tz":0},"subject":"test(tvix/eval): test catchables in named formals","message":"test(tvix/eval): test catchables in named formals\n\nRelates to b/348.\n\n$ /git/depot/result/bin/tvix -E \u0027(builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\u0027\nnote: while evaluating this Nix code\n --\u003e [code]:1:1\n  |\n1 | (builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\n  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\nnote: while evaluating this as native code (force)\n --\u003e [code]:1:1\n  |\n1 | (builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\n  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\nnote: while evaluating this as native code (tryEval)\n --\u003e [code]:1:2\n  |\n1 | (builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\n  |  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\nnote: while evaluating this Nix code\n --\u003e [code]:1:20\n  |\n1 | (builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\n  |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\nerror[E006]: expected value of type \u0027set\u0027, but found a \u0027internal[catchable]\u0027\n --\u003e [code]:1:21\n  |\n1 | (builtins.tryEval (({ fred }: \"bob\") (throw \"3\"))).success\n  |                     ^^^^^^^^\n\nChange-Id: I730fdd996f7e1b81dbbf83dc1524104a8cad2f78\nReviewed-on: https://cl.tvl.fyi/c/depot/+/10295\nReviewed-by: tazjin \u003ctazjin@tvl.su\u003e\nTested-by: BuildkiteCI\nAutosubmit: Adam Joseph \u003cadam@westernsemico.com\u003e\n","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003de516046ed28d6b85fc683cfe39d2b4035e68d975"}],"resolve_conflicts_web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003de516046ed28d6b85fc683cfe39d2b4035e68d975"}]},"parents_data":[{"branch_name":"refs/heads/canon","commit_id":"663362f3df5cc62218db8b443a77b2d78240092a","is_merged_in_target_branch":true,"change_id":"Icad0251884d4d8adcdf8d690b91385bf4896f9c8","change_number":10294,"patch_set_number":5,"change_status":"MERGED"}],"branch":"refs/heads/canon","description":"Rebase"}},"requirements":[],"submit_records":[{"rule_name":"gerrit~PrologRule","status":"CLOSED","labels":[{"label":"Conformant-Commit-Message","status":"OK","applied_by":{"_account_id":1000001,"name":"tazjin","email":"tazjin@tvl.su","username":"tazjin"}},{"label":"All-Comments-Resolved","status":"OK","applied_by":{"_account_id":1000001,"name":"tazjin","email":"tazjin@tvl.su","username":"tazjin"}},{"label":"Verified","status":"OK","applied_by":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]}},{"label":"Code-Review","status":"OK","applied_by":{"_account_id":1000001,"name":"tazjin","email":"tazjin@tvl.su","username":"tazjin"}}]},{"rule_name":"Code-Owners","status":"CLOSED"}],"submit_requirements":[{"name":"All-Comments-Resolved","status":"SATISFIED","is_legacy":true,"submittability_expression_result":{"expression":"label:All-Comments-Resolved\u003dgerrit~PrologRule","fulfilled":true,"status":"PASS","passing_atoms":["label:All-Comments-Resolved\u003dgerrit~PrologRule"],"failing_atoms":[]}},{"name":"Verified","status":"SATISFIED","is_legacy":true,"submittability_expression_result":{"expression":"label:Verified\u003dgerrit~PrologRule","fulfilled":true,"status":"PASS","passing_atoms":["label:Verified\u003dgerrit~PrologRule"],"failing_atoms":[]}},{"name":"Code-Owners","status":"SATISFIED","is_legacy":true,"submittability_expression_result":{"expression":"rule:Code-Owners","fulfilled":true,"status":"PASS","passing_atoms":["Code-Owners"],"failing_atoms":[]}},{"name":"Conformant-Commit-Message","status":"SATISFIED","is_legacy":true,"submittability_expression_result":{"expression":"label:Conformant-Commit-Message\u003dgerrit~PrologRule","fulfilled":true,"status":"PASS","passing_atoms":["label:Conformant-Commit-Message\u003dgerrit~PrologRule"],"failing_atoms":[]}},{"name":"Code-Review","status":"SATISFIED","is_legacy":true,"submittability_expression_result":{"expression":"label:Code-Review\u003dgerrit~PrologRule","fulfilled":true,"status":"PASS","passing_atoms":["label:Code-Review\u003dgerrit~PrologRule"],"failing_atoms":[]}}]}