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

2019-11-25 Thread E Comer 
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 DrRacket 7.5.
>>
>>
> Which error?
>
> /Jens Axel
>

*Thank you very much for your question*: the *error message is too long*, 
but is the following:

scribble: loading xref
scribble: rendering
This is pdfTeX, Version 3.14159265-2.6-1.40.20 (MiKTeX 2.9.7250 64-bit) 
(preloaded format=pdflatex 2019.11.13)  25 NOV 2019 18:54
entering extended mode
**./testingscribblepdf.tex
(testingscribblepdf.tex
LaTeX2e <2019-10-01> patch level 3
("C:\Program Files\MiKTeX 2.9\tex/latex/base\article.cls"
Document Class: article 2019/10/25 v1.4k Standard LaTeX document class
("C:\Program Files\MiKTeX 2.9\tex/latex/base\size10.clo"
File: size10.clo 2019/10/25 v1.4k Standard LaTeX file (size option)
)
\c@part=\count80
\c@section=\count81
\c@subsection=\count82
\c@subsubsection=\count83
\c@paragraph=\count84
\c@subparagraph=\count85
\c@figure=\count86
\c@table=\count87
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
) ("C:\Program Files\MiKTeX 2.9\tex/latex/base\inputenc.sty"
Package: inputenc 2018/08/11 v1.3c Input encoding file
\inpenc@prehook=\toks14
\inpenc@posthook=\toks15
) ("C:\Program Files\MiKTeX 2.9\tex/latex/base\fontenc.sty"
Package: fontenc 2018/08/11 v2.0j Standard LaTeX package
("C:\Program Files\MiKTeX 2.9\tex/latex/base\t1enc.def"
File: t1enc.def 2018/08/11 v2.0j Standard LaTeX file
LaTeX Font Info:Redeclaring font encoding T1 on input line 48.
)) ("C:\Program Files\MiKTeX 2.9\tex/latex/graphics\graphicx.sty"
Package: graphicx 2017/06/01 v1.1a Enhanced LaTeX Graphics (DPC,SPQR)
("C:\Program Files\MiKTeX 2.9\tex/latex/graphics\keyval.sty"
Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
\KV@toks@=\toks16
) ("C:\Program Files\MiKTeX 2.9\tex/latex/graphics\graphics.sty"
Package: graphics 2019/11/01 v1.3d Standard LaTeX Graphics (DPC,SPQR)
("C:\Program Files\MiKTeX 2.9\tex/latex/graphics\trig.sty"
Package: trig 2016/01/03 v1.10 sin cos tan (DPC)
) ("C:\Program Files\MiKTeX 2.9\tex/latex/graphics-cfg\graphics.cfg"
File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration
)
Package graphics Info: Driver file: pdftex.def on input line 105.
("C:\Program Files\MiKTeX 2.9\tex/latex/graphics-def\pdftex.def"
File: pdftex.def 2018/01/08 v1.0l Graphics/color driver for pdftex
))
\Gin@req@height=\dimen103
\Gin@req@width=\dimen104
) ("C:\Program Files\MiKTeX 2.9\tex/latex/hyperref\hyperref.sty"
Package: hyperref 2019/11/10 v7.00c Hypertext links for LaTeX
("C:\Program Files\MiKTeX 2.9\tex/generic/oberdiek\ltxcmds.sty"
Package: ltxcmds 2016/05/16 v1.23 LaTeX kernel commands for general use (HO)
) ("C:\Program Files\MiKTeX 2.9\tex/generic/iftex\iftex.sty"
Package: iftex 2019/11/07 v1.0c TeX engine tests
) ("C:\Program Files\MiKTeX 2.9\tex/generic/oberdiek\pdftexcmds.sty"
Package: pdftexcmds 2019/07/25 v0.30 Utility functions of pdfTeX for LuaTeX 
(HO
)
("C:\Program Files\MiKTeX 2.9\tex/generic/oberdiek\infwarerr.sty"
Package: infwarerr 2016/05/16 v1.4 Providing info/warning/error messages 
(HO)
) ("C:\Program Files\MiKTeX 2.9\tex/generic/iftex\ifluatex.sty"
Package: ifluatex 2019/10/25 v1.5 ifluatex legacy package. Use iftex 
instead.
) ("C:\Program Files\MiKTeX 2.9\tex/generic/iftex\ifpdf.sty"
Package: ifpdf 2019/10/25 v3.4 ifpdf legacy package. Use iftex instead.
)
Package pdftexcmds Info: LuaTeX not detected.
Package pdftexcmds Info: \pdf@primitive is available.
Package pdftexcmds Info: \pdf@ifprimitive is available.
Package pdftexcmds Info: \pdfdraftmode found.
) ("C:\Program Files\MiKTeX 2.9\tex/generic/oberdiek\kvsetkeys.sty"
Package: kvsetkeys 2016/05/16 v1.17 Key value parser (HO)
("C:\Program Files\MiKTeX 2.9\tex/generic/oberdiek\etexcmds.sty"
Package: etexcmds 2016/05/16 v1.6 Avoid name clashes with e-TeX commands 
(HO)
)) ("C:\Program Files\MiKTeX 2.9\tex/generic/oberdiek\kvdefinekeys.sty"
Package: kvdefinekeys 2016/05/16 v1.4 Define keys (HO)
) ("C:\Program Files\MiKTeX 2.9\tex/generic/oberdiek\pdfescape.sty"
Package: pdfescape 2016/05/16 v1.14 Implements pdfTeX's escape features (HO)
) ("C:\Program Files\MiKTeX 2.9\tex/latex/oberdiek\hycolor.sty"
Package: hycolor 2016/05/16 v1.8 Color options for hyperref/bookmark (HO)
("C:\Program Files\MiKTeX 2.9\tex/latex/oberdiek\xcolor-patch.sty"
Package: xcolor-patch 2016/05/16 xcolor patch
("C:\Program Files\MiKTeX 2.9\tex/latex/oberdiek\hopatch.sty"
Package: hopatch 2016/05/16 v1.3 Wrapper for package hooks (HO)
))) ("C:\Program Files\MiKTeX 2.9\tex/latex/oberdiek\letltxmacro.sty"
Package: letltxmacro 2016/05/16 v1.5 Let assignment for LaTeX macros (HO)
) ("C:\Program Files\MiKTeX 2.9\tex/latex/oberdiek\auxhook.sty"
Package: auxhook 2016/05/16 v1.4 Hooks for auxiliary files (HO)
) ("C:\Program Files\MiKTeX

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

2019-11-25 Thread Jonathan Simpson 
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 
> "...+", which means "one or more" in the documentation's notation. 
>
>
Ah yes, of course. My eyes kind of glossed over the '...'.

The reason I asked is because I forgot to specify the second argument due 
to a typo, which led to a runtime bug instead of a compiler error or 
contract failure like I expected. But the explanations for this behavior 
are reasonable enough.

Thanks,
Jonathan

-- 
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/c2601d91-3e5b-4da9-947d-5ebfcbc93fc9%40googlegroups.com.

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

2019-11-25 Thread Jens Axel Søgaard 
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 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/CABefVgwMjjow873pR_EOxtvN8MMPVnqLo9%3DZE%3Da0JzKJJwA7qA%40mail.gmail.com.

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

2019-11-25 Thread 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.

*#lang scribble/manual*
*@(require scribble-math)*
*@${\dfrac{1}{2}}*

On the other hand, if the last line is changed to *@${\frac{1}{2}}*, then 
there is no error.

I'm using MiKTeX 2.9.


*Thank you very much in advance for any help concerning this issue*.

Congratulations also for all the excellent work.

Sincerely, E. Comer

-- 
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/1c7d07c6-3676-4e48-ba7d-e63664df1a5e%40googlegroups.com.

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

2019-11-25 Thread David Storrs 
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 decided that something from four years ago
is FAR too old to worry about backwards compatibility. (grumble, grumble)

-- 
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/CAE8gKofnwe%3D3TwO%3D0eQseVKD-Su8%2BunQnxrRh%3DuhJuaU%3DLY9ZQ%40mail.gmail.com.

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

2019-11-25 Thread Stephen De Gabrielle 
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 places in documentation, or in /examples

S.

-- 
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/b02f0a32-8790-442f-b2a6-21086e8b3c1e%40googlegroups.com.

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

2019-11-25 Thread Simon Schlee 
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 save-as-path)
  (-> string? path-string? any/c)
  (call-with-output-file save-as-path
(λ (out)
  (define in (get-pure-port (string->url uri)))
  (copy-port in out))
#:exists 'replace))

(module+ main
  (download-file "https://racket-lang.org/img/racket-logo.svg; 
"racket-logo.svg"))

-- 
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/9ea93faa-c38a-45e6-94cf-e5504d77cc30%40googlegroups.com.

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

2019-11-25 Thread Spencer Florence 
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 "package" link at the top brings you to
> https://pkgs.racket-lang.org/package/colors which says the Git repo is at
> https://github.com/florence/colors/tree/master/scribblings
>
> I can submit a pull request there, unless you would prefer to.
>
> On Friday, November 22, 2019 at 10:39:34 AM UTC-6, Hendrik Boom wrote:
>>
>> In https://docs.racket-lang.org/colors/index.html
>> section 4 presents a function set-brigthness
>> and then proceeds to discuss how it affects brighness
>>
>> Perhaps the function name and the discussion should involve brightness
>> instead.
>>
>> -- 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/b5dcbaa8-c3ad-47a8-bc54-4c48171d73ce%40googlegroups.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/CAF4wvDzLR_z5Aah2kq38OzyR5sqZENXjj3F8UtecjWRd5cxJBw%40mail.gmail.com.

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

2019-11-25 Thread George Neuner 
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 trivially forms such a class.

What about Common Lisp's /= and char/= functions?  Can nonequivalent
values form an equivalence class?

I note that neither Scheme nor Racket implements these functions.  Is
there some pedagogical reason, or is it simply a practical realization
that "(/= _)" is interchangeable with "(not (= _))" ?


Not a language theorist, just an aging compiler geek.
George

-- 
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/pfunteltm3sm5irkjifvh00r7mien6l1nm%404ax.com.

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

2019-11-25 Thread Matthew Flatt 
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 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  
> >  working for next time.  
> >   
> >  Matthew  
> >   
> >  At Thu, 21 Nov 2019 10:16:51 +0100, "Bruce O'Neel" wrote:  
> >  >  
> >  > Hi all,  
> >  >  
> >  > I normally build Racket from source, and, for 7.5 I decided to try 
> > Racket 
> CS  
> >  > as well.  
> >  >  
> >  > Racket 7.5 builds fine from minimal source.  Racket CS builds fine as 
> well  
> >  > from minimal source, but, when I run the command to build the rest of 
> the  
> >  > distribution.  
> >  >  
> >  > ./raco pkg install --deps search-auto -i main-distribution  
> >  >  
> >  >  
> >  > it fails with:  
> >  >  
> >  > Resolving "main-distribution" via   
> >  > 
> [https://download.racket-lang.org/releases/7.5/catalog/](https://download.racke
>   
> >  > t-lang.org/releases/7.5/catalog/)  
> >  >  
> >  >  
> >  > bytes-copy!: contract violation  
> >  >  
> >  >  
> >  >   expected: (and/c bytes? (not/c immutable?))  
> >  >  
> >  >  
> >  >   given: 54043195528445952  
> >  >  
> >  >  
> >  >   context...:  
> >  >  
> >  >  
> >  >    do-raise-argument-error  
> >  >  
> >  >  
> >  >    bytes-copy!  
> >  >  
> >  >  
> >  >    try-again  
> >  >  
> >  >  
> >  >    loop  
> >  >  
> >  >  
> >  >    do-display9  
> >  >  
> >  >  
> >  >    loop  
> >  >  
> >  >  
> >  >    fprintf  
> >  >  
> >  >  
> >  >    /Users/XXX/tmp/racket-7.5/collects/net/http-client.rkt:152:0:  
> >  > http-conn-send!27  
> >  >  
> >  >  
> >  >    call-with-values  
> >  >  
> >  >  
> >  >      
> >  > 
> /Users/XXX/tmp/racket-7.5/collects/racket/contract/private/arrow-val-first.rkt:
>   
> >  > 555:3  
> >  >  
> >  >  
> >  >    /Users/XXX/tmp/racket-7.5/collects/net/url.rkt:201:0:   
> >  > [http://getpost-impure-port](http://getpost-impure-port)  
> >  >  
> >  >  
> >  >    /Users/XXX/tmp/racket-7.5/collects/net/url.rkt:308:2: 
> redirection-loop  
> >  >  
> >  >  
> >  >    call-with-values  
> >  >  
> >  >  
> >  >      
> >  > 
> /Users/XXX/tmp/racket-7.5/collects/racket/contract/private/arrow-val-first.rkt:
>   
> >  > 555:3  
> >  >  
> >  >  
> >  >    /Users/XXX/tmp/racket-7.5/collects/pkg/private/network.rkt:59:3  
> >  >  
> >  >  
> >  >    dynamic-wind  
> >  >  
> >  >  
> >  >  
> >  > The full set of commands run:  
> >  >  
> >  > tar xjvf ~/archive/Racket/racket-minimal-7.5-src-builtpkgs.tgz  
> >  > cd racket-7.5/src  
> >  >  
> >  >  
> >  > mkdir build  
> >  >  
> >  >  
> >  > cd build  
> >  >  
> >  >  
> >  > ../configure --enable-csdefault  
> >  >  
> >  >  
> >  >  make  
> >  >  
> >  >  
> >  >  make install  
> >  >  
> >  >  
> >  >  cd ../../bin  
> >  >  
> >  >  
> >  >  ./raco pkg install --deps search-auto -i main-distribution  
> >  >  
> >  >  
> >  >  
> >  > MacOS 10.15.1, and, command line developer tools:  
> >  >  
> >  > gcc -v  
> >  >  
> >  >  
> >  > Configured with: --prefix=/Library/Developer/CommandLineTools/usr  
> >  > 
> --with-gxx-include-dir=/Library/Developer/CommandLineTools/SDKs/[MacOSX.sdk/usr
>   
> >  > /include/c++/4.2.1](http://MacOSX.sdk/usr/include/c++/4.2.1)  
> >  >  
> >  >  
> >  > Apple clang version 11.0.0 (clang-1100.0.33.8)  
> >  >  
> >  >  
> >  > Target: x86_64-apple-darwin19.0.0  
> >  >  
> >  >  
> >  > Thread model: posix  
> >  >  
> >  >  
> >  > InstalledDir: /Library/Developer/CommandLineTools/usr/bin  
> >  >  
> >  >  
> >  >  
> >  > Thanks!  
> >  >  
> >  > cheers  
> >  >  
> >  > bruce  
> >  >  
> >  >  
> >  > --  
> >  > 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/1574327811-56147c15d1164b12004e2
>   
> >  > 43ea648d09b%40pckswarms.ch.
>   
> 
> -- 
> 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/1574695893-3bcb6148e3cd4f19f35e0
> d6b39910f3e%40pckswarms.ch.

-- 
You received this message because you are subscribed to the Google Groups

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

2019-11-25 Thread Bruce O'Neel 

  
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 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  
>  working for next time.  
>   
>  Matthew  
>   
>  At Thu, 21 Nov 2019 10:16:51 +0100, "Bruce O'Neel" wrote:  
>  >  
>  > Hi all,  
>  >  
>  > I normally build Racket from source, and, for 7.5 I decided to try Racket 
> CS  
>  > as well.  
>  >  
>  > Racket 7.5 builds fine from minimal source.  Racket CS builds fine as well 
>  
>  > from minimal source, but, when I run the command to build the rest of the  
>  > distribution.  
>  >  
>  > ./raco pkg install --deps search-auto -i main-distribution  
>  >  
>  >  
>  > it fails with:  
>  >  
>  > Resolving "main-distribution" via   
>  > 
> [https://download.racket-lang.org/releases/7.5/catalog/](https://download.racke
>   
>  > t-lang.org/releases/7.5/catalog/)  
>  >  
>  >  
>  > bytes-copy!: contract violation  
>  >  
>  >  
>  >   expected: (and/c bytes? (not/c immutable?))  
>  >  
>  >  
>  >   given: 54043195528445952  
>  >  
>  >  
>  >   context...:  
>  >  
>  >  
>  >    do-raise-argument-error  
>  >  
>  >  
>  >    bytes-copy!  
>  >  
>  >  
>  >    try-again  
>  >  
>  >  
>  >    loop  
>  >  
>  >  
>  >    do-display9  
>  >  
>  >  
>  >    loop  
>  >  
>  >  
>  >    fprintf  
>  >  
>  >  
>  >    /Users/XXX/tmp/racket-7.5/collects/net/http-client.rkt:152:0:  
>  > http-conn-send!27  
>  >  
>  >  
>  >    call-with-values  
>  >  
>  >  
>  >      
>  > 
> /Users/XXX/tmp/racket-7.5/collects/racket/contract/private/arrow-val-first.rkt:
>   
>  > 555:3  
>  >  
>  >  
>  >    /Users/XXX/tmp/racket-7.5/collects/net/url.rkt:201:0:   
>  > [http://getpost-impure-port](http://getpost-impure-port)  
>  >  
>  >  
>  >    /Users/XXX/tmp/racket-7.5/collects/net/url.rkt:308:2: redirection-loop  
>  >  
>  >  
>  >    call-with-values  
>  >  
>  >  
>  >      
>  > 
> /Users/XXX/tmp/racket-7.5/collects/racket/contract/private/arrow-val-first.rkt:
>   
>  > 555:3  
>  >  
>  >  
>  >    /Users/XXX/tmp/racket-7.5/collects/pkg/private/network.rkt:59:3  
>  >  
>  >  
>  >    dynamic-wind  
>  >  
>  >  
>  >  
>  > The full set of commands run:  
>  >  
>  > tar xjvf ~/archive/Racket/racket-minimal-7.5-src-builtpkgs.tgz  
>  > cd racket-7.5/src  
>  >  
>  >  
>  > mkdir build  
>  >  
>  >  
>  > cd build  
>  >  
>  >  
>  > ../configure --enable-csdefault  
>  >  
>  >  
>  >  make  
>  >  
>  >  
>  >  make install  
>  >  
>  >  
>  >  cd ../../bin  
>  >  
>  >  
>  >  ./raco pkg install --deps search-auto -i main-distribution  
>  >  
>  >  
>  >  
>  > MacOS 10.15.1, and, command line developer tools:  
>  >  
>  > gcc -v  
>  >  
>  >  
>  > Configured with: --prefix=/Library/Developer/CommandLineTools/usr  
>  > 
> --with-gxx-include-dir=/Library/Developer/CommandLineTools/SDKs/[MacOSX.sdk/usr
>   
>  > /include/c++/4.2.1](http://MacOSX.sdk/usr/include/c++/4.2.1)  
>  >  
>  >  
>  > Apple clang version 11.0.0 (clang-1100.0.33.8)  
>  >  
>  >  
>  > Target: x86_64-apple-darwin19.0.0  
>  >  
>  >  
>  > Thread model: posix  
>  >  
>  >  
>  > InstalledDir: /Library/Developer/CommandLineTools/usr/bin  
>  >  
>  >  
>  >  
>  > Thanks!  
>  >  
>  > cheers  
>  >  
>  > bruce  
>  >  
>  >  
>  > --  
>  > 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/1574327811-56147c15d1164b12004e2
>   
>  > 43ea648d09b%40pckswarms.ch.
  

-- 
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/1574695893-3bcb6148e3cd4f19f35e0d6b39910f3e%40pckswarms.ch.

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

2019-11-25 Thread wanderley.guimar...@gmail.com 
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 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?
> > #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)
> >   (vector-immutable 2 3 4)
> >   (vector-immutable 3 4 5))
> > (Listof M
> >
> > (for/list : (Listof M)
> >   ([m s])
> >   m)
> >
> > Kr,
> > Bert
> >
> > --
> > 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/1b1bc126-61d4-476f-bbfd-2bb7fce20aae%40googlegroups.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/CAK%3DHD%2Bbsycv4o77sxq_fRtUNqpfmjPicEFNw8VuxRQCkyxzpOA%40mail.gmail.com
> .
>
-- 
Abraço,
Wanderley Guimarães

-- 
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/CAAmHZoe-TABpckmR-bNf9q%3D%3DC2gghnTnG09CraUSMcK9bNJYVw%40mail.gmail.com.

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

2019-11-25 Thread Matthew Flatt 
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
working for next time.

Matthew

At Thu, 21 Nov 2019 10:16:51 +0100, "Bruce O'Neel" wrote:
> 
> Hi all,  
>   
> I normally build Racket from source, and, for 7.5 I decided to try Racket CS 
> as well.  
>   
> Racket 7.5 builds fine from minimal source.  Racket CS builds fine as well 
> from minimal source, but, when I run the command to build the rest of the 
> distribution.  
>   
> ./raco pkg install --deps search-auto -i main-distribution  
>   
>   
> it fails with:  
>   
> Resolving "main-distribution" via 
> [https://download.racket-lang.org/releases/7.5/catalog/](https://download.racke
> t-lang.org/releases/7.5/catalog/)  
> 
> 
> bytes-copy!: contract violation  
> 
> 
>   expected: (and/c bytes? (not/c immutable?))  
> 
> 
>   given: 54043195528445952  
> 
> 
>   context...:  
> 
> 
>    do-raise-argument-error  
> 
> 
>    bytes-copy!  
> 
> 
>    try-again  
> 
> 
>    loop  
> 
> 
>    do-display9  
> 
> 
>    loop  
> 
> 
>    fprintf  
> 
> 
>    /Users/XXX/tmp/racket-7.5/collects/net/http-client.rkt:152:0: 
> http-conn-send!27  
> 
> 
>    call-with-values  
> 
> 
>    
> /Users/XXX/tmp/racket-7.5/collects/racket/contract/private/arrow-val-first.rkt:
> 555:3  
> 
> 
>    /Users/XXX/tmp/racket-7.5/collects/net/url.rkt:201:0: 
> [http://getpost-impure-port](http://getpost-impure-port)  
> 
> 
>    /Users/XXX/tmp/racket-7.5/collects/net/url.rkt:308:2: redirection-loop  
> 
> 
>    call-with-values  
> 
> 
>    
> /Users/XXX/tmp/racket-7.5/collects/racket/contract/private/arrow-val-first.rkt:
> 555:3  
> 
> 
>    /Users/XXX/tmp/racket-7.5/collects/pkg/private/network.rkt:59:3  
> 
> 
>    dynamic-wind  
> 
> 
>   
> The full set of commands run:  
>   
> tar xjvf ~/archive/Racket/racket-minimal-7.5-src-builtpkgs.tgz  
> cd racket-7.5/src  
> 
> 
> mkdir build  
> 
> 
> cd build  
> 
> 
> ../configure --enable-csdefault  
> 
> 
>  make  
> 
> 
>  make install  
> 
> 
>  cd ../../bin  
> 
> 
>  ./raco pkg install --deps search-auto -i main-distribution  
> 
> 
>   
> MacOS 10.15.1, and, command line developer tools:  
>   
> gcc -v  
> 
> 
> Configured with: --prefix=/Library/Developer/CommandLineTools/usr 
> --with-gxx-include-dir=/Library/Developer/CommandLineTools/SDKs/[MacOSX.sdk/usr
> /include/c++/4.2.1](http://MacOSX.sdk/usr/include/c++/4.2.1)  
> 
> 
> Apple clang version 11.0.0 (clang-1100.0.33.8)  
> 
> 
> Target: x86_64-apple-darwin19.0.0  
> 
> 
> Thread model: posix  
> 
> 
> InstalledDir: /Library/Developer/CommandLineTools/usr/bin  
> 
> 
>   
> Thanks!  
>   
> cheers  
>   
> bruce  
>   
> 
> -- 
> 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/1574327811-56147c15d1164b12004e2
> 43ea648d09b%40pckswarms.ch.

-- 
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/5ddbe55d.1c69fb81.28e45.d3a4SMTPIN_ADDED_MISSING%40mx.google.com.

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

2019-11-25 Thread Bert De Ketelaere 
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 --
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?
> #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)
>   (vector-immutable 2 3 4)
>   (vector-immutable 3 4 5))
> (Listof M
>
> (for/list : (Listof M)
>   ([m s])
>   m)
>
> Kr,
> Bert
>
> --
> 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/1b1bc126-61d4-476f-bbfd-2bb7fce20aae%40googlegroups.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/AM6PR05MB5523EA947F74F924E65F7231C74A0%40AM6PR05MB5523.eurprd05.prod.outlook.com.

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

2019-11-25 Thread Sam Tobin-Hochstadt 
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?
> #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)
>   (vector-immutable 2 3 4)
>   (vector-immutable 3 4 5))
> (Listof M
>
> (for/list : (Listof M)
>   ([m s])
>   m)
>
> Kr,
> Bert
>
> --
> 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/1b1bc126-61d4-476f-bbfd-2bb7fce20aae%40googlegroups.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/CAK%3DHD%2Bbsycv4o77sxq_fRtUNqpfmjPicEFNw8VuxRQCkyxzpOA%40mail.gmail.com.

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

2019-11-25 Thread Matthew Flatt 
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
> uote._~23~25kernel%29._char~3d~3f%29%29
> 

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
"...+", which means "one or more" in the documentation's notation.


The most immediate reason for the change in v7.0 is pretty shallow:
`char=?` and similar functions in Chez Scheme allow a single argument,
and adjusting Racket's functions was the easiest way to resolve a
mismatch between traditional Racket and Racket on Chez Scheme.

-- 
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/5ddbbeae.1c69fb81.8926a.2d04SMTPIN_ADDED_MISSING%40gmr-mx.google.com.

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

2019-11-25 Thread bedeke 
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)
  (vector-immutable 2 3 4)
  (vector-immutable 3 4 5))
(Listof M

(for/list : (Listof M)
  ([m s])
  m)

Kr,
Bert

-- 
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/1b1bc126-61d4-476f-bbfd-2bb7fce20aae%40googlegroups.com.

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

2019-11-25 Thread Siddhartha Kasivajhula 
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  wrote:

>
>
> On 11/24/2019 5:30 PM, 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%28quote._~23~25kernel%29._char~3d~3f%29%29
>
> If a single character is passed as argument 1, char=? returns true. To me,
> '=' implies at least two things to compare. The other functions in this
> family appear to behave the same way.
>
> There is a note saying that since 7.0 the functions accept one argument.
> Any reason for this change? At the very least I think the documentation
> could make this clearer(probably because the docs were originally written
> when it required two arguments).
>
> -- Jonathan
>
>
> I don't know the developers' reasoning, but I can guess.
>
> Predicates already were variadic taking 2 or more arguments (at least
> since R3RS, circa 1986), and they behave like a fold/reduce with an implied
> base/identity value.  I think the idea is that they should work with any
> non-empty list of arguments.
>
> FWIW, Common Lisp's predicates always have behaved in this way.
>
> YMMV,
> George
>
> --
> 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/224f2bfe-1ee5-7a49-855f-19c21e202a83%40comcast.net
> 
> .
>

-- 
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/CACQBWFmPb26SQVrHhgg%3Djdvyc8u3-j8pFt2KkzGek6eXW_mbMA%40mail.gmail.com.