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

[racket] define-type on List and Listof

From: Spencer Florence (spencer at florence.io)
Date: Tue Jun 17 17:32:55 EDT 2014		 
Hi all,

I'm trying to rename some types in typed/racket but something odd is
happening:

(define-type A Listof)

works but:

(define-type B List)

errors with "Type Checker: parse error in type; type name `List' is unbound
in: List"

Is this a bug or am I missing something?

--Spencer
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20140617/d375c824/attachment.html>
Posted on the users mailing list.