Hi Hendrik, I can't see the example you mention in https://docs.racket-lang.org/ts-reference/type-ref.html#%28form._%28%28lib._typed-racket%2Fbase-env%2Fbase-types-extra..rkt%29._.List%2A%29%29
i'm assuming (List* c) is shorthand for (Pair c null)? I don't know typed racket so I've probably got that terribly wrong. So while I can't help you with this - I wanted to encourage you to make a PR to the documentation if you come up with a fix. It *used* to be hard to find the file that needs the fix, good steps have been made recently to make it easier to identify the documentation source file so it is easier to find and make the corrections or additions. If you have any trouble let me know and I'll try help - I think I'm getting the hang of it. Hope you are well Kind regards Stephen ps i use https://blog.racket-lang.org/2017/09/tutorial-contributing-to-racket.html & lots of kind guidance from other racketeers :0 pps: if you make a successful pr you get credit in the frankly wonderful racket news https://racket-news.com/2020/06/racket-news-issue-32.html On Tue, Jun 2, 2020 at 3:13 PM Hendrik Boom <hend...@topoi.pooq.com> wrote: > In the Typed Racket Reference, List* is defined as follows: > > (List* t t1 ... s) > > is equivalent to (Pairof t (List* t1 ... s)). > > Following this definition down, we get > > (List* a b c) > -> (Pairof a (List* b c)) > -> (Pairof a (Pairof b (List* c))) > > But what's (List* c) ? > > I see no explanatory examples. > > -- hendrik > > P.S. I'm also unsure what 'bound' is supposed to do in > > (List t ... trest ... bound) > > It says "where bound must be an identifier denoting a type variable > bound with ..." but I don't undestand what this is referring to. > > There are no examples of this in the document, just as there are no > examples of List*. > > -- hendrik > > -- > 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. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/20200602141347.3z7igvzbjyikhfn4%40topoi.pooq.com > . > -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAGHj7-LsML%2BeOnt_BUBWmRM5vU6GtovyaNr-JHOQPzoMCL2NTQ%40mail.gmail.com.