)]}'
{
  "commit": "6df256a05ef30fe1e2a18df44901bd67b39f5989",
  "tree": "7479c1bbe4b291d03ae99560a3ed589b74a6be8c",
  "parents": [
    "f6973be5e33c7624e9975fc25b535c8a4710b818"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Nov 21 14:52:42 2019 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Nov 21 15:52:01 2019 +0100"
  },
  "message": "feat: `import runtime`\n\nA runtime-only import is not loaded into the compile-time environment, but is linked into and initialized in binaries\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "bb63ae6544358d5ca18e09b6e5b249cf1ec7b656",
      "old_mode": 33188,
      "old_path": "library/Init/Lean/Compiler/IR/EmitC.lean",
      "new_id": "90acb752a7071d83dc0e4bdbda09ffbdbd774c9e",
      "new_mode": 33188,
      "new_path": "library/Init/Lean/Compiler/IR/EmitC.lean"
    },
    {
      "type": "modify",
      "old_id": "a20d9536e781803c2878de61bb2127315337fec1",
      "old_mode": 33188,
      "old_path": "library/Init/Lean/Elaborator/Basic.lean",
      "new_id": "375aa4276c28ce0979a7d94b4ef2aa967f4e2952",
      "new_mode": 33188,
      "new_path": "library/Init/Lean/Elaborator/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "5900dee370af3b964d664fb577150e626f37dc76",
      "old_mode": 33188,
      "old_path": "library/Init/Lean/Environment.lean",
      "new_id": "8cbf0d64eb54f0b9f47da371f3345ef446a6aca4",
      "new_mode": 33188,
      "new_path": "library/Init/Lean/Environment.lean"
    },
    {
      "type": "modify",
      "old_id": "e7fd701e372e9541f0c42f5beb3e71781a382f51",
      "old_mode": 33188,
      "old_path": "library/Init/Lean/Parser/Module.lean",
      "new_id": "6ab4f014610ab76219b0b1380cf47b0fed3df5a6",
      "new_mode": 33188,
      "new_path": "library/Init/Lean/Parser/Module.lean"
    },
    {
      "type": "modify",
      "old_id": "2fcb1b2008b95b474f291e54018ba66f2012be4f",
      "old_mode": 33188,
      "old_path": "tests/lean/ctor_layout.lean",
      "new_id": "cabd1e478d97fbcceb8af20e00b4b531ac19472f",
      "new_mode": 33188,
      "new_path": "tests/lean/ctor_layout.lean"
    },
    {
      "type": "modify",
      "old_id": "43aff097412320f5ef3fea696548098388b68ee1",
      "old_mode": 33188,
      "old_path": "tests/lean/run/instuniv.lean",
      "new_id": "0db30a135390feaac51717a04d3fd64c6e175cdd",
      "new_mode": 33188,
      "new_path": "tests/lean/run/instuniv.lean"
    },
    {
      "type": "modify",
      "old_id": "ed2bd438cab06d1f63178a01162803e8417307e0",
      "old_mode": 33188,
      "old_path": "tests/lean/run/meta1.lean",
      "new_id": "91d6d0336251c67cbbae87a5eee65afffdf6d130",
      "new_mode": 33188,
      "new_path": "tests/lean/run/meta1.lean"
    }
  ]
}