> On 08 Feb 2016, at 14:56, Dave Abrahams via swift-dev <swift-dev at swift.org> wrote: > > Absolutely, it would be welcome. Please submit a pull request! Done: https://github.com/apple/swift/pull/1249. My first pull request, suggestions for improvement welcome.