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
Belgium
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 `Lis
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
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 level?
> >
> > Robby
> >
> > On Sun, Mar 5, 2017 at 9:
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 command that has an optional
>> argument. My current
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 e
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`:
>
> (define (foo #:opt
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 (
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, effecti
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 wrote:
> I
10 matches
Mail list logo
