Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Purescript Without Node Example Fails #420

Open
jgarte opened this issue Feb 22, 2022 · 3 comments
Open

Purescript Without Node Example Fails #420

jgarte opened this issue Feb 22, 2022 · 3 comments

Comments

@jgarte
Copy link

jgarte commented Feb 22, 2022

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.

@JordanMartinez
Copy link
Contributor

JordanMartinez commented Feb 22, 2022

For the warning...

- import Foo (kind MyKind)`
+ import Foo (MyKind)`

For the error
Add Type to it

- RowList
+ RowList Type

where Type comes from Prim.

@jgarte
Copy link
Author

jgarte commented Feb 26, 2022

Hi,

Thanks for the advice! Does this requires that change in purescript-prelude?

@JordanMartinez
Copy link
Contributor

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants