You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Following the Purescript Without Node Example in the documentation fails with the following error:
Compiling Type.Data.RowList
Warning found:
at dependencies/purescript-prelude/src/Type/Data/RowList.purs:3:22 - 3:34 (line 3, column 22 - line 3, column 34)
Kind imports are deprecated and will be removed in a future release. Omit the 'kind' keyword instead.
See https://github.com/purescript/documentation/blob/master/errors/WarningParsingModule.md for more information,
or to contribute content related to this warning.
Error found:
in module Type.Data.RowList
at dependencies/purescript-prelude/src/Type/Data/RowList.purs:6:26 - 6:33 (line 6, column 26 - line 6, column 33)
Could not match kind
Type -> Type
with kind
Type
while checking that type RowList
has kind Type
in type constructor RLProxy
See https://github.com/purescript/documentation/blob/master/errors/KindsDoNotUnify.md for more information,
or to contribute content related to this error.
How can we update it?
I'd like to be able to complete it to the end.
The text was updated successfully, but these errors were encountered:
Not quite. It means the code was compiled using a later compiler release (e.g. v0.14.x) on a version of a library that isn't compatible with that release. So, it's more like the version of purescript-prelude in the example needs to be updated.
Hi,
Following the Purescript Without Node Example in the documentation fails with the following error:
How can we update it?
I'd like to be able to complete it to the end.
The text was updated successfully, but these errors were encountered: