((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPLaneTCommunityLearning

[plt-scheme] Typed scheme and sequences?

From: Mark Engelberg (mark.engelberg at gmail.com)
Date: Thu Jul 3 05:10:20 EDT 2008		 
Does Typed Scheme understand sequences, i.e., something like (Sequenceof a)?

On a related note, I've tried converting a module to typed scheme, and
it's telling me it doesn't like in-range:
typecheck: unbound identifier in-range

Thanks,

Mark
Posted on the users mailing list.