purescript / registry-dev

Development work related to the PureScript Registry
https://github.com/purescript/registry
97 stars 80 forks source link

Fix warnings in the codebase #636

Closed thomashoneyman closed 1 year ago

thomashoneyman commented 1 year ago

A few warnings have crept into the codebase over the last few pull requests. This addresses them so we're warning-free.