)]}'
{
  "commit": "aa4ebd0fed5cb4f0913973b103476ea796380a62",
  "tree": "7bf80fa7f612b6d54b8ea36b4b762208e1bde703",
  "parents": [
    "b5542b4c4f6656010a161abb7c8e7369a8bf8630"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Dec 14 11:57:04 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Dec 14 11:59:22 2024 -0800"
  },
  "message": "fix: new code generator must generate code for opaque declarations that are not `@[extern]`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "5eef45817134a39250f632b06c6854e221f87ebe",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/LCNF/Main.lean",
      "new_id": "7b3e0b2d104d9386b44f4e55f450a5d8d0c034dd",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/LCNF/Main.lean"
    },
    {
      "type": "modify",
      "old_id": "df5fb21fcccf99bfa732ed9fb7c32d06688361d5",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/LCNF/ToDecl.lean",
      "new_id": "7338dcc756ae9cd52a7cc700468dba937562ab4b",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/LCNF/ToDecl.lean"
    },
    {
      "type": "modify",
      "old_id": "6c8833ba762f5f4760b62466305d1e51cfd5b2de",
      "old_mode": 33188,
      "old_path": "src/Lean/Declaration.lean",
      "new_id": "3ce068d3eca33b4d629899adb7eeeb9a7aa2f7f8",
      "new_mode": 33188,
      "new_path": "src/Lean/Declaration.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "85afa94028748896fb58e5567c25b14a9d0e4b3d",
      "new_mode": 33188,
      "new_path": "tests/lean/run/opaqueNewCodeGen.lean"
    }
  ]
}