The good news, @dakom, is that the current version of sanctuary-def does detect the type error in the aforementioned issue. Upgrading to the latest sanctuary-def release would only be a partial fix, though, as error messages would lack the helpful ^^^ markers due to a bug in underlineTypeVars (which this pull request fixes).
After merging this we can publish a patch release then have Sanctuary depend on the new version.
Fixes #166
The good news, @dakom, is that the current version of sanctuary-def does detect the type error in the aforementioned issue. Upgrading to the latest sanctuary-def release would only be a partial fix, though, as error messages would lack the helpful
^^^
markers due to a bug inunderlineTypeVars
(which this pull request fixes).After merging this we can publish a patch release then have Sanctuary depend on the new version.