[racket-users] Typed Racket: Polymorphic function `dynamic-wind' could not be applied to arguments

2017-03-04 Thread kay
I have the following simple module that I'm converting to typed/racket. I got a type check error that I don't know how to fix. More specifically, it's related to the polymorphic function dynamic-wind's arguments. I read from document [1] that type inference doesn't work for a lambda that is an a

Re: [racket-users] scribble section as link

2017-03-04 Thread Stephen Chang
Ah, I understand now. I remember trying to do this as well but I'm not sure it's possible. I just tried manually playing around a bit with scribble structs but couldnt figure it out. Best I could do was redirecting a seclink, or changing the toc contents of an element. But there doesnt seem to be

Re: [racket-users] scribble section as link

2017-03-04 Thread David Van Horn
The latex analogy of what I'd like is something like: \addcontentsline{toc}{section}{\href{google.com}{The Google}} On Sat, Mar 4, 2017 at 2:30 PM, David Van Horn wrote: > Thanks, this does make the section heading a link, but in the table of > contents or in the left hand navigation bar, the li

Re: [racket-users] scribble section as link

2017-03-04 Thread David Van Horn
Thanks, this does make the section heading a link, but in the table of contents or in the left hand navigation bar, the link is to the (empty) section, not the URL. What I'd like is for the navigation links to go to the URL. David On Sat, Mar 4, 2017 at 2:06 PM, Stephen Chang wrote: > Does `hy

Re: [racket-users] scribble section as link

2017-03-04 Thread Stephen Chang
Does `hyperlink` do what you want? eg @section{@hyperlink["http://google.com"]{The Google}} On Sat, Mar 4, 2017 at 1:49 PM, David Van Horn wrote: > I'm using scribble to make a web page and I'd like a section-like > heading that is just a link to an external URL, but I don't see how to > do thi

[racket-users] scribble section as link

2017-03-04 Thread David Van Horn
I'm using scribble to make a web page and I'd like a section-like heading that is just a link to an external URL, but I don't see how to do this. Is it possible? David -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this gr