formrre
formrre
I want to note that these failures are quite prevalent when resolving merge conflicts, sometimes picking the correct resolution is tricky, and a sensible thing is to build conflicting file's...
I have found a way to reproduce this. No idea why it doesn't happen in Holmake, doing `load "parsingComputeLib";` interactively appropriately complains `parsingComputeLib.sml:45: error: Structure (semanticsComputeLib) has not been declared`,...
This must be attempted before doing `Holmake` inside `parsing/proofs` as they share the same heap and `semantics/proofs` must not be built either as it shares heap with `semantics`.
@xrchz concerning your comments on #576, the other possible fixes I can think of are making `parsing` depend on `semantics/proofs`, reverting to the state before `cleanup`, where `semanticsComputeLib` was in...
@mn200 to reproduce the odd `load` behaviour do: 1. `Holmake` inside `compiler/parsing` on a clean checkout, it builds `semantics`, but not `semantics/proofs`, where the `semanticsComputeLib` currently is, doing `load "parsingComputeLib";`...