Repository navigation
Purescript Without Node Example Fails #420
Description
Hi,
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.
Activity
JordanMartinez commentedon Feb 22, 2022
For the warning...
For the error
Add
Typeto itwhere
Typecomes fromPrim.jgarte commentedon Feb 26, 2022
Hi,
Thanks for the advice! Does this requires that change in
purescript-prelude?JordanMartinez commentedon Feb 26, 2022
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 ofpurescript-preludein the example needs to be updated.