single-writer, multiple reader locking on files
GHC's implementation of the standard I/O routines fails to implement the single-writer, multiple reader locking on files required by the Library Report, Section 11.3.1. I checked this only for readFile/writeFile and not for the handle-based routines.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information