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 _______________________________________________ Chicken-hackers mailing list Chicken-hackers@nongnu.org https://lists.nongnu.org/mailman/listinfo/chicken-hackers