[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


[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


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  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


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  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.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 
>> 
>> > 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] 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
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 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
>>
>
>
_
  Racket Developers list:
  http://lists.racket-lang.org/dev


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 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
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,
mailto:ntoro...@racket-lang.org>
 >
 org

 


>

  =[ 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 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 mailto:ne

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 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 > > 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, > 
>> >
>> >> 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 > 
>>  > __>> 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 > 
>>  > __>> 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/commo

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   
> wrote:
> 
> > Yes, `_bool` is a problem. I'll add a `_stdbool` that corresponds to
> > `bool` from C99's , 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 
> >> 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 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   
wrote:



Yes, `_bool` is a problem. I'll add a `_stdbool` that corresponds to
`bool` from C99's , 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 
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 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 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, 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 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 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
 + rack

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 , 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 
> 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] 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] [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 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, > > 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 > > 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 > > 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