Ah, sorry, this is a correction I've recently made to spawn following a comment made by a reviewer, and I expected the release of Idris (which is imminent) to beat the release of the updated chapter. Spawn really needs to return Maybe PID because spawning a process could fail if there's not enough resources.
There'll be a new release of Idris in the next day or so which fixes this.
|