Of course.. Go ahead.
The script worked fine early yesterday just pulling HEAD from the appropriate git branches. It subsequently broke due to new commits. I tried to lock things down by referencing specific commits, but this didn't work as "ghcjs-boot --dev" pulls the latest from several git repos in any case.
It does seen that ghcjs is currently a slightly fragile dependency under active development. Hopefully it will all settle down soon.
Tim
To view this discussion on the web visit https://groups.google.com/d/msgid/codeworld-discuss/CAPq5PvKF65SCCS93s0FTNQB%2BEDwZCk%2B7nMKZq_epEBAB9bwA3w%40mail.gmail.com.