)]}'
{
  "commit": "035299a30faa65b777bf01a6cecfb0f37029ddb3",
  "tree": "10c1f3c6220a2eec298fdc14db12ef77b7b8f0d9",
  "parents": [
    "e968dfb68c5a99cd320f1ac8d9d0be1228308abd"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Wed Jun 29 14:16:55 2022 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Wed Jun 29 14:16:55 2022 -0700"
  },
  "message": "checkpoint\n\nFailed attempt to construct missing `Repr` instances recursively.\nThe correct solution is to track the reason for a TC failure.\nOr, add support at the TC procedure for generating \"missing\ninstances\". That is, when `TC` fails to find global instances for\n`Repr Foo`, it tries to invoke the `deriving` handler. It seems a bit crazy.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "105f4a82a29fe1e1f419df56644eaf307c193a5f",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Deriving/Repr.lean",
      "new_id": "709d30c22d4b6b0e96f70d9d9948126aa14f9c1b",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Deriving/Repr.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "32cbeb1b1b6c07911611fcd92dc536a6b99ce818",
      "new_mode": 33188,
      "new_path": "tests/lean/badReprRec.lean"
    }
  ]
}