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

[Christian Kellermann]

* 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!

Christian

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