Skip to content

Write byte code to a file?

GHC currently assumes if you are producing byte code, it just to be kept in memory for the interpreter.

This might be a practical assumption, but I think it is bad because it conflates concerns. If we allow either writing or not writing a file for all backends, I think we will end up with cleaner code.

Similarly, I think @hsyl20 did some work in the past about untangling -fwrite-interface-file and -fno-code. (I briefly looked for an issue about this to reference, but couldn't find one.)

CC @nrnrnr @hsyl20 @doyougnu

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information