purescript-deprecated/purescript-proxy

Module Type.Proxy has been defined multiple times

srghma opened this issue · 2 comments

srghma commented

with purs 14

let upstream =
      https://github.com/purescript/package-sets/releases/download/psc-0.13.8-20201021/packages.dhall sha256:55ebdbda1bd6ede4d5307fbc1ef19988c80271b4225d833c8d6fb9b6fb1aa6d8

in  upstream
  with metadata.version = "v0.14.0-rc3"
  --
  with spec.repo = "https://github.com/instateam/purescript-spec.git"
  with spec.version = "master"
  --
  with strings.repo = "https://github.com/instateam/purescript-strings.git"
  with strings.version = "unix-parenthesis"
  --
  with tuples.repo = "https://github.com/srghma/purescript-tuples.git"
  with tuples.version = "master"
  --
  with unfoldable.repo = "https://github.com/purescript/purescript-unfoldable.git"
  with unfoldable.version = "master"
  --
  with foldable-traversable.version = "master"
  with prelude.version = "master"
  with proxy.version = "master"

[info] Installing 1 dependencies.
[info] Searching for packages cache metadata..
[info] Recent packages cache metadata found, using it..
[info] Installing "proxy"
[info] Installation complete.
Error found:
at .spago/prelude/master/src/Type/Proxy.purs:49:1 - 49:24 (line 49, column 1 - line 49, column 24)

  Module Type.Proxy has been defined multiple times


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

This repo is being deprecated in the updates to v0.14.0 as its content was migrated into prelude. You'll need to drop the proxy dependency on all packages that use it.