The Author Online Book Forums are Moving

The Author Online Book Forums will soon redirect to Manning's liveBook and liveVideo. All book forum content will migrate to liveBook's discussion forum and all video forum content will migrate to liveVideo. Log in to liveBook or liveVideo with your Manning credentials to join the discussion!

Thank you for your engagement in the AoF over the years! We look forward to offering you a more enhanced forum experience.

196641 (1) [Avatar] Offline
#1
The "usleep 1000000" line in Listing 5.7 results in a no-op using (potentially among others...) the Idris Windows x64 binary version 0.12.2. This is because the underlying C function called via FFI performs a no-op if its received argument is greater than or equal to 1000000.

I submitted an issue (https://github.com/idris-lang/Idris-dev/issues/3505), but this issue may directly affect the book, so I am bringing it to attention here as well.