Re: [Chicken-hackers] [PATCH] Improve irregex matching performance a lot by adding two type declarations

[Jörg F . Wittenberger]

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)) ?

/Jerry