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

[Sam Tobin-Hochstadt]

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 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 subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

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

[Phil Nguyen]

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 subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

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

[Marc Kaufmann]

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 the process.

Cheers,
Marc

On Fri, Mar 8, 2019 at 10:55 PM Ben Greenman 
wrote:

> On 3/8/19, David Storrs  wrote:
> > On Fri, Mar 8, 2019 at 3:13 PM Greg Hendershott <
> greghendersh...@gmail.com>
> > wrote:
> >
> >> I have a dumb question. Why can't doc pages have links whose label is
> >> something like "Want to improve the docs?", and the URL goes directly
> >> to the appropriate .scrbl file on GitHub?
> >>
> >
> > I asked about this a year or so ago and the consensus was that it was
> > impractically difficult given the number of tuits that were available at
> > the time.  IIRC, it would have required significant changes to the
> > documentation generation system.  Perhaps I'm misremembering, or perhaps
> > that's changed?
>
> Here's a Scribble issue about adding links to the doc pages:
>
> https://github.com/racket/scribble/issues/76
>
>
> And here's a Scribble branch that Kieran Hardy and I started (at
> RacketCon 2017) to add the links:
>
> https://github.com/bennn/scribble/commits/view-source
>
> Next month I'll try to turn the branch into a pull request. If someone
> wants to take the lead this month, feel free.
>
> --
> You received this message because you are subscribed to a topic in the
> Google Groups "Racket Users" group.
> To unsubscribe from this topic, visit
> https://groups.google.com/d/topic/racket-users/J8ylMGGGr-8/unsubscribe.
> To unsubscribe from this group and all its topics, send an email to
> racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.