)]}'
{
  "commit": "7dec47d0fe4e4a5ddcbe48c37813b59ec0068cab",
  "tree": "fcebfbb8d73069abc9081d8429761141316f9eb9",
  "parents": [
    "2b2311eaa2c3e3ad5dc4e7fbcd5d8ef5df607043"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Aug 05 09:12:59 2021 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Aug 05 09:57:48 2021 +0200"
  },
  "message": "feat: borrow inference: preserve mutual tail calls\n\nFixes #603\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "71c49ebc3985ad7da109275d98201ddfea9b7151",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/IR/Borrow.lean",
      "new_id": "fb41bd53fea02c004bae3851514cd21b64160d9e",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/IR/Borrow.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "75b1f4a75e79cdb85a1f90b73ca3e66ea9dc7a51",
      "new_mode": 33188,
      "new_path": "tests/lean/603.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "3ab1f82b4a9bfdfd88b4b8d02b438c8609e9aff4",
      "new_mode": 33188,
      "new_path": "tests/lean/603.lean.expected.out"
    }
  ]
}