Re: [racket-users] Question regarding use of Scribble PDF button (and scribble-math) under Windows

On Monday, November 25, 2019 at 4:28:58 PM UTC-8, Jens Axel Søgaard wrote: > > Den tir. 26. nov. 2019 kl. 01.18 skrev E Comer >: > >> Hi Racket friends: >> >> The running of the following code produce an error under Windows, when I >> try to generate a PDF with the Scribble PDF button under

Re: [racket-users] Reason why char=? accepts only one argument?

On Monday, November 25, 2019 at 6:44:49 AM UTC-5, Matthew Flatt wrote: > > > > In the documentation, "..." means "zero or more". So, > > (char=? char1 char2 ...) > > means that `char=?` takes at least one argument. > > Before version 7, the "..." in this place in documentation was a >

Re: [racket-users] Question regarding use of Scribble PDF button (and scribble-math) under Windows

Den tir. 26. nov. 2019 kl. 01.18 skrev E Comer : > Hi Racket friends: > > The running of the following code produce an error under Windows, when I > try to generate a PDF with the Scribble PDF button under DrRacket 7.5. > > Which error? /Jens Axel -- You received this message because you are

[racket-users] Question regarding use of Scribble PDF button (and scribble-math) under Windows

Hi Racket friends: The running of the following code produce an error under Windows, when I try to generate a PDF with the Scribble PDF button under DrRacket 7.5. *#lang scribble/manual* *@(require scribble-math)* *@${\dfrac{1}{2}}* On the other hand, if the last line is changed to

[racket-users] Racket 7.5 DMG file does not open on OSX 10.11

When I download and install the .dmg file from racket-lang, I'm told "no mountable filesystems". I'm not sure if this is an issue with how it was built, with my machine, or with OSX in general. This may not be worth worrying about, since OSX 10.11 was released September 30, 2015 and Apple has

Re: [racket-users] Re: GUI (get-directory)

Many packages contain an /examples folder, and adding examples is an easy way to contribute. There is also https://github.com/racket/racket/wiki/Artifacts > This page captures useful code snippets that are too small to be a package. > > Please contribute your own! Though these might be better

Re: [racket-users] question re downloading a PDF file

Hello, call-with-output-file and copy-port makes this task easier. Took me a while before I found out about copy-port, too. Maybe there are a few places in the documentation that should have explicit mentions of it. #lang racket (require net/url) (define/contract (download-file uri

Re: [racket-users] Re: typo in manual

Not the first typo this library has had... I've pushed a repair, thanks for the report! --spf On Fri, Nov 22, 2019 at 11:47 AM 'Joel Dueck' via Racket Users < racket-users@googlegroups.com> wrote: > Documentation for individual packages is maintained by the package authors. > > Clicking on the

[racket-users] Re: Reason why char=? accepts only one argument?

On Mon, 25 Nov 2019 00:14:45 -0800, Siddhartha Kasivajhula wrote: >Another way to think of it could be to interpret the operator as asking, >"do the arguments supplied form an equivalence class >?" If only one argument is >supplied, then it

Re: [racket-users] Building Racket 7.5 CS on MacOS Catalina

Yes, the snapshot should work. At Mon, 25 Nov 2019 16:31:33 +0100, "Bruce O'Neel" wrote: > > > Hi, > > Thanks!  So if I were to grab the 7.5.0.7 version off of one of the snapshot > sites it should work? > > cheers > > bruce > > > > > Hi Bruce, > > > > Thanks

Re: [racket-users] Building Racket 7.5 CS on MacOS Catalina

Hi, Thanks!  So if I were to grab the 7.5.0.7 version off of one of the snapshot sites it should work? cheers bruce > Hi Bruce, > > Thanks for the report! > > It looks like this failure is due to a Racket CS I/O bug that has been > fixed for the next

Re: [racket-users] type-checking error with immutable vectors in for loop

Is this a situation where the type-checker needs to be enhanced to type-check this code, or there is not enough information to type-check the code? (I am just curious about that) On Mon, Nov 25, 2019 at 6:12 AM Sam Tobin-Hochstadt wrote: > This is a situation where the problem is needing more

Re: [racket-users] Building Racket 7.5 CS on MacOS Catalina

Hi Bruce, Thanks for the report! It looks like this failure is due to a Racket CS I/O bug that has been fixed for the next version (by commit 3c2efafbf5). If you really need things to work for v7.5, I can suggest a workaround. But if you were just trying it out to see, then we should have this

Re: [racket-users] type-checking error with immutable vectors in for loop

Thank you, Bert From: Sam Tobin-Hochstadt Sent: Monday, November 25, 2019 15:12 To: bedeke Cc: Racket Users Subject: Re: [racket-users] type-checking error with immutable vectors in for loop This is a situation where the problem is needing more annotations

Re: [racket-users] type-checking error with immutable vectors in for loop

This is a situation where the problem is needing more annotations -- if you write: (for/list : (Listof M) ([m : M s]) m) it type checks. Sam On Mon, Nov 25, 2019 at 3:27 AM bedeke wrote: > > Hello, > > the following doesn't typecheck. Is it a bug? Should I avoid > Immutable-Vectors? >

Re: [racket-users] Reason why char=? accepts only one argument?

At Sun, 24 Nov 2019 14:30:23 -0800 (PST), Jonathan Simpson wrote: > > > The documentation for char=? leaves the impression that it takes a minimum > of two arguments: > > > https://docs.racket-lang.org/reference/characters.html?q=expand#%28def._%28%28q >

[racket-users] type-checking error with immutable vectors in for loop

Hello, the following doesn't typecheck. Is it a bug? Should I avoid Immutable-Vectors? #lang typed/racket/base ;DrRacket, version 7.5.0.3 [3m]. (require racket/sequence) (define-type M (Immutable-Vectorof Number)) (define s (in-list (ann (list (vector-immutable 1 2 3)

Re: [racket-users] Reason why char=? accepts only one argument?

Another way to think of it could be to interpret the operator as asking, "do the arguments supplied form an equivalence class ?" If only one argument is supplied, then it trivially forms such a class. On Sun, Nov 24, 2019 at 10:27 PM George Neuner