[racket-users] Fwd: [ELS] [CfPart] 10th European Lisp Symposium, Apr 3-4 2017, Brussels

Just a short x-post from the ELS mailing list: Datum: Fri, 03 Mar 2017 15:25:26 +0100 Von: Didier Verna An: ELS Conference ELS'17 - 10th European Lisp Symposium VUB - Vrije Universiteit Brussel

[racket-users] How to type annotate for bindings in complex syntax forms

For a complex syntax form like `command-line`, I have difficulty correctly annotate the bindings it defines. More specifically, in the below code, for variable `msg`, even the document[1] says the `#:args` binds as list of **strings**, but the error indicates that it somehow is declared as

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

Thanks for pointing it out. I also figured later that the multiple return values was the problem here. Is this a TR type system limitation that polymorphic functions don't like multiple return values? Looks like it might be worth mentioning somewhere in the documentation or better in the error

Re: [racket-users] scribble and optional latex arguments

Oh sorry. What you have done is what I would do. Robby On Sun, Mar 5, 2017 at 9:58 AM David Van Horn wrote: > That's what I'm doing. > > On Sun, Mar 5, 2017 at 10:48 AM, Robby Findler > wrote: > > Define two different commands at the latex

Re: [racket-users] scribble and optional latex arguments

That's what I'm doing. On Sun, Mar 5, 2017 at 10:48 AM, Robby Findler wrote: > Define two different commands at the latex level? > > Robby > > On Sun, Mar 5, 2017 at 9:39 AM David Van Horn wrote: >> >> I'm trying to make a wrapper for a latex

Re: [racket-users] Are types first class values in typed/racket

Hey Jack, are there any users already for turnstile? I couldn't find anybody except the package itself. ciao robertj Am Mittwoch, 15. Februar 2017 20:13:43 UTC+1 schrieb Jack Firth: > That's not possible in Typed Racket, no. Type checking is after macro > expansion so type information doesn't

Re: [racket-users] scribble and optional latex arguments

Define two different commands at the latex level? Robby On Sun, Mar 5, 2017 at 9:39 AM David Van Horn wrote: > I'm trying to make a wrapper for a latex command that has an optional > argument. My current solution is to do the following to wrap a > command called `\foo`: >

[racket-users] scribble and optional latex arguments

I'm trying to make a wrapper for a latex command that has an optional argument. My current solution is to do the following to wrap a command called `\foo`: (define (foo #:opt [o #f] x) (if o (make-multiarg-element (make-style "SfooOpt" '(multicommand)) (list

Re: [racket-users] scribble section as link

I think we'll need to add something to make this work. Maybe the simplest addition would be a style property on a part that means "when rendering my label as a reference, don't make it a hyperlink". Then, any hyperlinks in the label content would be preserved in a reference to the section,

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

The problem is not the `AnyValues` since it accepts all types, but you cannot instantiate a polymorphic type to return multiple values, so you have to return (cons ... ...) in dynamic-wind then extract that pair as two return values of the function. On Sun, Mar 5, 2017 at 3:23 PM, kay