-
Hardy Jones authored
This issue has been fixed upstream: https://github.com/purescript/purescript/pull/3665, but not release yet. Once it's been released, we can remove this code. In the meantime, we have enough information to generate valid `String`s, so we do it.