)]}'
{"id":"depot~7079","triplet_id":"depot~canon~Ia76299a56aa4d2032c9a21277e2fddfb2e055831","project":"depot","branch":"canon","hashtags":[],"change_id":"Ia76299a56aa4d2032c9a21277e2fddfb2e055831","subject":"feat(wpcarro/compiler): Support string literal type","status":"MERGED","created":"2022-10-25 03:54:38.000000000","updated":"2022-10-25 03:59:07.000000000","submitted":"2022-10-25 03:59:07.000000000","submitter":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"total_comment_count":0,"unresolved_comment_count":0,"has_review_started":true,"submission_id":"7079","meta_rev_id":"0e24fdddc2904c0f6a2bacc28c7e533ffbd6b799","_number":7079,"virtual_id_number":7079,"owner":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"actions":{},"labels":{"Code-Review":{"approved":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"all":[{"value":0,"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},{"tag":"autogenerated:gerrit:merged","value":2,"date":"2022-10-25 03:59:07.000000000","permitted_voting_range":{"min":2,"max":2},"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"}],"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":[{"tag":"autogenerated:gerrit:merged","value":1,"date":"2022-10-25 03:59:07.000000000","permitted_voting_range":{"min":1,"max":1},"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},{"value":0,"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"}],"values":{"-1":"Fails"," 0":"No score","+1":"Verified"},"description":"","default_value":0},"Autosubmit":{"all":[{"value":0,"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},{"value":0,"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"}],"values":{" 0":"Submit manually","+1":"Submit automatically"},"description":"","default_value":0,"optional":true},"All-Comments-Resolved":{"approved":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"all":[{"value":0,"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},{"value":0,"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"}]},"Conformant-Commit-Message":{"approved":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"all":[{"value":0,"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},{"value":0,"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"}]}},"removable_reviewers":[],"reviewers":{"REVIEWER":[{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"}]},"pending_reviewers":{},"reviewer_updates":[{"updated":"2022-10-25 03:54:40.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":"2022-10-25 03:56:20.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"}],"messages":[{"id":"588dd4f8e65b753ab9136edbb2268dd6b752f716","tag":"autogenerated:gerrit:newPatchSet","author":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"date":"2022-10-25 03:54:38.000000000","message":"Uploaded patch set 1.","accounts_in_message":[],"_revision_number":1},{"id":"dbc915017e9eb09f8ef403ea2e70b70fc5659ec8","tag":"autogenerated:buildkite~trigger","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2022-10-25 03:54:40.000000000","message":"Patch Set 1:\n\nStarted build for patchset #1 on: https://buildkite.com/tvl/depot/builds/17862","accounts_in_message":[],"_revision_number":1},{"id":"3f9177165f806c43c84bb3d7a3f32a15ecbc9d1a","tag":"autogenerated:buildkite~result","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2022-10-25 03:56:20.000000000","message":"Patch Set 1: Verified+1\n\nBuild of patchset 1 passed: https://buildkite.com/tvl/depot/builds/17862","accounts_in_message":[],"_revision_number":1},{"id":"a9400e8786e21bfe7c952894b6910a99974f8886","author":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"date":"2022-10-25 03:58:56.000000000","message":"Patch Set 1: Code-Review+2\n\nBy voting Code-Review+2 the following files are now explicitly code-owner approved by \u003cGERRIT_ACCOUNT_1000045\u003e:\n* users/wpcarro/scratch/compiler/expr_parser.ml\n* users/wpcarro/scratch/compiler/inference.ml\n* users/wpcarro/scratch/compiler/types.ml\n","accounts_in_message":[{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"}],"_revision_number":1},{"id":"0e24fdddc2904c0f6a2bacc28c7e533ffbd6b799","tag":"autogenerated:gerrit:merged","author":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"date":"2022-10-25 03:59:07.000000000","message":"Change has been successfully rebased and submitted as ee235235b98d01b00de5a446b48d6dec574b1458","accounts_in_message":[],"_revision_number":2}],"current_revision_number":2,"current_revision":"ee235235b98d01b00de5a446b48d6dec574b1458","revisions":{"47c9bce7f34febd7b94d5145151bd3c4b1b1a512":{"kind":"REWORK","_number":1,"created":"2022-10-25 03:54:38.000000000","uploader":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"ref":"refs/changes/79/7079/1","fetch":{"anonymous http":{"url":"https://cl.tvl.fyi/depot","ref":"refs/changes/79/7079/1","commands":{"Checkout":"git fetch https://cl.tvl.fyi/depot refs/changes/79/7079/1 \u0026\u0026 git checkout FETCH_HEAD","Cherry Pick":"git fetch https://cl.tvl.fyi/depot refs/changes/79/7079/1 \u0026\u0026 git cherry-pick FETCH_HEAD","Format Patch":"git fetch https://cl.tvl.fyi/depot refs/changes/79/7079/1 \u0026\u0026 git format-patch -1 --stdout FETCH_HEAD","Pull":"git pull https://cl.tvl.fyi/depot refs/changes/79/7079/1"}}},"commit":{"parents":[{"commit":"f9ac1a5bfe4613d2fba0a013af5e569a69dd6787","subject":"refactor(wpcarro/compiler): Modularize debug fns","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003df9ac1a5bfe4613d2fba0a013af5e569a69dd6787"}]}],"author":{"name":"William Carroll","email":"wpcarro@gmail.com","date":"2022-10-24 21:53:21.000000000","tz":-240},"committer":{"name":"William Carroll","email":"wpcarro@gmail.com","date":"2022-10-24 21:53:21.000000000","tz":-240},"subject":"feat(wpcarro/compiler): Support string literal type","message":"feat(wpcarro/compiler): Support string literal type\n\n```\nrepl\u003e \"Hello, world\"\nString\nrepl\u003e (fn x \"testing\")\na0 -\u003e String\n```\n\nChange-Id: Ia76299a56aa4d2032c9a21277e2fddfb2e055831\n","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d47c9bce7f34febd7b94d5145151bd3c4b1b1a512"}],"resolve_conflicts_web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d47c9bce7f34febd7b94d5145151bd3c4b1b1a512"}]},"parents_data":[{"branch_name":"refs/heads/canon","commit_id":"f9ac1a5bfe4613d2fba0a013af5e569a69dd6787","is_merged_in_target_branch":false,"change_id":"Iee2e1ed666f2ccb5e56cc50054ca85b8ba513f3b","change_number":7078,"patch_set_number":1,"change_status":"MERGED"}],"branch":"refs/heads/canon"},"ee235235b98d01b00de5a446b48d6dec574b1458":{"kind":"NO_CODE_CHANGE","_number":2,"created":"2022-10-25 03:59:07.000000000","uploader":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"ref":"refs/changes/79/7079/2","fetch":{"anonymous http":{"url":"https://cl.tvl.fyi/depot","ref":"refs/changes/79/7079/2","commands":{"Checkout":"git fetch https://cl.tvl.fyi/depot refs/changes/79/7079/2 \u0026\u0026 git checkout FETCH_HEAD","Cherry Pick":"git fetch https://cl.tvl.fyi/depot refs/changes/79/7079/2 \u0026\u0026 git cherry-pick FETCH_HEAD","Format Patch":"git fetch https://cl.tvl.fyi/depot refs/changes/79/7079/2 \u0026\u0026 git format-patch -1 --stdout FETCH_HEAD","Pull":"git pull https://cl.tvl.fyi/depot refs/changes/79/7079/2"}}},"commit":{"parents":[{"commit":"1e9c3955bf2c17206c6dd536ebaf96a7e6f4f22d","subject":"refactor(wpcarro/compiler): Modularize debug fns","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d1e9c3955bf2c17206c6dd536ebaf96a7e6f4f22d"}]}],"author":{"name":"William Carroll","email":"wpcarro@gmail.com","date":"2022-10-24 21:53:21.000000000","tz":-240},"committer":{"name":"wpcarro","email":"wpcarro@gmail.com","date":"2022-10-25 03:59:07.000000000","tz":0},"subject":"feat(wpcarro/compiler): Support string literal type","message":"feat(wpcarro/compiler): Support string literal type\n\n```\nrepl\u003e \"Hello, world\"\nString\nrepl\u003e (fn x \"testing\")\na0 -\u003e String\n```\n\nChange-Id: Ia76299a56aa4d2032c9a21277e2fddfb2e055831\nReviewed-on: https://cl.tvl.fyi/c/depot/+/7079\nTested-by: BuildkiteCI\nReviewed-by: wpcarro \u003cwpcarro@gmail.com\u003e\n","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003dee235235b98d01b00de5a446b48d6dec574b1458"}],"resolve_conflicts_web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003dee235235b98d01b00de5a446b48d6dec574b1458"}]},"parents_data":[{"branch_name":"refs/heads/canon","commit_id":"1e9c3955bf2c17206c6dd536ebaf96a7e6f4f22d","is_merged_in_target_branch":true,"change_id":"Iee2e1ed666f2ccb5e56cc50054ca85b8ba513f3b","change_number":7078,"patch_set_number":2,"change_status":"MERGED"}],"branch":"refs/heads/canon","description":"Rebase"}},"requirements":[],"submit_records":[{"rule_name":"gerrit~PrologRule","status":"CLOSED","labels":[{"label":"Autosubmit","status":"MAY"},{"label":"Conformant-Commit-Message","status":"OK","applied_by":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"}},{"label":"All-Comments-Resolved","status":"OK","applied_by":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"}},{"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":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"}}]},{"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":[]}}]}