Exporting a module that isn't imported doesn't fail
Exporting a module that isn't imported doesn't fail.
An example is, from rnfail028:
-- !!! illegal to export a module we haven't imported. module ShouldFail ( module List ) where
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information