Re: [racket-users] Can I declare opaque type constructor in `require/typed`?

No, this can't work. For example, how would you generate a contract for (Mutable-Setof (-> Integer Integer))? At least, that's my sense of it -- maybe something like that could work but I don't see how yet. Sam On Sat, Mar 9, 2019, 12:55 PM Phil Nguyen wrote: > I'm attempting to add type

[racket-users] Can I declare opaque type constructor in `require/typed`?

I'm attempting to add type bindings for mutable sets. I can't reuse the existing `Setof` type constructor because it is covariant. Is it possible to declare an opaque new type constructor `Mutable-Setof` in the `require/typed` clause? Thanks. -- You received this message because you are

Re: [racket-users] How to fix typos in documentation?

I agree with Greg that such a feature would be neat - so it's great that Ben and Kieran are on it already. (Thanks!) The CONTRIBUTING.md is a good idea (and I David's version). The 'Edit on Github' button would solve the first stumbling block I hit, while the contribution.md file helps later in