Jörg F. Wittenberger <[email protected]> writes:
>  (let ((foobar (the (or null (list-of number)) '())))
>
> Warning: in toplevel procedure `foo#bar':
>  expression returns a result of type `null', but is declared to return
> (list-of number)', which is not a subtype

It seems you can trick the compiler by using something like this:

  (the (list-of number) (apply list '()))

I'm not sure whether that's how THE BOSS intended the -strict-types
option to be (ab)used though :-) Better follow Peter's advice of getting
rid of the mutation.

Moritz

_______________________________________________
Chicken-users mailing list
[email protected]
https://lists.nongnu.org/mailman/listinfo/chicken-users

Reply via email to