[racket-dev] ffi sizeof bool

2014-04-04 Thread Tobias Hammer

Hi,

i guess this shouldn't happen:

$ cat s.cc
#include stdio.h
int main()
{
printf(%zu\n, sizeof(bool));
}
$ g++ s.cc -o s
$ ./s
1

Welcome to Racket v6.0.0.5.
- (require ffi/unsafe)
- (ctype-sizeof _bool)
4

Tested with multiple unix/linux OS, all gcc  4.3.4

Tobias
_
 Racket Developers list:
 http://lists.racket-lang.org/dev


Re: [racket-dev] [plt] Push #28468: master branch updated

2014-04-04 Thread Robby Findler
I'm not completely clear on the precise impact of old papers: will the plot
itself stay the same size, but the relative size of the font (to the other
plot elements) inside the plot change only? Or something else?

Robby


On Fri, Apr 4, 2014 at 12:08 AM, Neil Toronto neil.toro...@gmail.comwrote:

 I did it because I was tired of putting (plot-font-size 15) at the top of
 every program that produced a plot for a paper. Also, I think it was bad
 for the preview in DrRacket to look different from the PDFs. (Some of my
 plots in DrRacket had legends that badly overlapped the data in order to
 look right in PDF format.) It will cause existing PDF plots to have larger
 text, which could look wrong in plots that use the font size workaround.
 But I think it's the right move in the long run.

 Here's one thing I could do: document `plot-ps-setup' and export an
 `old-plot-ps-setup' that's the default instance of `ps-setup%', so programs
 that produce plots for papers could start this way:

   #lang racket
   (require plot)
   (plot-ps-setup old-plot-ps-setup)

 Maybe that parameter is useful after all.

 Neil ⊥


 On 04/03/2014 10:37 AM, Robby Findler wrote:

 Is efc46de backwards compatible? (I worry about breaking people's
 papers, specifically.)

 Robby


 On Thu, Apr 3, 2014 at 12:20 AM, ntoro...@racket-lang.org
 mailto:ntoro...@racket-lang.org wrote:

 ntoronto has updated `master' from 87cfce97f9 to efc46ded6d.
 http://git.racket-lang.org/plt/87cfce97f9..efc46ded6d

 =[ 2 Commits ]=
 =
 Directory summary:
 8.2% pkgs/plot-pkgs/plot-lib/plot/private/common/
35.5% pkgs/plot-pkgs/plot-lib/plot/private/no-gui/
12.4% pkgs/plot-pkgs/plot-lib/plot/private/plot3d/
41.2% pkgs/plot-pkgs/plot-test/plot/tests/

 ~~

 c1550b6 Neil Toronto neil.toro...@gmail.com
 mailto:neil.toro...@gmail.com 2014-04-02 22:06

 :
 | Remove unnecessary use of `remove-duplicates'
 :
M .../plot-lib/plot/private/plot3d/bsp.rkt  | 11 +--
M .../plot-test/plot/tests/plot3d-bsp-tests.rkt | 91
 

 ~~

 efc46de Neil Toronto neil.toro...@gmail.com
 mailto:neil.toro...@gmail.com 2014-04-02 23:16

 :
 | Changed PDF/PS backend to use 1.0 x 1.0 scaling
 |
 | This makes plotting to a file the same (well, with slight
 differences)
 | regardless of file format. Scaling and other PS options are
 controlled
 | by a `plot-ps-setup' parameter. Not sure how useful that is, yet, so
 | it's undocumented.
 :
M pkgs/plot-pkgs/plot-lib/plot/private/no-gui/plot2d.rkt  | 14
 --
M pkgs/plot-pkgs/plot-lib/plot/private/no-gui/plot3d.rkt  | 14
 --
M .../plot-lib/plot/private/common/parameters.rkt |  9
 -
M .../plot-lib/plot/private/contracted/parameters.rkt |  2 +-

 =[ Overall Diff ]=
 ==

 pkgs/plot-pkgs/plot-lib/plot/private/common/parameters.rkt
 ~~
 --- OLD/pkgs/plot-pkgs/plot-lib/plot/private/common/parameters.rkt
 +++ NEW/pkgs/plot-pkgs/plot-lib/plot/private/common/parameters.rkt
 @@ -3,6 +3,7 @@
   ;; Parameters that control the look and behavior of plots.

   (require racket/contract unstable/parameter-group
 unstable/latent-contract/defthing
 + racket/class racket/draw
contract.rkt
draw.rkt
axis-transform.rkt
 @@ -107,11 +108,17 @@

   ;; Output

 +(define default-plot-ps-setup (new ps-setup%))
 +(send default-plot-ps-setup set-margin 0 0)
 +(send default-plot-ps-setup set-scaling 1 1)
 +
   (defparam plot-new-window? boolean? #f)
   (defparam plot-jpeg-quality (integer-in 0 100) 100)
   (defparam plot-ps/pdf-interactive? boolean? #f)
 +(defparam plot-ps-setup (is-a?/c ps-setup%) default-plot-ps-setup)

 -(define-parameter-group plot-output (plot-new-window?
 plot-jpeg-quality plot-ps/pdf-interactive?))
 +(define-parameter-group plot-output
 +  (plot-new-window? plot-jpeg-quality plot-ps/pdf-interactive?
 plot-ps-setup))

   ;; Labels


 pkgs/plot-pkgs/plot-lib/plot/private/contracted/parameters.rkt
 ~~
 --- OLD/pkgs/plot-pkgs/plot-lib/plot/private/contracted/
 parameters.rkt
 +++ NEW/pkgs/plot-pkgs/plot-lib/plot/private/contracted/
 parameters.rkt
 @@ -28,7 +28,7 @@
 plot3d-samples
 plot3d-angle plot3d-altitude
 plot3d-ambient-light plot3d-diffuse-light? plot3d-specular-light?
 -  plot-new-window? plot-jpeg-quality plot-ps/pdf-interactive?
 +  plot-new-window? plot-jpeg-quality plot-ps/pdf-interactive?
 plot-ps-setup
 plot-title
 plot-x-label 

Re: [racket-dev] Compile cache being incorrect

2014-04-04 Thread Matthew Flatt
If I understand the question:

 * With 34c3eed615, pr12644.rkt can compile and run.

 * With d29df205f7, pr12644.rkt fails to compile.

 * A bytecode form of pr12644.rkt compiled with 34c3eed615 can still
   run in d29df205f7, because run-time support for pr12644.rkt didn't
   change.

 * When you tell `racket` to run pr12644.rkt, it will use a .zo for
   each of pr12644.rkt and its dependencies as long each individual
   .zo file has a newer timestamp than its .rkt file. That is, the
   only timestamp comparisons are on individual .rkt and .zo pairs.

 * When you tell `raco make` to build pr12644.rkt, it checks
   dependencies (via .dep file) and compares a .rkt file's
   timestamp against the times of all of its dependencies, instead of
   just checking individual .rkt and .zo pairs. That's why a `raco
   make` in d29df205f7 tries to recompile pr12644.rkt.

At Thu, 3 Apr 2014 09:41:19 -0700, Eric Dobson wrote:
 I have seen multiple times changes in TR not getting properly
 propogated to TR programs in my debugging, and I finally have found a
 repeatable example.
 
 I am under the impression that if I compile a file and then change a
 (transitive) dependency of it, then it should have to be recompiled,
 but I am not seeing that.
 
 Steps to reproduce:
 git checkout 34c3eed6155765a1e457f69194786575128a13a5
 raco setup -D typed-racket typed
 raco make 
 pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr12644.rkt
 racket -l tests/typed-racket/succeed/pr12644
 
 The test should run successfully and output '(6 7 8 9)
 
 Now make the change (rolling forward one commit):
 git checkout d29df205f7bb8347f60c82206b74e3e167e2de24
 racket -l tests/typed-racket/succeed/pr12644
 raco make 
 pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr12644.rkt
 
 The test runs the first time successfully but fails if you try to
 compile it again. Can someone explain why this is not working like I
 expect?
 _
   Racket Developers list:
   http://lists.racket-lang.org/dev
_
  Racket Developers list:
  http://lists.racket-lang.org/dev


Re: [racket-dev] ffi sizeof bool

2014-04-04 Thread Matthew Flatt
Yes, `_bool` is a problem. I'll add a `_stdbool` that corresponds to
`bool` from C99's stdbool.h, which I imagine must be the same as
`bool` in C++.

At Fri, 4 Apr 2014 08:56:18 +0200, Tobias Hammer wrote:
 Hi,
 
 i guess this shouldn't happen:
 
 $ cat s.cc
 #include stdio.h
 int main()
 {
  printf(%zu\n, sizeof(bool));
 }
 $ g++ s.cc -o s
 $ ./s
 1
 
 Welcome to Racket v6.0.0.5.
 - (require ffi/unsafe)
 - (ctype-sizeof _bool)
 4
 
 Tested with multiple unix/linux OS, all gcc  4.3.4
 
 Tobias
 _
   Racket Developers list:
   http://lists.racket-lang.org/dev
_
  Racket Developers list:
  http://lists.racket-lang.org/dev


Re: [racket-dev] [plt] Push #28468: master branch updated

2014-04-04 Thread Neil Toronto
Yes, the relative size of the font will grow, as well as minor things, 
such as that the lines will thicken a bit. IOW, without the fix, if you 
output the same plot to a PDF, SVG, and PNG, the PDF will have a smaller 
font and thinner lines than the SVG and PNG.


It can be hard to tell without converting them to the same format for 
comparison, which is why I didn't spot this for so long. I just thought 
papers looked better when plots had slightly larger fonts.


I verified that the fix works by using the Gimp to convert a PDF and an 
SVG to two 500x500 images, and pasted one over the other.


Neil ⊥

On 04/04/2014 06:42 AM, Robby Findler wrote:

I'm not completely clear on the precise impact of old papers: will the
plot itself stay the same size, but the relative size of the font (to
the other plot elements) inside the plot change only? Or something else?

Robby


On Fri, Apr 4, 2014 at 12:08 AM, Neil Toronto neil.toro...@gmail.com
mailto:neil.toro...@gmail.com wrote:

I did it because I was tired of putting (plot-font-size 15) at the
top of every program that produced a plot for a paper. Also, I think
it was bad for the preview in DrRacket to look different from the
PDFs. (Some of my plots in DrRacket had legends that badly
overlapped the data in order to look right in PDF format.) It will
cause existing PDF plots to have larger text, which could look wrong
in plots that use the font size workaround. But I think it's the
right move in the long run.

Here's one thing I could do: document `plot-ps-setup' and export an
`old-plot-ps-setup' that's the default instance of `ps-setup%', so
programs that produce plots for papers could start this way:

   #lang racket
   (require plot)
   (plot-ps-setup old-plot-ps-setup)

Maybe that parameter is useful after all.

Neil ⊥


On 04/03/2014 10:37 AM, Robby Findler wrote:

Is efc46de backwards compatible? (I worry about breaking people's
papers, specifically.)

Robby


On Thu, Apr 3, 2014 at 12:20 AM, ntoro...@racket-lang.org
mailto:ntoro...@racket-lang.org
mailto:ntoronto@racket-lang.__org
mailto:ntoro...@racket-lang.org wrote:

 ntoronto has updated `master' from 87cfce97f9 to efc46ded6d.
http://git.racket-lang.org/__plt/87cfce97f9..efc46ded6d
http://git.racket-lang.org/plt/87cfce97f9..efc46ded6d

 =[ 2 Commits
]=__=
 Directory summary:
 8.2% pkgs/plot-pkgs/plot-lib/plot/__private/common/
35.5% pkgs/plot-pkgs/plot-lib/plot/__private/no-gui/
12.4% pkgs/plot-pkgs/plot-lib/plot/__private/plot3d/
41.2% pkgs/plot-pkgs/plot-test/plot/__tests/

 ~~

 c1550b6 Neil Toronto neil.toro...@gmail.com
mailto:neil.toro...@gmail.com
 mailto:neil.toro...@gmail.com
mailto:neil.toro...@gmail.com__ 2014-04-02 22:06

 :
 | Remove unnecessary use of `remove-duplicates'
 :
M .../plot-lib/plot/private/__plot3d/bsp.rkt  |
11 +--
M .../plot-test/plot/tests/__plot3d-bsp-tests.rkt | 91
 

 ~~

 efc46de Neil Toronto neil.toro...@gmail.com
mailto:neil.toro...@gmail.com
 mailto:neil.toro...@gmail.com
mailto:neil.toro...@gmail.com__ 2014-04-02 23:16

 :
 | Changed PDF/PS backend to use 1.0 x 1.0 scaling
 |
 | This makes plotting to a file the same (well, with slight
differences)
 | regardless of file format. Scaling and other PS options
are controlled
 | by a `plot-ps-setup' parameter. Not sure how useful that
is, yet, so
 | it's undocumented.
 :
M
pkgs/plot-pkgs/plot-lib/plot/__private/no-gui/plot2d.rkt  | 14
 --
M
pkgs/plot-pkgs/plot-lib/plot/__private/no-gui/plot3d.rkt  | 14
 --
M .../plot-lib/plot/private/__common/parameters.rkt
 |  9
 -
M .../plot-lib/plot/private/__contracted/parameters.rkt
 |  2 +-

 =[ Overall Diff
]=__==

 pkgs/plot-pkgs/plot-lib/plot/__private/common/parameters.rkt
 ~~__
 ---
OLD/pkgs/plot-pkgs/plot-lib/__plot/private/common/__parameters.rkt
 +++
NEW/pkgs/plot-pkgs/plot-lib/__plot/private/common/__parameters.rkt
 @@ -3,6 +3,7 @@
   ;; Parameters that control the look and behavior of plots.

   (require racket/contract 

Re: [racket-dev] ffi sizeof bool

2014-04-04 Thread Tobias Hammer
Just checked and _Bool is also 1 byte, same as C++. What i don't  
understand yet is to which standard does the current _bool conform? I  
couldn't find any platform with int sized bool.



On Fri, 04 Apr 2014 17:10:30 +0200, Matthew Flatt mfl...@cs.utah.edu  
wrote:



Yes, `_bool` is a problem. I'll add a `_stdbool` that corresponds to
`bool` from C99's stdbool.h, which I imagine must be the same as
`bool` in C++.

At Fri, 4 Apr 2014 08:56:18 +0200, Tobias Hammer wrote:

Hi,

i guess this shouldn't happen:

$ cat s.cc
#include stdio.h
int main()
{
 printf(%zu\n, sizeof(bool));
}
$ g++ s.cc -o s
$ ./s
1

Welcome to Racket v6.0.0.5.
- (require ffi/unsafe)
- (ctype-sizeof _bool)
4

Tested with multiple unix/linux OS, all gcc  4.3.4

Tobias
_
  Racket Developers list:
  http://lists.racket-lang.org/dev



--
Tobias Hammer
DLR / Robotics and Mechatronics Center (RMC)
Muenchner Str. 20, D-82234 Wessling
Tel.: 08153/28-1487
Mail: tobias.ham...@dlr.de
_
 Racket Developers list:
 http://lists.racket-lang.org/dev


Re: [racket-dev] ffi sizeof bool

2014-04-04 Thread Matthew Flatt
The current `_bool` is pre-standard. It specifically reflects (I think)
the absence of a bool type in libffi, which in turn is an artifact (I
assume) of `bool` not existing in a C standard before C99.

Lots of libraries have a bool variant that is `int`-sized, so I
imagine that's where the definition of `_bool` came from. For example,
boolean fields in public libjpeg structures are `int`-sized as the
library is usually built (except on Windows). Similarly, a `gboolean`
in GLib is an alias for `gint`, which is an alias for `int`.

At Fri, 4 Apr 2014 18:08:45 +0200, Tobias Hammer wrote:
 Just checked and _Bool is also 1 byte, same as C++. What i don't  
 understand yet is to which standard does the current _bool conform? I  
 couldn't find any platform with int sized bool.
 
 
 On Fri, 04 Apr 2014 17:10:30 +0200, Matthew Flatt mfl...@cs.utah.edu  
 wrote:
 
  Yes, `_bool` is a problem. I'll add a `_stdbool` that corresponds to
  `bool` from C99's stdbool.h, which I imagine must be the same as
  `bool` in C++.
 
  At Fri, 4 Apr 2014 08:56:18 +0200, Tobias Hammer wrote:
  Hi,
 
  i guess this shouldn't happen:
 
  $ cat s.cc
  #include stdio.h
  int main()
  {
   printf(%zu\n, sizeof(bool));
  }
  $ g++ s.cc -o s
  $ ./s
  1
 
  Welcome to Racket v6.0.0.5.
  - (require ffi/unsafe)
  - (ctype-sizeof _bool)
  4
 
  Tested with multiple unix/linux OS, all gcc  4.3.4
 
  Tobias
  _
Racket Developers list:
http://lists.racket-lang.org/dev
 
 
 -- 
 Tobias Hammer
 DLR / Robotics and Mechatronics Center (RMC)
 Muenchner Str. 20, D-82234 Wessling
 Tel.: 08153/28-1487
 Mail: tobias.ham...@dlr.de
_
  Racket Developers list:
  http://lists.racket-lang.org/dev


Re: [racket-dev] [plt] Push #28468: master branch updated

2014-04-04 Thread Robby Findler
Oh, I finally understand.

Yes, I agree that this is a good change.

Sorry for the confusion.

Robby



On Fri, Apr 4, 2014 at 10:04 AM, Neil Toronto neil.toro...@gmail.comwrote:

 Yes, the relative size of the font will grow, as well as minor things,
 such as that the lines will thicken a bit. IOW, without the fix, if you
 output the same plot to a PDF, SVG, and PNG, the PDF will have a smaller
 font and thinner lines than the SVG and PNG.

 It can be hard to tell without converting them to the same format for
 comparison, which is why I didn't spot this for so long. I just thought
 papers looked better when plots had slightly larger fonts.

 I verified that the fix works by using the Gimp to convert a PDF and an
 SVG to two 500x500 images, and pasted one over the other.

 Neil ⊥


 On 04/04/2014 06:42 AM, Robby Findler wrote:

 I'm not completely clear on the precise impact of old papers: will the
 plot itself stay the same size, but the relative size of the font (to
 the other plot elements) inside the plot change only? Or something else?

 Robby


 On Fri, Apr 4, 2014 at 12:08 AM, Neil Toronto neil.toro...@gmail.com
 mailto:neil.toro...@gmail.com wrote:

 I did it because I was tired of putting (plot-font-size 15) at the
 top of every program that produced a plot for a paper. Also, I think
 it was bad for the preview in DrRacket to look different from the
 PDFs. (Some of my plots in DrRacket had legends that badly
 overlapped the data in order to look right in PDF format.) It will
 cause existing PDF plots to have larger text, which could look wrong
 in plots that use the font size workaround. But I think it's the
 right move in the long run.

 Here's one thing I could do: document `plot-ps-setup' and export an
 `old-plot-ps-setup' that's the default instance of `ps-setup%', so
 programs that produce plots for papers could start this way:

#lang racket
(require plot)
(plot-ps-setup old-plot-ps-setup)

 Maybe that parameter is useful after all.

 Neil ⊥


 On 04/03/2014 10:37 AM, Robby Findler wrote:

 Is efc46de backwards compatible? (I worry about breaking people's
 papers, specifically.)

 Robby


 On Thu, Apr 3, 2014 at 12:20 AM, ntoro...@racket-lang.org
 mailto:ntoro...@racket-lang.org
 mailto:ntoronto@racket-lang.__org

 mailto:ntoro...@racket-lang.org wrote:

  ntoronto has updated `master' from 87cfce97f9 to efc46ded6d.
 http://git.racket-lang.org/__plt/87cfce97f9..efc46ded6d

 http://git.racket-lang.org/plt/87cfce97f9..efc46ded6d

  =[ 2 Commits
 ]=__=
  Directory summary:
  8.2% pkgs/plot-pkgs/plot-lib/plot/__private/common/
 35.5% pkgs/plot-pkgs/plot-lib/plot/__private/no-gui/
 12.4% pkgs/plot-pkgs/plot-lib/plot/__private/plot3d/
 41.2% pkgs/plot-pkgs/plot-test/plot/__tests/


  ~~

  c1550b6 Neil Toronto neil.toro...@gmail.com
 mailto:neil.toro...@gmail.com
  mailto:neil.toro...@gmail.com
 mailto:neil.toro...@gmail.com__ 2014-04-02 22:06


  :
  | Remove unnecessary use of `remove-duplicates'
  :
 M .../plot-lib/plot/private/__plot3d/bsp.rkt  |
 11 +--
 M .../plot-test/plot/tests/__plot3d-bsp-tests.rkt |
 91

  

  ~~

  efc46de Neil Toronto neil.toro...@gmail.com
 mailto:neil.toro...@gmail.com
  mailto:neil.toro...@gmail.com
 mailto:neil.toro...@gmail.com__ 2014-04-02 23:16


  :
  | Changed PDF/PS backend to use 1.0 x 1.0 scaling
  |
  | This makes plotting to a file the same (well, with slight
 differences)
  | regardless of file format. Scaling and other PS options
 are controlled
  | by a `plot-ps-setup' parameter. Not sure how useful that
 is, yet, so
  | it's undocumented.
  :
 M
 pkgs/plot-pkgs/plot-lib/plot/__private/no-gui/plot2d.rkt  | 14
  --
 M
 pkgs/plot-pkgs/plot-lib/plot/__private/no-gui/plot3d.rkt  | 14
  --
 M .../plot-lib/plot/private/__common/parameters.rkt
  |  9
  -
 M .../plot-lib/plot/private/__contracted/parameters.rkt

  |  2 +-

  =[ Overall Diff
 ]=__==

  pkgs/plot-pkgs/plot-lib/plot/__private/common/parameters.rkt
  ~~__
  ---
 

Re: [racket-dev] [plt] Push #28468: master branch updated

2014-04-04 Thread Neil Toronto
No need to apologize! I'd feel lost if you didn't ask questions that 
forced me to explain things better. :)


Do you think it's worthwhile to make it easy for people to get the old 
behavior?


Neil ⊥

On 04/04/2014 11:28 AM, Robby Findler wrote:

Oh, I finally understand.

Yes, I agree that this is a good change.

Sorry for the confusion.

Robby



On Fri, Apr 4, 2014 at 10:04 AM, Neil Toronto neil.toro...@gmail.com
mailto:neil.toro...@gmail.com wrote:

Yes, the relative size of the font will grow, as well as minor
things, such as that the lines will thicken a bit. IOW, without the
fix, if you output the same plot to a PDF, SVG, and PNG, the PDF
will have a smaller font and thinner lines than the SVG and PNG.

It can be hard to tell without converting them to the same format
for comparison, which is why I didn't spot this for so long. I just
thought papers looked better when plots had slightly larger fonts.

I verified that the fix works by using the Gimp to convert a PDF and
an SVG to two 500x500 images, and pasted one over the other.

Neil ⊥


On 04/04/2014 06:42 AM, Robby Findler wrote:

I'm not completely clear on the precise impact of old papers:
will the
plot itself stay the same size, but the relative size of the
font (to
the other plot elements) inside the plot change only? Or
something else?

Robby


On Fri, Apr 4, 2014 at 12:08 AM, Neil Toronto
neil.toro...@gmail.com mailto:neil.toro...@gmail.com
mailto:neil.toro...@gmail.com
mailto:neil.toro...@gmail.com__ wrote:

 I did it because I was tired of putting (plot-font-size 15)
at the
 top of every program that produced a plot for a paper.
Also, I think
 it was bad for the preview in DrRacket to look different
from the
 PDFs. (Some of my plots in DrRacket had legends that badly
 overlapped the data in order to look right in PDF format.)
It will
 cause existing PDF plots to have larger text, which could
look wrong
 in plots that use the font size workaround. But I think
it's the
 right move in the long run.

 Here's one thing I could do: document `plot-ps-setup' and
export an
 `old-plot-ps-setup' that's the default instance of
`ps-setup%', so
 programs that produce plots for papers could start this way:

#lang racket
(require plot)
(plot-ps-setup old-plot-ps-setup)

 Maybe that parameter is useful after all.

 Neil ⊥


 On 04/03/2014 10:37 AM, Robby Findler wrote:

 Is efc46de backwards compatible? (I worry about
breaking people's
 papers, specifically.)

 Robby


 On Thu, Apr 3, 2014 at 12:20 AM,
ntoro...@racket-lang.org mailto:ntoro...@racket-lang.org
 mailto:ntoronto@racket-lang.__org
mailto:ntoro...@racket-lang.org
 mailto:ntoronto@racket-lang.
mailto:ntoronto@racket-lang.org

 mailto:ntoronto@racket-lang.__org
mailto:ntoro...@racket-lang.org wrote:

  ntoronto has updated `master' from 87cfce97f9 to
efc46ded6d.
http://git.racket-lang.org/plt/87cfce97f9..efc46ded6d
http://git.racket-lang.org/__plt/87cfce97f9..efc46ded6d


http://git.racket-lang.org/__plt/87cfce97f9..efc46ded6d
http://git.racket-lang.org/plt/87cfce97f9..efc46ded6d

  =[ 2 Commits
 ]==
  Directory summary:
  8.2%
pkgs/plot-pkgs/plot-lib/plot/private/common/
 35.5%
pkgs/plot-pkgs/plot-lib/plot/private/no-gui/
 12.4%
pkgs/plot-pkgs/plot-lib/plot/private/plot3d/
 41.2% pkgs/plot-pkgs/plot-test/plot/tests/


  ~~

  c1550b6 Neil Toronto neil.toro...@gmail.com
mailto:neil.toro...@gmail.com
 mailto:neil.toro...@gmail.com
mailto:neil.toro...@gmail.com__
  mailto:neil.toro...@gmail.com
mailto:neil.toro...@gmail.com
 mailto:neil.toro...@gmail.com
mailto:neil.toro...@gmail.com 2014-04-02 22:06


  :
  | Remove unnecessary use of `remove-duplicates'
  :
 M .../plot-lib/plot/private/plot3d/bsp.rkt
  |
 11 +--
 M
.../plot-test/plot/tests/plot3d-bsp-tests.rkt | 91

  

  

Re: [racket-dev] Fwd: Create executable problem

2014-04-04 Thread Robby Findler
[ Nadeem sent me the file offline. ]

I've pushed a fix for the bug.

It is possible to work around it: the issue comes up when you copy and
paste the result of the 2htdp/image images back into the definitions
window. In this case, the image I noticed that does this is a flipped cat.
So you could delete that from the file and then put (presumably at the
top-level) a call to flip passing in the literal cat and then just use that
instead.

That should work with the released version.

Robby


On Fri, Mar 28, 2014 at 5:06 PM, Robby Findler
ro...@eecs.northwestern.eduwrote:

 It looks like something has gone wrong in the code that figures out what
 kind of executable to create (or maybe the dependency tracking possibly).

 Do you have the game to share? That would help a lot with the
 investigation.

 Robby



 On Fri, Mar 28, 2014 at 4:08 PM, Nadeem Abdul Hamid nad...@acm.orgwrote:

 I have a student trying to create a standalone executable of a
 2htdp/universe-based game written in ISL+lambda, but the resulting
 executable crashes. On my Mac, using Racket 6.0, it results in the
 following error when run from the generated disk image. Any ideas?

 Thanks,
 nadeem


 $ ./Ant\ Attack.app/Contents/MacOS/Ant\ Attack
 image%: cannot get-shape without gui libraries
   context...:
/Applications/Racket
 v6.0/share/pkgs/htdp-lib/2htdp/private/image-more.rkt:261:0: overlay/δ
place-image/align
/Applications/Racket v6.0/collects/racket/private/list.rkt:245:7: loop
/Applications/Racket v6.0/collects/racket/private/list.rkt:245:7: loop
/Applications/Racket v6.0/collects/racket/private/list.rkt:242:4: foldr
render-world
/Applications/Racket
 v6.0/share/pkgs/htdp-lib/2htdp/private/world.rkt:360:6: ppdraw method
 in ...dp/private/world.rkt:57:4
/Applications/Racket
 v6.0/share/pkgs/htdp-lib/2htdp/private/world.rkt:283:18: d
/Applications/Racket
 v6.0/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:451:6
/Applications/Racket
 v6.0/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:502:32
/Applications/Racket
 v6.0/collects/racket/private/more-scheme.rkt:147:2:
 call-with-break-parameterization
/Applications/Racket
 v6.0/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:397:18: loop

 _
   Racket Developers list:
   http://lists.racket-lang.org/dev



_
  Racket Developers list:
  http://lists.racket-lang.org/dev


Re: [racket-dev] Create executable problem

2014-04-04 Thread Nadeem Abdul Hamid
Thanks for your work, Robby.
--- nadeem

On Friday, April 4, 2014, Robby Findler ro...@eecs.northwestern.edu wrote:

 [ Nadeem sent me the file offline. ]

 I've pushed a fix for the bug.

 It is possible to work around it: the issue comes up when you copy and
 paste the result of the 2htdp/image images back into the definitions
 window. In this case, the image I noticed that does this is a flipped cat.
 So you could delete that from the file and then put (presumably at the
 top-level) a call to flip passing in the literal cat and then just use that
 instead.

 That should work with the released version.

 Robby


 On Fri, Mar 28, 2014 at 5:06 PM, Robby Findler 
 ro...@eecs.northwestern.edujavascript:_e(%7B%7D,'cvml','ro...@eecs.northwestern.edu');
  wrote:

 It looks like something has gone wrong in the code that figures out what
 kind of executable to create (or maybe the dependency tracking possibly).

 Do you have the game to share? That would help a lot with the
 investigation.

 Robby



 On Fri, Mar 28, 2014 at 4:08 PM, Nadeem Abdul Hamid 
 nad...@acm.orgjavascript:_e(%7B%7D,'cvml','nad...@acm.org');
  wrote:

 I have a student trying to create a standalone executable of a
 2htdp/universe-based game written in ISL+lambda, but the resulting
 executable crashes. On my Mac, using Racket 6.0, it results in the
 following error when run from the generated disk image. Any ideas?

 Thanks,
 nadeem


 $ ./Ant\ Attack.app/Contents/MacOS/Ant\ Attack
 image%: cannot get-shape without gui libraries
   context...:
/Applications/Racket
 v6.0/share/pkgs/htdp-lib/2htdp/private/image-more.rkt:261:0: overlay/δ
place-image/align
/Applications/Racket v6.0/collects/racket/private/list.rkt:245:7: loop
/Applications/Racket v6.0/collects/racket/private/list.rkt:245:7: loop
/Applications/Racket v6.0/collects/racket/private/list.rkt:242:4:
 foldr
render-world
/Applications/Racket
 v6.0/share/pkgs/htdp-lib/2htdp/private/world.rkt:360:6: ppdraw method
 in ...dp/private/world.rkt:57:4
/Applications/Racket
 v6.0/share/pkgs/htdp-lib/2htdp/private/world.rkt:283:18: d
/Applications/Racket
 v6.0/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:451:6
/Applications/Racket
 v6.0/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:502:32
/Applications/Racket
 v6.0/collects/racket/private/more-scheme.rkt:147:2:
 call-with-break-parameterization
/Applications/Racket
 v6.0/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:397:18: loop

 _
   Racket Developers list:
   http://lists.racket-lang.org/dev





-- 

--
Nadeem Abdul Hamid
Associate Professor, Computer Science
Berry College, Mount Berry, GA 30149
http://cs.berry.edu/~nhamid/
_
  Racket Developers list:
  http://lists.racket-lang.org/dev


Re: [racket-dev] Compile cache being incorrect

2014-04-04 Thread Eric Dobson
Great that explains it and with that information I was able to
simplify my test case to

tmp.rkt
#lang racket

(require tmp2.rkt)

(define-syntax (go stx)
  (foo))

(go)

tmp2.rkt
#lang racket

(provide (for-syntax foo))

(begin-for-syntax
  (define (foo) #'3))

So now the question is how do I run my code so as to not be bit by
this? I want a command to run my program that is both fast to run and
correct with regards to my source. My previous assumption was that the
zo file's logic was safe if I wasn't trying to break it but I now know
better. Is my only option to either always compile or never compile?


On Fri, Apr 4, 2014 at 7:15 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
 If I understand the question:

  * With 34c3eed615, pr12644.rkt can compile and run.

  * With d29df205f7, pr12644.rkt fails to compile.

  * A bytecode form of pr12644.rkt compiled with 34c3eed615 can still
run in d29df205f7, because run-time support for pr12644.rkt didn't
change.

  * When you tell `racket` to run pr12644.rkt, it will use a .zo for
each of pr12644.rkt and its dependencies as long each individual
.zo file has a newer timestamp than its .rkt file. That is, the
only timestamp comparisons are on individual .rkt and .zo pairs.

  * When you tell `raco make` to build pr12644.rkt, it checks
dependencies (via .dep file) and compares a .rkt file's
timestamp against the times of all of its dependencies, instead of
just checking individual .rkt and .zo pairs. That's why a `raco
make` in d29df205f7 tries to recompile pr12644.rkt.

 At Thu, 3 Apr 2014 09:41:19 -0700, Eric Dobson wrote:
 I have seen multiple times changes in TR not getting properly
 propogated to TR programs in my debugging, and I finally have found a
 repeatable example.

 I am under the impression that if I compile a file and then change a
 (transitive) dependency of it, then it should have to be recompiled,
 but I am not seeing that.

 Steps to reproduce:
 git checkout 34c3eed6155765a1e457f69194786575128a13a5
 raco setup -D typed-racket typed
 raco make
 pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr12644.rkt
 racket -l tests/typed-racket/succeed/pr12644

 The test should run successfully and output '(6 7 8 9)

 Now make the change (rolling forward one commit):
 git checkout d29df205f7bb8347f60c82206b74e3e167e2de24
 racket -l tests/typed-racket/succeed/pr12644
 raco make
 pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr12644.rkt

 The test runs the first time successfully but fails if you try to
 compile it again. Can someone explain why this is not working like I
 expect?
 _
   Racket Developers list:
   http://lists.racket-lang.org/dev
_
  Racket Developers list:
  http://lists.racket-lang.org/dev


[racket-dev] Internal crashes

2014-04-04 Thread Eric Dobson
I have seen a crash that looks like this twice recently.

Seg fault (internal error during gc) at 0x19fd08000

I reran the same program and would not get the crash again. Is there
anything that I can do to turn something like this into an
actionable/useful bug report?
_
  Racket Developers list:
  http://lists.racket-lang.org/dev


[racket-dev] DrDr hung?

2014-04-04 Thread Eric Dobson
DrDr seems to be behind by about 8 pushes (in terms of what it is
showing in the UI) currently and is stuck running on push 28468 for 36
hours.
_
  Racket Developers list:
  http://lists.racket-lang.org/dev