purescript / documentation

Documentation for the PureScript language, compiler, and tools.
Other
1.03k stars 301 forks source link

Purescript Without Node Example Fails #420

Open jgarte opened 2 years ago

jgarte commented 2 years ago

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 commented 2 years ago

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 commented 2 years ago

Hi,

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

JordanMartinez commented 2 years ago

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.