[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



Posted on the users mailing list.