[Top][All Lists]

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

Re: [Chicken-hackers] Only specialize string-length if type is definitel

From: Christian Kellermann
Subject: Re: [Chicken-hackers] Only specialize string-length if type is definitely known
Date: Mon, 28 May 2012 15:41:40 +0200
User-agent: Mutt/1.5.21 (2010-09-15)

* felix winkelmann <address@hidden> [120528 14:48]:
> Enforce merely specifies that the argument is of the declared type
> _in_case_the_procedure_call_returns_without_error_. Apparantly here is
> a bug in the flow-analysis that causes the enforcement property of
> "string-length" to be applied to early: it assumes "s1" is a string
> because it is passed to "string-length", but it does so too early.
> Removing the "#:enforce" declaration is not a solution to this. Please
> hold, this needs scrutinizer hacking and needs to be addressed

Ah, I suspected something like this. Seems I have misread the
#:enforce description.

Thanks for the explanation!


9 out of 10 voices in my head say, that I am crazy,
one is humming.

reply via email to

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