Skip to content

Type error building on MacOS #4

Open
@rubysolo

Description

@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?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions