Update package sets

[Ebmtranceboy]

{
  "packages": {
    "sparse-polynomials": "3.0.1",
    "sparse-matrices": "2.0.1",
    "geometria": "2.0.1",
    "dual-numbers": "1.0.3",
    "numberfield": "0.2.1"
  }
}

[pacchettibotti]

Attempting to build package set update.

[pacchettibotti]

The package set produced from this suggested update does not compile:

Compilation failed with errors: Error 1 of 1

File: packages/geojson@0.0.5/src/Data/Geometry/Geometry.purs

Message:

Module Data.Geometry has been defined multiple times

Position: 1:1 - 20:34

Error details: https://github.com/purescript/documentation/blob/master/errors/DuplicateModule.md

[thomashoneyman]

{
  "packages": {
    "sparse-polynomials": "3.0.1",
    "sparse-matrices": "2.0.1",
    "geometria": "2.0.1",
    "dual-numbers": "1.0.3",
    "numberfield": "0.2.1",
    "geometry-plane": null,
  }
}

[pacchettibotti]

Attempting to build package set update.

[pacchettibotti]

The package set produced from this suggested update does not compile:

Compilation failed with errors: Error 1 of 1

File: packages/geojson@0.0.5/src/Data/Geometry/Geometry.purs

Message:

Module Data.Geometry has been defined multiple times

Position: 1:1 - 20:34

Error details: https://github.com/purescript/documentation/blob/master/errors/DuplicateModule.md

[thomashoneyman]

{
  "packages": {
    "geometry-plane": null
  }
}

[pacchettibotti]

Attempting to build package set update.

[pacchettibotti]

Built and released a new package set! Now mirroring to the package-sets repo...

[pacchettibotti]

Mirrored a new legacy package set.

[thomashoneyman]

{
  "packages": {
    "sparse-polynomials": "3.0.1",
    "sparse-matrices": "2.0.1",
    "geometria": "2.0.1",
    "dual-numbers": "1.0.3",
    "numberfield": "0.2.1"
  }
}

[pacchettibotti]

Attempting to build package set update.

[pacchettibotti]

The package set produced from this suggested update does not compile:

Compilation failed with errors: Error 1 of 1

File: packages/geojson@0.0.5/src/Data/Geometry/Geometry.purs

Message:

Module Data.Geometry has been defined multiple times

Position: 1:1 - 20:34

Error details: https://github.com/purescript/documentation/blob/master/errors/DuplicateModule.md

[Ebmtranceboy]

Now that geometry-plane is removed from the package-set (thanks for that), I'm clueless about this error. Is there a way to print the origin of conflicting versions of Data.Geometry ?

[thomashoneyman]

Ah, I misread this — geometry-plane doesn’t have a module Data.Geometry. That module comes from the geojson package. Unfortunately in order to remove geojson and allow a new module to use that name we would need the permission of that author. You can otherwise use a different module name.

[Ebmtranceboy]

I guess I misread pacchettibotti's warning too. I get it. Thanks !

[Ebmtranceboy]

{
  "packages": {
    "sparse-polynomials": "3.0.1",
    "sparse-matrices": "2.0.1",
    "geometria": "2.1.0",
    "dual-numbers": "1.0.3",
    "numberfield": "0.2.1"
  }
}

[pacchettibotti]

Attempting to build package set update.

[pacchettibotti]

Built and released a new package set! Now mirroring to the package-sets repo...

[pacchettibotti]

Could not mirror package set 56.1.0 because the tag psc-0.15.15-20240727 already exists.