minor External Core prettyprinter bug
The ext-core pretty printer was printing out rational literals like:
which isn't valid External Core. The correct way to print a negative rational is:
I've attached a patch. I would normally commit this myself, but my GHC build tree isn't up to date.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information