Re: [racket-dev] creating executables

2011-09-02 Thread Marijn
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1

Hi Vincent,

On 09/01/11 17:27, Vincent St-Amour wrote:
 I had a similar problem on Linux x86. Matthew just pushed a fix,
 and now everything works for me. Haven't tried on amd64, though.
 
 Vincent

I just tried with latest git and nothing has changed for me. Neither
the wrong message, nor the failing executable.

Marijn

 At Thu, 01 Sep 2011 16:24:02 +0200, Marijn wrote:
 
 Hi list,
 
 when creating executables from racket, when I choose (the
 defaults) standalone based on racket, it will say creating
 executable for distribution. I did not choose for distribution, so
 that is wrong.The created executable fails to run like this:
 
 $ ./hello read failed to read all 885878182 bytes from file 
 /home/marijn/racketzooi/./hello Aborted
 
 
 
 My test program:
 
 
 
 #lang racket
 
 (print hello)
 
 
 
 This is on amd64 Linux with a racket from a day old.
 
 Marijn
 _ For
 list-related administrative tasks: 
 http://lists.racket-lang.org/listinfo/dev

-BEGIN PGP SIGNATURE-
Version: GnuPG v2.0.18 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAk5ggogACgkQp/VmCx0OL2yBqwCfa08Brqs0eBj2CYV8GxGIgLwo
t34AniKekcSvspiJAAZL7Q8/vzgv2ivA
=qdBp
-END PGP SIGNATURE-
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] drRacket Close/Close tab

2011-09-02 Thread Marijn
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1

Hi Matthew,

On 09/01/11 16:41, Marijn wrote:
 On 09/01/11 16:29, Matthew Flatt wrote:
 At Thu, 1 Sep 2011 09:14:47 -0500, Robby Findler wrote:
 On Wed, Aug 31, 2011 at 3:30 AM, Marijn hk...@gentoo.org 
 wrote:
 I like the idea of adding shift, but I've changed things
 so that instead of the w shortcut going away, the close
 menu item becomes menukey-shift-w (so the shifting
 behavior is still there and we are complying with the
 guidelines in the no-tabs case).
 
 On Gtk nothing has changed for me.
 
 
 I've managed to get my ubuntu 10.04.1 vm back in shape and 
 rebuild drracket there and the various keybindings and menu
 items seem to shift around as expected.
 
 Was that after commit 459d2422e3ad8?
 
 I looked into menu-item shortcuts this morning and pushed a 
 Gtk-specific fix for updating the displayed shortcut.
 
 
 Alright, that probably explains it. I'll test again tomorrow to
 make sure.

It now works for me too. Thanks,

Marijn
-BEGIN PGP SIGNATURE-
Version: GnuPG v2.0.18 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAk5gg7MACgkQp/VmCx0OL2wWxQCfdI9CZWxBDy0BEaZlplHvUx4o
inAAoJe6JT3LIkGqzfpEs/a++TxWlqTf
=wtt/
-END PGP SIGNATURE-
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] drRacket Close/Close tab

2011-09-02 Thread Marijn
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1

Hi Robby,

On 09/01/11 17:55, Robby Findler wrote:
 Okay, thanks everyone for the comments. Generally speaking, I
 dread keybinding-based discussions because it is impossible to make
 everyone happy (and usually only the unhappy people speak up :).

It will probably get really quiet now then ;P.

 Still, I think you folks are right that changes need to happen.
 I've looked over various apps and the guidelines and whatnot and
 (yep, I buy the argument that 'Terminal and Safari don't follow the
 HIG so why should we?'.) so here's the changes I've just pushed.
 
 Mac OS X  Windows :
 
 - renamed Close to Close Window (but kept the keybinding 
 switchero-ness as is)
 
 Gtk:
 
 - changed the menus so there is only one Close menu (no Close
 Tab or Close Window); if there are multiple tabs, it closes the
 tab otherwise it closes the window. To close the window in the
 multiple tabs case, you have to use the close box (or maybe alt-f4
 if the OS-level keybindings map it to closing the window).

I think the distinction (between platforms) in the menu is mostly
academic (both are good choices) and should IMHO be eliminated since
it can only create confusion when people on different platforms talk
to each other. But anyway, the test for whether the platform is Gtk
seems to be faulty, because now I'm seeing the ``Windows/OS X''-style
menu. The good news is that it's now working as you describe.

 All platforms:
 
 - changed New Tab to menukey-t
 
 - changed Run to menukey-r

These are working.

 - changed Replace to menukey-shift-f

This also seems to be working.

I think FindReplace could be so much more useful though: Ctrl-F
find-search-term-as-you-type instead of Ctrl-F search-term Ctrl-G,
identifier renaming (ignore strings, symbols, partial matches),
regular expression replacements, identifier regular expression
renaming (lifts restriction on partial matches, by using wildcards to
extend to full match). I'm sure other people have more/better ideas.

 Please let me know if you spot any problems.

No problems, just work in progress (as is all software) ;P
Thanks for working on this!

Marijn
-BEGIN PGP SIGNATURE-
Version: GnuPG v2.0.18 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAk5girYACgkQp/VmCx0OL2y3/ACfY5Gv2BKIYyY+dbFFog16FXGL
C4oAn3+iXbOJiA3f2k8dhSQ160Wlm08h
=aDXI
-END PGP SIGNATURE-
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] online check syntax deadlock: can you help?

2011-09-02 Thread Matthew Flatt
At Thu, 1 Sep 2011 15:20:27 -0700, John Clements wrote:
  Note that the code ignores the result of `TransformProcessType', which
  is a bad idea. If you remove the `void' wrapper, what number result
  gets printed on your machine?
  
 
 Looks like it's -50.

-50 means bad argument.

Apple's docs say

 struct ProcessSerialNumber {
   unsigned long highLongOfPSN;
   unsigned long lowLongOfPSN;
 };

but MacTypes.h says

 struct ProcessSerialNumber {
   UInt32  highLongOfPSN;
   UInt32  lowLongOfPSN;
 };

and those aren't the same on a 64-bit system. Maybe the docs that I
found are too old or are only meant to apply to 32-bit systems.

Can you remind me whether you're using a 32-bit or 64-bit build?

When I try the 64-bit build, then it fails in the way you describe
until I fix the `_ProcessSerialNumber' declaration:

 (define-cstruct _ProcessSerialNumber
   ([highLongOfPSN _uint32]
[lowLongOfPSN _uint32]))

_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] drRacket Close/Close tab

2011-09-02 Thread Robby Findler
On Fri, Sep 2, 2011 at 2:50 AM, Marijn hk...@gentoo.org wrote:
 -BEGIN PGP SIGNED MESSAGE-
 Hash: SHA1

 Hi Robby,

 On 09/01/11 17:55, Robby Findler wrote:
 Okay, thanks everyone for the comments. Generally speaking, I
 dread keybinding-based discussions because it is impossible to make
 everyone happy (and usually only the unhappy people speak up :).

 It will probably get really quiet now then ;P.

Nice! :)

But to you unhappy folks: now is the time to speak up! It is better to
make the changes together so I only get yelled at once. :)

 Still, I think you folks are right that changes need to happen.
 I've looked over various apps and the guidelines and whatnot and
 (yep, I buy the argument that 'Terminal and Safari don't follow the
 HIG so why should we?'.) so here's the changes I've just pushed.

 Mac OS X  Windows :

 - renamed Close to Close Window (but kept the keybinding
 switchero-ness as is)

 Gtk:

 - changed the menus so there is only one Close menu (no Close
 Tab or Close Window); if there are multiple tabs, it closes the
 tab otherwise it closes the window. To close the window in the
 multiple tabs case, you have to use the close box (or maybe alt-f4
 if the OS-level keybindings map it to closing the window).

 I think the distinction (between platforms) in the menu is mostly
 academic (both are good choices) and should IMHO be eliminated since
 it can only create confusion when people on different platforms talk
 to each other.

Well, that's something that you'll have to talk to Apple and Gnome
about, not us. :)

 But anyway, the test for whether the platform is Gtk
 seems to be faulty, because now I'm seeing the ``Windows/OS X''-style
 menu. The good news is that it's now working as you describe.

Can you tell me the result of evaluating

  (system-type)

on your machine?

 All platforms:

 - changed New Tab to menukey-t

 - changed Run to menukey-r

 These are working.

 - changed Replace to menukey-shift-f

 This also seems to be working.

 I think FindReplace could be so much more useful though: Ctrl-F
 find-search-term-as-you-type instead of Ctrl-F search-term Ctrl-G,

I'll note two things here: it does search as you type (and it circles
the search results); it just does not jump around as you type. I find
this to be easier to use as it helps me navigate more effectively
through the buffer. But I realize others don't like this (especially
those coming from Emacs) so there is an attempt to do things in a more
Emacs-y way that you can get to by chosing the search with anchors
(or something like that) preference.

 identifier renaming (ignore strings, symbols, partial matches),
 regular expression replacements, identifier regular expression
 renaming (lifts restriction on partial matches, by using wildcards to
 extend to full match). I'm sure other people have more/better ideas.

There's also the online check syntax which does actual identifier
renaming, not a heuristic one.

Robby
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] drRacket Close/Close tab

2011-09-02 Thread Marijn
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1

Hi Robby,

On 09/02/11 14:33, Robby Findler wrote:
 On Fri, Sep 2, 2011 at 2:50 AM, Marijn hk...@gentoo.org wrote:
 But anyway, the test for whether the platform is Gtk seems to be
 faulty, because now I'm seeing the ``Windows/OS X''-style menu.
 The good news is that it's now working as you describe.
 
 Can you tell me the result of evaluating
 
 (system-type)
 
 on your machine?

'unix

 All platforms:
 
 - changed New Tab to menukey-t
 
 - changed Run to menukey-r
 
 These are working.
 
 - changed Replace to menukey-shift-f
 
 This also seems to be working.
 
 I think FindReplace could be so much more useful though: Ctrl-F 
 find-search-term-as-you-type instead of Ctrl-F search-term
 Ctrl-G,
 
 I'll note two things here: it does search as you type (and it
 circles the search results); it just does not jump around as you
 type. I find this to be easier to use as it helps me navigate more
 effectively through the buffer. But I realize others don't like
 this (especially those coming from Emacs) so there is an attempt to
 do things in a more Emacs-y way that you can get to by chosing the
 search with anchors (or something like that) preference.

I feel really stupid now; I could have sworn that there was no
search-as-you-type, and it was there all along right in front of me.
I'll try and keep my eyes open next time ;P. Thanks for your patience.

Marijn
-BEGIN PGP SIGNATURE-
Version: GnuPG v2.0.18 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAk5g27wACgkQp/VmCx0OL2w+fwCdEwwfdTD+RqHSH1mhPiFN0RyJ
F90Anjktee2gw20jm8fRXsqbV93NjdD3
=icI7
-END PGP SIGNATURE-
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] racket tests

2011-09-02 Thread Paulo J. Matos

On 31/08/11 17:35, Eli Barzilay wrote:


Much easier to run and to follow -- run this:

   racket -r quiet.rktl

with your newly made executable.



Just a note that for that to work I need to be in:
lib/racket/collects/tests/racket/

--
PMatos

_
 For list-related administrative tasks:
 http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] drRacket Close/Close tab

2011-09-02 Thread Robby Findler
On Fri, Sep 2, 2011 at 8:35 AM, Marijn hk...@gentoo.org wrote:
 -BEGIN PGP SIGNED MESSAGE-
 Hash: SHA1

 Hi Robby,

 On 09/02/11 14:33, Robby Findler wrote:
 On Fri, Sep 2, 2011 at 2:50 AM, Marijn hk...@gentoo.org wrote:
 But anyway, the test for whether the platform is Gtk seems to be
 faulty, because now I'm seeing the ``Windows/OS X''-style menu.
 The good news is that it's now working as you describe.

 Can you tell me the result of evaluating

 (system-type)

 on your machine?

 'unix

Ah, stupid me. Fix pushed.

 All platforms:

 - changed New Tab to menukey-t

 - changed Run to menukey-r

 These are working.

 - changed Replace to menukey-shift-f

 This also seems to be working.

 I think FindReplace could be so much more useful though: Ctrl-F
 find-search-term-as-you-type instead of Ctrl-F search-term
 Ctrl-G,

 I'll note two things here: it does search as you type (and it
 circles the search results); it just does not jump around as you
 type. I find this to be easier to use as it helps me navigate more
 effectively through the buffer. But I realize others don't like
 this (especially those coming from Emacs) so there is an attempt to
 do things in a more Emacs-y way that you can get to by chosing the
 search with anchors (or something like that) preference.

 I feel really stupid now; I could have sworn that there was no
 search-as-you-type, and it was there all along right in front of me.
 I'll try and keep my eyes open next time ;P. Thanks for your patience.

Oh, not your fault. Our preferences dialog is not exactly small 

Robby
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


[racket-dev] signatures?

2011-09-02 Thread Danny Yoo
I tried the following program in ASL.  In Definitions:

;
(: g (Number - Number))
(define g
  (lambda (x)
(if (= x 0)
x
(list three x
;;

I ran Definitions, and then in my Interactions window, entered:

(g 20)

I got back a result that was not a number, but I did not see an
expected signature error.  Should I?  I tried this in Die Macht der
Abstraktion, with identical results.
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] creating executables

2011-09-02 Thread Vincent St-Amour
At Fri, 02 Sep 2011 09:15:20 +0200,
Marijn wrote:
 I just tried with latest git and nothing has changed for me. Neither
 the wrong message, nor the failing executable.

You're building executables from DrRacket, right?

Does it work if you build them from the command-line, with `raco exe'?

Vincent
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev