<div><div>Dear Benevolent Racketeers,</div><div><br></div><div>I just installed DrRacket 5.3.1 on my Windows 8 Laptop. (Yes,</div><div>Windows 8, please don't laugh at me. :-) ) I have not checked</div><div>this on other operating systems or other versions of Racket.</div>
<div><br></div><div>One of my Racket projects scans the PATH directories to locate</div><div>the Java executable, if one is installed. I have the</div><div>executable "java.exe" present in the C:\Windows\System32 folder,</div>
<div>yet:</div><div><br></div><div>> (file-exists? "C:\\Windows\\System32")</div><div>#f</div><div><br></div><div>To check myself, I invoked and manually scanned</div><div>down (directory-list "C:\\Windows\\System32"), expecting to see</div>
<div>#<path:java.exe> but did not.</div><div><br></div><div>Moreover, counting hidden files and subfolders, I had 3576 files</div><div>in that folder (confirmed via command prompt, not recursive). If</div><div>I don't include hidden files, I have 3238. But:</div>
<div><br></div><div>> (length (directory-list "C:\\Windows\\System32"))</div><div>2739</div><div><br></div><div>So it appears that (directory-list) is missing several hundred</div><div>files that actually exist, including java.exe. java.exe is not</div>
<div>hidden, not read-only, and it's not obviously a link. (And </div><div>even if it was, shouldn't file-exists? and directory-list </div><div>include it?)</div><div><br></div><div>On my Windows 7 PC at home, directory-list finds java.exe, but still </div>
<div>lists a hundred plus fewer files than appear via DIR:</div><div><br></div><div><div>> (length (directory-list "C:\\Windows\\System32"))</div><div>2389</div></div><div><br></div><div>C:\Windows\System32>DIR</div>
<div>2720 File(s) ... </div><div>91 Dir(s) ...</div><div><br></div><div>I'm stumped. I even tried to track directory-list to its source,</div>
<div>but lost the scent in pre-base.rkt.</div><div><br></div><div>What am I missing here? Is this a potential problem with these</div><div>functions in Windows 7 and 8, or am I perhaps using them incorrectly?</div><div><br>
</div><div>Thanks,</div><div>- Tim</div></div>