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

Type error building on MacOS #4

Open
rubysolo opened this issue Jun 12, 2019 · 1 comment
Open

Type error building on MacOS #4

rubysolo opened this issue Jun 12, 2019 · 1 comment

Comments

@rubysolo
Copy link

Hi, I'm trying to build Lambda Lantern on Mojave (10.14.5) following the instructions in the readme. When I get to the make step, I get some type warnings, and then it fails with:

Error found:
in module Data.Set.NonEmpty
at .psc-package/lambda-lantern/ordered-collections/v1.4.0/src/Data/Set/NonEmpty.purs:54:16 - 54:89 (line 54, column 16 - line 54, column 89)

  Could not match type

    NonEmptyList a0

  with type

    m1


while checking that type forall a. NonEmptySet a -> NonEmptyList a
  is at least as general as type NonEmptySet a0 -> m1
while checking that expression (compose (foldMap1 f)) toUnfoldable1
  has type NonEmptySet a0 -> m1
in value declaration foldable1NonEmptySet

where m1 is a rigid type variable
        bound at (line 0, column 0 - line 0, column 0)
      a0 is a rigid type variable
        bound at (line 0, column 0 - line 0, column 0)

See https://github.com/purescript/documentation/blob/master/errors/TypesDoNotUnify.md for more information,
or to contribute content related to this error.


make: *** [corefn] Error 1

One difference in my environment is that I am using nodenv rather than nvm to manage Node versions, but I did make sure to try with version 10.8.0, as specified in the project's .nvmrc. Did I mess up an earlier step?

@lettier
Copy link
Owner

lettier commented Jun 13, 2019

Hello @rubysolo

I updated the project to the latest PureScript version, number 0.13.0. I made sure to lock down the dependencies, in the instructions, this time.

Remove the Lambda Lantern directory and start from scratch.
Here's the updated instructions.

Note that you may need to perform some unrelated but needed steps to build Panda3D for Mojave.

Here's some related issues for building Panda3D for macOS and Mojave.

👍

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