[Date Prev][Date Next][Thread Prev][Thread Next]
- Subject: Re: Minor manual nitpick
- From: Sergey Zakharchenko <doublef.mobile@...>
- Date: Wed, 19 Dec 2018 09:08:31 +0000
> > https://github.com/lua/lua/blob/af6d9f31165a13c34c0601f37ca5a67c365d1d01/manual/manual.of#L1798
By the way, the "detectable difference" between functions, especially
if you mean detectable at runtime without debug tricks and
string.dump() (i.e. different extensionally as some would put it), is
quite vague and surprisingly hard to decide upon in practice (trust
me, I know). Any chance of this being elaborated further?
> Freudian slip?
Certainly hope not...