I imagine it's because there are no variable-arity type constructors in TR, and (List A ...) is fancy syntax for (Pairof A (Pairof ... '()) ...) if that notation makes any sense. -Ian ----- Original Message ----- From: "Spencer Florence" <[email protected]> To: "racket" <[email protected]> Sent: Tuesday, June 17, 2014 5:32:55 PM GMT -05:00 US/Canada Eastern Subject: [racket] define-type on List and Listof
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 ____________________ Racket Users list: http://lists.racket-lang.org/users ____________________ Racket Users list: http://lists.racket-lang.org/users
