Skip to content

Remove implicit module declaration syntax in .bkp mode

.bkp mode had this unused feature where you could write

module A

and it would go looking for A.hs on the file system and use that rather than provide the definition inline.

This isn't use anywhere in the testsuite and the code to find the module A looks dubious. Therefore to reduce .bkp complexity I propose to remove it.

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