< > BotCompany Repo | #1004291 // mergeMappings - merge two maps if no conflicts

JavaX fragment (include)

static <A, B> Map<A, B> mergeMappings(Map<A, B> a, Map<A, B> b) {
  for (A var : keys(a))
    if (b.containsKey(var) && neq(a.get(var), b.get(var)))
      null; // fail
  ret mergeMaps(a, b);
}

download  show line numbers  debug dex  old transpilations   

Travelled to 14 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, cfunsshuasjs, ddnzoavkxhuk, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt

No comments. add comment