|
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)) ? /Jerry
[Prev in Thread] | Current Thread | [Next in Thread] |