[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-hackers] [PATCH] Improve irregex matching performance a lot
Jörg F . Wittenberger
Re: [Chicken-hackers] [PATCH] Improve irregex matching performance a lot by adding two type declarations
Sun, 13 Dec 2015 14:19:27 +0100
Mozilla/5.0 (X11; Linux armv7l; rv:38.0) Gecko/20100101 Icedove/38.4.0
Am 12.12.2015 um 20:28 schrieb Peter Bex:
>>> Maybe this is a good feature to add: a way to indicate that a type
>>> > > declaration for the argument types to a procedure declared elsewhere
>>> > > should be considered an assumption in the procedure body.
>> > I'm afraid that I don't quite follow. Do you mean a CL-style declare
>> > within the body of the function; or do you mean that there may exist
>> > type declarations elsewhere that modify the function's type signature,
>> > and whose possible existence is implied?
> The latter. We already allow this, in fact. But the compiler only uses
> it to check and optimize the arguments and return value's types at the
> call sites. What I'm proposing is to extend this somehow to indicate
> that the assumption may also be made inside the procedure.
Isn't this the assumption made when (declare (strict-types)) ?
Re: [Chicken-hackers] [PATCH] Improve irregex matching performance a lot by adding two type declarations, Kooda, 2015/12/08