Re: RFA: fix dbr_schedule to leave unique ids unique

2012-10-20 Thread Richard Sandiford
Joern Rennecke writes: > Quoting Richard Sandiford : >> Joern Rennecke writes: >>> Quoting Richard Sandiford : The fact that we even have shared unique ids is pretty bad -- and surely a contradiction in terms -- but I think both ways of handling them rely on the length being the sa

RFA: fix dbr_schedule to leave unique ids unique

2012-10-19 Thread Joern Rennecke
Quoting Richard Sandiford : Joern Rennecke writes: Quoting Richard Sandiford : The fact that we even have shared unique ids is pretty bad -- and surely a contradiction in terms -- but I think both ways of handling them rely on the length being the same for all copies. If we don't record a le