Neil Mitchell
Neil Mitchell
And maybe with your more refined classification there is no read/write write/write hazards, they are one of the pairs above, but the more interesting thing is the restart/ok/fatal side.
Cool. I think I'm now convinced you are right. Good explanation!
Cool, yep, I think you're right. I am fairly certain you can have a pathological example that means that any amount of speculation will always lead to it never completing....
> but I think for non-recoverable hazards there is no point in re-running the build again Agreed. I originally had the idea that speculative hazards and real hazards were totally...
Thanks for the summary. An important point is that running a command from phase 1 might fetch the result from phase 4 quite legitimately - each "phase" would be somehow...
As far as I can tell, the URL/path are hardcoded, see https://github.com/commercialhaskell/stack/blob/master/src/Stack/New.hs, in particular `defaultTemplateUrl` and similar.
Known issue, raised at https://github.com/commercialhaskell/stack/issues/2804.
I would have guessed that option 1 makes most sense? But I guess you found this because you failed to find a proof of correctness? Did you then manage to...
There are a few things here. Chmod should probably register as a write. We should also probably record/cache the permission bits on files, so we store them correctly. After all...
I'm afraid I'm not too familiar with where gg thunks would need to go. The only place Rattle really gets involved is when users run commands. If you want to...