[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-hackers] Only specialize string-length if type is definitel
Re: [Chicken-hackers] Only specialize string-length if type is definitely known
Mon, 28 May 2012 15:41:40 +0200
* 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
Thanks for the explanation!
9 out of 10 voices in my head say, that I am crazy,
one is humming.