Hi, On Thu, 30 Nov 2017, Kyrill Tkachov wrote:
> I don't know what rldicl means without looking it up on the Internet ;) :) (zero_extendsidi2/1 it seems, from Seghers dump, not that I would have known without) > Given how frequently I have to look at these dumps, I could get used to > any encoding though. I don't find them too verbose for my purposes, but > if saving space is a goal here then I won't object to keeping them as > single characters I personally like the new format much more than what we have (also because of the more sensible alignment, not having the variable-length pattern name first). Ciao, Michael. P.S: feeling slightly sorry for adding bikeshed discussions to this trivial topic ;)
