[racket-dev] Problem with Values type constructor

2014-07-23 Thread Antonio Menezes Leitao
Hi, Although the typed racket documentation mentions Values as a type constructor, it does not work: Welcome to DrRacket, version 6.1.0.3--2014-07-18(e827817/a) [3m]. Language: typed/racket; memory limit: 1024 MB. > (define (foo) : (Values Number Number) (values 1 2)) . Type Checker: parse error

Re: [racket-dev] Pre-Release Checklist for v6.1

2014-07-23 Thread Neil Toronto
I've pushed a change that makes it work even with the Firefox layout issue and requested it be merged to 6.1. We can change my status to "All tests pass" now. Neil On 07/23/2014 08:23 AM, Sam Tobin-Hochstadt wrote: The margin-notes appear to work correctly on Chrome but wrong on Firefox on my

Re: [racket-dev] pkg account creator not working?

2014-07-23 Thread Jay McCarthy
I've just confirmed that it works with a bunch of different email sources. If you could directly email me JS logs from your attempts, with the time, we could try to figure it out. Jay On Mon, Jul 21, 2014 at 12:39 PM, J. Ian Johnson wrote: > I've tried both now. No go. > -Ian > - Original Me

Re: [racket-dev] Pre-Release Checklist for v6.1

2014-07-23 Thread Sam Tobin-Hochstadt
The margin-notes appear to work correctly on Chrome but wrong on Firefox on my Linux system. Sam On Wed, Jul 23, 2014 at 8:13 AM, Robby Findler wrote: > Believe it or not I actually tried that. Screenshot: > http://www.eecs.northwestern.edu/~robby/tmp/x.png (that's Chome and > Safari). > > Robby

Re: [racket-dev] Pre-Release Checklist for v6.1

2014-07-23 Thread Robby Findler
Believe it or not I actually tried that. Screenshot: http://www.eecs.northwestern.edu/~robby/tmp/x.png (that's Chome and Safari). Robby On Wed, Jul 23, 2014 at 7:02 AM, Neil Toronto wrote: > They only do it on my system if the browser window is too narrow. And > "overlap" is the wrong word: the

Re: [racket-dev] Pre-Release Checklist for v6.1

2014-07-23 Thread Neil Toronto
They only do it on my system if the browser window is too narrow. And "overlap" is the wrong word: the margin notes are completely inside the blue boxes. BTW, #2 is fixed now. I added an "#:unscaled? #t" somewhere; Matthew did the actual work. :D Neil On 07/22/2014 07:20 PM, Robby Findler w