The change for warnExnMatch is fine with me as long as the default is to warn. As to the coarser-grain allowFFI, I definitely like it since I never really got the point of the finer-grained control.