GHC -M mode fails to ensure that boot files are built before source files
Imagine we have a module with a boot file. In general it is necessary to ensure that we compile the boot file *before* the source file to ensure that the
hi-boot file exists when we go to typecheck the module (triggering the behavior observed in #14481 (closed)). However,
ghc -M doesn't guarantee this.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information