Would using only-in, rename-in, or rename-out work for what you’re doing?
#lang typed/racket (require (only-in typed/racket [List MyList])) (ann '(1 2 3) (MyList 1 2 3)) On Jun 17, 2014, at 5:32 PM, Spencer Florence <[email protected]> wrote: > 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
