Hi again,
Thank you for the quick and helpful response!
This is a bug; it should give you roughly the same error as above, but
for the different reason. The problem is that we'd need to check
*every* element of the sequence to make sure it had the right type,
which a simple predicate can't do
On Thu, Aug 11, 2011 at 9:32 AM, Matthias Benkard
wrote:
> Hi,
>
> I recently discovered Typed Racket and am having a lot of fun with it.
> Occurrence typing is pretty amazing.
Great! Glad you're enjoying it.
> I've stumbled across a couple of problems when trying to use
> dictionaries and seq
2 matches
Mail list logo
