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

[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 different display because 
the student had the laptop connected to an external monitor).


Jordan


Yes.

The problem is the multi-display commands do nothing if you have only 
one display.  Somebody mentioned changing screen resolution also.  But 
you can only move a window that's both enabled and "visible" ... if the 
window is disabled or hidden for some reason, then nothing you try will 
work.


George

--
You received this message because you are subscribed to the Google Groups "Racket 
Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

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

[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 laptop connected 
to an external monitor).

Jordan

> On Nov 13, 2017, at 1:10 PM, George Neuner  wrote:
> 
> 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.  Or rather it does, but not somewhere visible or
>> accessible.
>> 
>> There's a DrRacket icon on the taskbar, indicating it's running, and
>> if you hover over it, it shows a preview of the DrRacket window, but
>> clicking on it does not bring it up.
>> 
>> If he opens a saved file from the filesystem, you can see in the
>> preview that the file has been opened in the inaccessbile DrRacket
>> window.
>> 
>> He's tried restarting, uninstalling/reinstalling Racket, but gets the
>> same issue.
>> 
>> Any ideas how to resolve this?  (Sorry I haven't used Windows in many
>> years, so I really don't know how to help.)
>> 
>> David
> 
> I've seen this behavior before - though not for a very long time.  It used to 
> happen rather frequently in Win3 and Win9x.
> 
> If the window is there but simply off the screen, you can try (emphasis on 
> "try") to move it back on screen.  
> first, make sure DrRacket is the only application open.
> select the task bar icon to make sure you are in the window. 
> press ALT-Space to open the window's system menu. 
> press the down arrow once to select "move".
> press enter to start the move operation.
> press the right arrow and down arrow a couple of times each.
> At this point ... if it is going to work ... you should see (at least) the 
> outline of the window at the upper left corner of the screen (whether you see 
> any content depends on Windows user preferences).  Once you see the outline, 
> you should then be able to move the mouse (don't press any buttons) and the 
> window's outline should follow where the mouse is pointing.
> Once you get the window's title bar on screen, you can fix the size and 
> position - and hopefully it won't happen again for a while.
> 
> If this doesn't help, then I'm out of ideas.
> George
> 
> -- 
> You received this message because you are subscribed to the Google Groups 
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

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

[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.  Or rather it does, but not somewhere visible or
accessible.

There's a DrRacket icon on the taskbar, indicating it's running, and
if you hover over it, it shows a preview of the DrRacket window, but
clicking on it does not bring it up.

If he opens a saved file from the filesystem, you can see in the
preview that the file has been opened in the inaccessbile DrRacket
window.

He's tried restarting, uninstalling/reinstalling Racket, but gets the
same issue.

Any ideas how to resolve this?  (Sorry I haven't used Windows in many
years, so I really don't know how to help.)

David


I've seen this behavior before - though not for a very long time. It 
used to happen rather frequently in Win3 and Win9x.


If the window is there but simply off the screen, you can try (emphasis 
on "try") to move it back on screen.


 * first, make sure DrRacket is the only application open.
 * select the task bar icon to make sure you are in the window.
 * press ALT-Space to open the window's system menu.
 * press the down arrow once to select "move".
 * press enter to start the move operation.
 * press the right arrow and down arrow a couple of times each.

At this point ... if it is going to work ... you should see (at least) 
the outline of the window at the upper left corner of the screen 
(whether you see any content depends on Windows user preferences).  Once 
you see the outline, you should then be able to move the mouse (don't 
press any buttons) and the window's outline should follow where the 
mouse is pointing.


Once you get the window's title bar on screen, you can fix the size and 
position - and hopefully it won't happen again for a while.


If this doesn't help, then I'm out of ideas.
George

--
You received this message because you are subscribed to the Google Groups "Racket 
Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

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

[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' function.

Try googling 'windows 10 window off screen'.

HTH
Stephen


On Mon, Nov 13, 2017 at 8: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.  Or rather it does, but not somewhere visible or
> accessible.
>
> There's a DrRacket icon on the taskbar, indicating it's running, and
> if you hover over it, it shows a preview of the DrRacket window, but
> clicking on it does not bring it up.
>
> If he opens a saved file from the filesystem, you can see in the
> preview that the file has been opened in the inaccessbile DrRacket
> window.
>
> He's tried restarting, uninstalling/reinstalling Racket, but gets the
> same issue.
>
> Any ideas how to resolve this?  (Sorry I haven't used Windows in many
> years, so I really don't know how to help.)
>
> David
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

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

[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))
> 
> 
> (: close? (->* (Reading Reading) (Integer) Boolean))
> (define/match (close? r1 r2 [err 1])
>   [((vector a b) (vector c d) e)
> (and (= a (+ c e)) (= b (+ d e)))])
> 
> 
> In untyped Racket the function compiles and runs as I expected. In Typed 
> Racket the pattern-matched values all seem to have type "Any". 
> 
> I think there's some interaction between Typed Racket's typing rules and the 
> define/match macro that I haven't understood properly? As a complete Racket 
> newb I may also be going about this the wrong way.  Any advice much 
> appreciated.

This seems to be a problem with define/match specifically, since define + 
match* works fine for this function:

(: close? (->* (Reading Reading) (Integer) Boolean))
(define (close? r1 r2 [err 1])
  (match* (r1 r2 err)
[((vector a b) (vector c d) e)
 (and (= a (+ c e)) (= b (+ d e)))]))

Others: Does define/match do anything that would make Typed Racket see it 
differently from define + match*? It seems like define/match expands to define 
+ match*/derived anyway. The only thing that's different is which define it's 
expanding to. So is expanding to Racket's define instead of TR's causing the 
problem?

Alex Knauth

> 
> Thanks,
> 
> Stu

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

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

[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])
  [((vector a b) (vector c d) e)
(and (= a (+ c e)) (= b (+ d e)))])


In untyped Racket the function compiles and runs as I expected. In Typed 
Racket the pattern-matched values all seem to have type "Any". 

I think there's some interaction between Typed Racket's typing rules and 
the define/match macro that I haven't understood properly? As a complete 
Racket newb I may also be going about this the wrong way.  Any advice much 
appreciated.

Thanks,

Stu

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

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

[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 data files to
>> import, you can find some in the "test/test-data" folder.  Just make
>> sure you select "All Days" in the "Activities" view, as by default, it
>> only shows activities from the last 30 days.
>>
>
> From a fellow triathlete... I am _very_ impressed with the amount of
> work you have put into ActivityLog2. It would be great to abstract the
> FIT file parser into a lib on its own. :)

There is an issue for that:
https://github.com/alex-hhh/ActivityLog2/issues/19, but it is not high
on my priority list.

>
> I could certainly use that. Currently doing FIT->TCX and parsing that in
> order to avoid creating a FIT file parser.

The FIT file parser is just 4 files, you can just take these files and
use them directly.  They are:

* rkt/fit-file.rkt
* rkt/fit-defs.rkt
* rkt/activity-util.rkt
* rkt/utilities.rkt -- this last one is only needed for the `assq1`
function, so you can just use that one function and remove this
dependency.

There is also a short note on how to read the FIT files in the
'doc/fit-read.md' file (and how to read the HRV data in the
`doc/hrv-notes.md` file).

However, if you just want to analyze your data, it might be more
convenient to actually import your activities into the database and
read them back out as data frames -- there are lots of utilities to
analyze and plot the data, the 'doc/data-frame.md' provides an
overview of how to use them and 'doc/session-df.md' describes the
structure of a session data frame.

Best Regards,
Alex.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

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

['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.  Just make
> sure you select "All Days" in the "Activities" view, as by default, it
> only shows activities from the last 30 days.
>

>From a fellow triathlete... I am _very_ impressed with the amount of
work you have put into ActivityLog2. It would be great to abstract the
FIT file parser into a lib on its own. :)

I could certainly use that. Currently doing FIT->TCX and parsing that in
order to avoid creating a FIT file parser.

Thanks.


> Best Regards,
> Alex.
> 
> On Saturday, October 28, 2017 at 5:56:51 PM UTC+8, spdegabrielle wrote:
> 
> I created a new wiki page 
> https://github.com/racket/racket/wiki/Friends-of-Racket
> 
>  (yes, I got the idea from rust-lang)
> 
> I did it because it is a question that keeps turning up. 
> 
> Racket-devs: If it is not appropriate for the wiki please delete it. 
> 
> Kind regards,
> Stephen
> 
> —
> 
> 
> Organizations using Racket or a language built on Racket
> 
>   * Web-based books Practical Typography, Typography for Lawyers,
> are build with Pollen 
>   * YouPatch 
>   * Hacker News  runs
> on Arc, which is developed in Racket
>   * Naughty Dog
> 
> 
> -- 
> Kind regards,
> Stephen
> --
> Ealing (London), UK
> 
> 
> -- 
> You received this message because you are subscribed to the Google
> Groups "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to racket-users+unsubscr...@googlegroups.com
> .
> For more options, visit https://groups.google.com/d/optout.

-- 
Paulo Matos

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.