Re: [Chicken-hackers] testcase -strict-types

[Moritz Heidkamp]

Jörg F. Wittenberger <address@hidden> writes:

> [1. text/plain]
>
> On Mar 25 2013, Moritz Heidkamp wrote:
>
>>Jörg F. Wittenberger <address@hidden> writes:
>>> Though in a way the explanation is correct.  -strict-types assumes
>>> '() to be null from the initialization.  Short of a way to declare
>>> the type of foobar as (list-of <whatever>) this fails when it's used
>>> as the initial and correct value of type (list-of <whatever>) with
>>> zero length.
>>
>>You should be able to use `the' or `assume' for that purpose.
>
> Where would I find "the" respective "assume" to be documented?

In the manual page about the type system,
e.g. http://wiki.call-cc.org/man/4/Types


> (Would the syntax break standard Scheme compatibility?)

They are regular Scheme syntax so you can stub them. You could use
http://wiki.call-cc.org/eggref/4/type-stubs for other Schemes, too (it
is intended to be used with older Chickens).

Moritz