)]}'
{
  "commit": "0665473629afd34e15edb2d5626da2631e904e3c",
  "tree": "10a764206583c4ec15cdc458a3ed897bae73f147",
  "parents": [
    "8c5939c474c19a96be0998471ab9703f880a5a63"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Tue Nov 29 07:46:19 2022 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Tue Nov 29 07:47:40 2022 -0800"
  },
  "message": "checkpoint\n\nThis is broken.\nWe need special treatment during name resolution and declaration\nelaboration.\nParts of the code base are making the assumption that private names\nand macro scopes are different things.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "da4aa413d57c84a9f43ca5a483e6f4306fc1a0a2",
      "old_mode": 33188,
      "old_path": "src/Init/Prelude.lean",
      "new_id": "f58addcd8c76c41a932f734469be673d81b45009",
      "new_mode": 33188,
      "new_path": "src/Init/Prelude.lean"
    },
    {
      "type": "modify",
      "old_id": "0f8642271c46540ef139a8fbdfe10f7cf13ded41",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Deriving/Util.lean",
      "new_id": "22cb682073f07100ad28dafc2751c0f84326d0a8",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Deriving/Util.lean"
    },
    {
      "type": "modify",
      "old_id": "a419993c3b24827614b6c5830c7f26da3f7e7e78",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/PreDefinition/Eqns.lean",
      "new_id": "5a058588d8a9856ded883c68281b7a405e2d5a82",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/PreDefinition/Eqns.lean"
    },
    {
      "type": "modify",
      "old_id": "21c990b4c613da5b0f45d9d1acbbbbcaa3ee6417",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/PreDefinition/Structural/Eqns.lean",
      "new_id": "c3db19a3dd5590bf8da3d255d2eb83d42a18243a",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/PreDefinition/Structural/Eqns.lean"
    },
    {
      "type": "modify",
      "old_id": "22605f3b8e3aafba458b60a6f1ee7a8e8a62ac8c",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/PreDefinition/WF/Eqns.lean",
      "new_id": "f3cbb55df970f09a1a34f20113b48e049b5782d0",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/PreDefinition/WF/Eqns.lean"
    },
    {
      "type": "modify",
      "old_id": "3f07258d9ded666419d83e12910291c6d7b44cb5",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Eqns.lean",
      "new_id": "1360024edb4f23e09aa155b4ec88864ef25958be",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Eqns.lean"
    },
    {
      "type": "modify",
      "old_id": "4196c4484de8f3f0bb8f0937339040381ce5ef0d",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Match/MatchEqs.lean",
      "new_id": "d9f12d1a898b7bcd31f26a7692b3fa6d69ec7133",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Match/MatchEqs.lean"
    },
    {
      "type": "modify",
      "old_id": "07fbb399c07c5fc345693c9fa53f029bdc3a6f55",
      "old_mode": 33188,
      "old_path": "src/Lean/Modifiers.lean",
      "new_id": "f8b15b576652e7c5db1b0aa050693dac0b776d9d",
      "new_mode": 33188,
      "new_path": "src/Lean/Modifiers.lean"
    }
  ]
}