[racket-users] typed/racket #:break #:guard

2018-01-26 Thread JCG

In doing some typed/racket, I have noticed some mismatch between observed 
behavior and the documentation at

https://docs.racket-lang.org/ts-reference/special-forms.html

1) Documentation suggests that for/first and for/last should work, yet they 
seem to not type check.  I've noticed sparse comments to that effect since 
2014.

2) In working around for/first with for/fold, I discovered that #:break 
appears to function although the for loop documentation for typed racket 
(Section 2.3 in typed/racket reference) suggests that only the #:when guard 
is a keyword in the for/ family syntax. 

3) In the struct documentation for typed racket, the many for syntax 
keywords shown do not include #:guard, yet it seems to work.

Are #:break and #:guard correct to use in typed/racket or are they missing 
from the documentation intentionally?

Thanks,
JG








-- 
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.
For more options, visit https://groups.google.com/d/optout.


[racket-users] Is it possible to cross-compile Racket?

2018-01-26 Thread Leff Ivanov
Is it possible for example running DrRacket on Windows to generate 
standalone native executables for Mac OSX and some generic Linux 
distribution?

-- 
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.
For more options, visit https://groups.google.com/d/optout.


Re: [racket-users] Is it possible to cross-compile Racket?

2018-01-26 Thread Matthew Flatt
At Fri, 26 Jan 2018 04:40:44 -0800 (PST), Leff Ivanov wrote:
> Is it possible for example running DrRacket on Windows to generate 
> standalone native executables for Mac OSX and some generic Linux 
> distribution?

It should be possible from the command line, although there's a lot of
room to improve the tooling.


See

  http://docs.racket-lang.org/raco/cross-system.html?q=raco%20exe

for the main hint. When you want to use your Windows installation and
pretend that you're running on some target platform (e.g., to generate
executables), you use

 racket -C -G ‹cross-dir›/etc -X ‹cross-dir›/collects -l- raco 

where ‹cross-dir› is an installation for the target platform.


To get a ‹cross-dir›, unpack the corresponding "Minimal Racket" tarball
from

  http://download.racket-lang.org/releases/6.11/

Most likely, you'll need some packages in that installation to use for
your executable, so you'll set up the packages for a ‹cross-dir› with

 racket -C -G ‹cross-dir›/etc -X ‹cross-dir›/collects -l- raco pkg install 


When whatever packages your program uses are ready in ‹cross-dir›, then

 racket -C -G ‹cross-dir›/etc -X ‹cross-dir›/collects -l- raco exe 
 racket -C -G ‹cross-dir›/etc -X ‹cross-dir›/collects -l- raco dist 

should work to produce an executable and then a distribution.

-- 
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.
For more options, visit https://groups.google.com/d/optout.


Re: [racket-users] Is it possible to cross-compile Racket?

2018-01-26 Thread Matt Jadud
I've wondered this many times, and never investigated it.

Thank you both for the question and answer.

On Fri, Jan 26, 2018 at 8:19 AM, Matthew Flatt  wrote:

> At Fri, 26 Jan 2018 04:40:44 -0800 (PST), Leff Ivanov wrote:
> > Is it possible for example running DrRacket on Windows to generate
> > standalone native executables for Mac OSX and some generic Linux
> > distribution?
>

-- 
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.
For more options, visit https://groups.google.com/d/optout.


[racket-users] Fwd: Us congress hearing of maan alsaan Money laundry قضية الكونغجرس لغسيل الأموال للمليادير معن الصانع

2018-01-26 Thread sami a
YouTube videos of



 U.S. Congress money laundering hearing


of

Saudi Billionaire  " Maan  Al sanea"

 with *bank of America*


and  The  owner of Saad Hospital and  Schools

 in the Eastern Province in *Saudi Arabia*



and the Chairman of the Board of Directors of Awal Bank  in *Bahrain*


With Arabic Subtitles


http://www.youtube.com/watch?v=mIBNnQvhU8s





*موقع اليوتيوب الذي عرض جلسة استماع الكونجرس الأمريكي *

* لمتابعة نشاطات غسل الأموال ونشاطات*



*السعودي معن عبدالواحد الصانع*



*مالك مستشفى  وشركة سعد  ومدارس سعد بالمنطقة الشرقية بالسعودية   ورئيس مجلس
ادارة بنك اوال البحريني*



*مترجم باللغة العربية*



http://www.youtube.com/watch?v=mIBNnQvhU8s











































































-- 
Você recebeu essa mensagem porque está inscrito no grupo "Caveiras Cisco
PE" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
um e-mail para caveiras-cisco-pe+unsubscr...@googlegroups.com.
Para mais opções, acesse https://groups.google.com/d/optout.

-- 
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.
For more options, visit https://groups.google.com/d/optout.


[racket-users] Racket v6.12

2018-01-26 Thread Vincent St-Amour
Racket version 6.12 is now available from

http://racket-lang.org/

* Changed the way some unsafe operations are exposed via `ffi/unsafe`
  libraries to help smooth a future transition to a new runtime system.

* The `syntax-parse` form supports unwinding side-effects when it
  backtracks, both explicitly with `~undo` patterns and implicitly
  with the built-in managed state (using `syntax-parse-state-ref`,
  etc).

* The `db` library supports SCRAM-SHA-256 authentication for backends
  running PostgreSQL 10 or later. Client support for SCRAM and other
  SASL mechanisms is provided by the new `sasl` library.

* The `lazy-require-syntax` form supports lazy loading of macro
  transformers. Note that the macros must obey certain implementation
  constraints (see the `lazy-require-syntax` documentation).

* Typed Racket no longer enforces types like (U String (Boxof String))
  with the any/c contract. This fixes a type soundness issue, but may
  affect performance. Please submit a bug report if you find a program
  that runs significantly slower on v6.12 than earlier versions.

* Typed Racket's type instantiation (`inst`) uses Any for omitted type
  arguments, allowing APIs to add additional type variables to functions
  without breaking existing programs.

* `for/fold` users can customize the final result of a loop's computation
  using the `#:result` keyword.

* The `--deps` option to `raco test` tests the packages the argument
  packages depends on, in addition to testing the packages themselves.
  For example, `raco test -p --deps pkg1 pkg2` tests all files from
  `pkg1`, `pkg2`, and all of their dependencies.

The following people contributed to this release:
Alexander Shopov, Alexis King, Andrew Gwozdziewycz, Andrew Kent, Ben
Greenman, Chung-chieh Shan, Conor Finegan, Daniel Feltey, Daniel
Mendler, Eric Dobson, Gabriel Ebner, Greg Cooper, Greg Hendershott,
Gustavo Massaccesi, Huma Zafar, Jack Firth, James Bornholt, Jay
McCarthy, John Clements, Kimball Germane, Leif Andersen, Matias
Eyzaguirre, Matthew Butterick, Matthew Flatt, Matthias Felleisen,
Michael Ballantyne, Mike Sperber, Milo Turner, Robby Findler, Rommel
Martinez, Ryan Culpepper, Sam Tobin-Hochstadt, Shu-Hung You, Soulaïmane
Sahmi, Spencer Florence, Stephen De Gabrielle, Vincent St-Amour, Wesley
Kerfoot, and William G Hatch.

Feedback Welcome

-- 
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.
For more options, visit https://groups.google.com/d/optout.


[racket-users] Building GUI launcher icons with raco setup

2018-01-26 Thread Philip McGrath
I have a Racket package that creates a GUI launcher using
gracket-launcher-names and gracket-launcher-libraries in the info.rkt file.

The package includes a module that programmatically generates the icons for
the GUI launcher at the expected paths ("my-application.png" and so forth).
I would like to have raco setup run this code before it builds the
launcher, but I haven't figured out how to get the code to run at the right
point.

I initially tried adding pre-install-collection to the info.rkt file, but
that is run before the collection is compiled, which means it doesn't work
if there is a .zo file that is out-of-date. I then tried using
install-collection, but that seems to be run after the launcher has been
created: it generates the icon files, but the launcher is created using the
default icon.

Is there a recommended way to do this? I guess I could have the install
function use install-gracket-program-launcher manually, instead of using
gracket-launcher-names and gracket-launcher-libraries, but that seems less
ideal.

-Philip

-- 
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.
For more options, visit https://groups.google.com/d/optout.