Re: [racket-users] DrRacket (6.11) issue on Windows 10

2017-11-13 Thread George Neuner
On 11/13/2017 5:01 PM, Jordan Johnson wrote: There’s also (Windows key)+(left/right arrow), which will move the window to the left/right half of the current display, and (Windows key)+Shift+(left/right arrow), which cycles it to the previous or next display (in case, e.g., the window is on a d

Re: [racket-users] DrRacket (6.11) issue on Windows 10

2017-11-13 Thread Jordan Johnson
There’s also (Windows key)+(left/right arrow), which will move the window to the left/right half of the current display, and (Windows key)+Shift+(left/right arrow), which cycles it to the previous or next display (in case, e.g., the window is on a different display because the student had the la

Re: [racket-users] DrRacket (6.11) issue on Windows 10

2017-11-13 Thread George Neuner
Hi David, On 11/13/2017 3:14 PM, David Van Horn wrote: I have a student who is has a strange problem that is preventing him from using DrRacket. When he opens DrRacket, it goes through the launch window, all the tools load, etc., but then when the main DrRacket window should appear, it doesn't.

Re: [racket-users] DrRacket (6.11) issue on Windows 10

2017-11-13 Thread Stephen De Gabrielle
I don't know if this is what the student is experiencing, but sometimes windows places a window off screen and it persists in keeping it there. Changing the screen resolution (temporarily) may cause windows to reposition the application back on screen, using the windows 'window manager' 'move' fun

Re: [racket-users] Interaction of Typed Racket with define/match?

2017-11-13 Thread Alex Knauth
> On Nov 13, 2017, at 3:25 PM, Stuart Hungerford > wrote: > > Hi, > > I'm trying to create a Typed Racket function that compares to 2-vectors of > integers with an optional error term that defaults to 1: > > #lang typed/racket > > > (define-type Reading (Vector Integer Integer)) > > > (:

[racket-users] Interaction of Typed Racket with define/match?

2017-11-13 Thread Stuart Hungerford
Hi, I'm trying to create a Typed Racket function that compares to 2-vectors of integers with an optional error term that defaults to 1: #lang typed/racket (define-type Reading (Vector Integer Integer)) (: close? (->* (Reading Reading) (Integer) Boolean)) (define/match (close? r1 r2 [err 1])

[racket-users] DrRacket (6.11) issue on Windows 10

2017-11-13 Thread David Van Horn
I have a student who is has a strange problem that is preventing him from using DrRacket. When he opens DrRacket, it goes through the launch window, all the tools load, etc., but then when the main DrRacket window should appear, it doesn't. Or rather it does, but not somewhere visible or accessib

Re: [racket-users] Re: New wiki page ‘friends of Racket’

2017-11-13 Thread Alex Harsanyi
On Mon, Nov 13, 2017 at 5:26 PM, 'Paulo Matos' via Racket Users wrote: > > > On 30/10/17 00:18, Alex Harsanyi wrote: >> >> You could add ActivityLog2 (https://github.com/alex-hhh/ActivityLog2) to >> that list (Disclaimer: I am the author). >> >> If you want to try out the application and need some

Re: [racket-users] Re: New wiki page ‘friends of Racket’

2017-11-13 Thread 'Paulo Matos' via Racket Users
On 30/10/17 00:18, Alex Harsanyi wrote: > > You could add ActivityLog2 (https://github.com/alex-hhh/ActivityLog2) to > that list (Disclaimer: I am the author). > > If you want to try out the application and need some data files to > import, you can find some in the "test/test-data" folder. Jus