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

2014-06-30 Thread Robby Findler
I see that too, in an ubuntu vm. Thanks. Robby On Mon, Jun 30, 2014 at 10:28 AM, Sam Tobin-Hochstadt wrote: > > On Jun 30, 2014 3:34 PM, "Robby Findler" > wrote: >> >> Thanks. When I look at the dvipdf-produced pdf in my pdf viewer, it >> looks good, but the other one does not. >> >> I see no

Re: [racket-dev] help wanted: watch out for missing `@history[...]`

2014-06-30 Thread Sam Tobin-Hochstadt
On Mon, Jun 30, 2014 at 5:25 AM, Matthew Flatt wrote: > Similarly, I don't know how much it makes sense to document refinements > to types in `typed/...` libraries (and I'll leave that question to the > TR implementers). I think we make a design choice to make a type stricter/less strict, it's w

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

2014-06-30 Thread Sam Tobin-Hochstadt
On Jun 30, 2014 3:34 PM, "Robby Findler" wrote: > > Thanks. When I look at the dvipdf-produced pdf in my pdf viewer, it > looks good, but the other one does not. > > I see no difference in these screenshots or the pdf.js ones you sent, > tho. And when I view the pdfs in pdf.js via their demo featu

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

2014-06-30 Thread Robby Findler
Thanks. When I look at the dvipdf-produced pdf in my pdf viewer, it looks good, but the other one does not. I see no difference in these screenshots or the pdf.js ones you sent, tho. And when I view the pdfs in pdf.js via their demo features, I see no difference. What latex distribution are you u

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

2014-06-30 Thread Stephen Chang
>> --- >> OLD/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/combinators/derived.rkt >> +++ >> NEW/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/combinators/derived.rkt >> @@ -6,7 +6,7 @@ >> >> (require "simple.rkt" "structural.rkt" >> (fo

[racket-dev] style was Re: 2htdp/image Feature Suggestion

2014-06-30 Thread Matthias Felleisen
Good choice :-) ;; --- I think Robby translated the recommendations of the style guide just right. BTW, I didn't think it mentions named let only let. Indeed, I can't find a recommendation of preferring defined over named let. ;; --- A comment on your commenting style. I tried to read yo

[racket-dev] help wanted: watch out for missing `@history[...]`

2014-06-30 Thread Matthew Flatt
Recall that we added `@history[...]` to `scribble/manual` so we can document the addition of new modules, bindings, arguments, command-line flags, etc. It's easy to forget to add a note, and we have no good way of checking that `@history[]` notes have been added where needed. On the plus side, I t