Jörg F. Wittenberger <joerg.wittenber...@softeyes.net> writes: > [1. text/plain] > > On Mar 25 2013, Moritz Heidkamp wrote: > >>Jörg F. Wittenberger <joerg.wittenber...@softeyes.net> 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 _______________________________________________ Chicken-hackers mailing list Chicken-hackers@nongnu.org https://lists.nongnu.org/mailman/listinfo/chicken-hackers