[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Chicken-hackers] [PATCH] Improve irregex matching performance a lot

From: Jörg F . Wittenberger
Subject: Re: [Chicken-hackers] [PATCH] Improve irregex matching performance a lot by adding two type declarations
Date: Sun, 13 Dec 2015 14:19:27 +0100
User-agent: 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[1]
>> > 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)) ?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]