We use it Amazon. I can't really read it so I'm not sure, but I think it's used to encode terms that come up that aren't handled well by the standard dictionary.
On Sat, May 18, 2024 at 8:39 AM Bruno Roustant <[email protected]> wrote: > > Hi, > > While looking at the various usages of Map with Integer keys, I found > ja.dict.UserDictionary with its lookup() method where there is a TODO: can we > avoid this treemap/toIndexArray? > > I could propose something, but I would like to know how much it is used, and > if it is worth improving it. > > Thanks > > Bruno --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
