On Sat, Oct 13, 2012 at 09:45:18AM +0200, Felix wrote:
> Thanks - turns out there was a bug: the type-matching of the typeset
> elements must be "precise" to handle subtypes, consider:
> 
> (let ((a (the (or string number) ...)))
>   (if (fixnum? a)
>       ...                 ; a : fixnum
>       ...))               ; a : (or number string) <- "number" is supertype 
> of "fixnum"

Thanks for explaining a little more about the scrutinizer, and
fixing the bug.

Cheers,
Peter
-- 
http://sjamaan.ath.cx
--
"The process of preparing programs for a digital computer
 is especially attractive, not only because it can be economically
 and scientifically rewarding, but also because it can be an aesthetic
 experience much like composing poetry or music."
                                                        -- Donald Knuth

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

Reply via email to