Given racket/place/distributed then the typing should go into base-env.rkt true? Assuming so, we face the situation that the place/distributed API uses class instances.
e.g. spawn-node-supervise-place-at returns (values remote-node% remote-connection%) I know how to do it a la collects/types/mred but I couldn't spot an example of class/instance typing in directly in base-env.rkt's DSL typing syntax. Could an example be provided? Thanks.
____________________ Racket Users list: http://lists.racket-lang.org/users
