Closed DataKinds closed 6 years ago
(sorry about all the superfluous edits -- Atom automatically trimmed the unnecessary white space off of the end of a few lines)
Thank you for your report.
This PR contains some cosmetic changes, which do not concern the reported problem. Therefore I remade a patch without such changes.
Thanks.
(sorry about all the superfluous edits -- Atom automatically trimmed the unnecessary white space off of the end of a few lines)