On 02/08/2013 09:04 AM, Sam Tobin-Hochstadt wrote:
On Fri, Feb 8, 2013 at 11:00 AM, Neil Toronto <[email protected]> wrote:
Another option is to do something with Typed Racket to get rid of this type
error, which makes the cast necessary:
Type Checker: Expected (Listof Real), but got
(U (Listof Real) (Pairof Any (Listof Any)))
I don't know why it does this, but there might be a good reason. Vincent?
The behavior of `list?` is not right -- something needs to be changed
so that it doesn't cause the type system to forget what it previously
knew.
Thanks. I'll submit a bug report.
Neil ⊥
____________________
Racket Users list:
http://lists.racket-lang.org/users
