Re: typechecking

[Dale P. Smith]

Marius Vollmer <address@hidden> writes:

> Han-Wen Nienhuys  <address@hidden> writes:
>> I propose that the old
>>
>>   DEBUG_TYPING_STRICTNESS==2
>>
>> is removed, as it provides little extra strictness.
>
> Hmm, I don't agree.  That setting is much stricter than the default
> one: Guile itself has many places that would need to be fixed for
> STRICTNESS == 2.  For example, code like
>
>     SCM x;
>
>     if (x == SCM_EOL)
>       ...
>
> does not compile with STRICTNESS == 2, and it is indeed not completely
> correct.  (It should be SCM_EQ_P (x, SCM_EOL) or SCM_NULLP (x).)
>
> It would be a nice little (?) project to make Guile compile with
> STRICTNESS == 2.  Some places, like 
>
>     switch (ISYMNUM (SCM_CAR (x)))
>       {
>       case (ISYMNUM (SCM_IM_AND)):
>
> in eval.c might be hard to fix, tho.

I thought that STRICTNESS == 2 was for extreme type checking, but for
suboptimal code, and that Guile code should always be able to be
compiled at level 2.

-Dale

-- 
Dale P. Smith
dsmith at actron dot com