Adding new contructors to IOMode to support "don't overwrite if already exists" behavior

Grey Mitchell grey at
Mon Mar 30 16:21:26 UTC 2020

The current behavior for System.IO.openFile will either truncate an existing
file (with WriteMode) or append new content to the end (with AppendMode).
However, there's another behavior that's available from the underlying API:
signal an error when the file already exists. I poked around at the code and i
think that with a couple extra variants of IOMode, this behavior could be added
with a relatively small patch.

I have a branch pushed where i added this behavior:

I'm a relative newcomer to contributing to GHC or the base library, so if i'm
missing something in my patch please let me know. Specifically, i would like to
know is there's a place i can add a test for this behavior. I'm also open to
changing the names of the new IOModes - this was just something i wrote in to
get something working.

Looking forward to working with maintainers to get this added!

Grey Mitchell (@QuietMisdreavus)

More information about the Libraries mailing list