Closed felixonmars closed 3 years ago
Hey thanks for sending in this PR. I haven't thought about this package in a very long time. Do you use it for anything? I didn't end up using it the way I had originally intended.
Yes, it is used by what4: https://github.com/GaloisInc/what4/blob/91200aa39565c156226cec6a9409a692e4022501/what4/src/What4/Symbol.hs#L121
I am not the author though. I am only a packager for Arch :)
Hopefully this suppresses the following warning: