Type error building on MacOS

[rubysolo]

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]

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.

• https://github.com/lettier/lambda-lantern/issues/3
• https://github.com/lettier/3d-game-shaders-for-beginners/issues/4#issuecomment-498471764

:+1: