typelead/eta-hackage

dhall-to-etlas doesn't build due to ansi-terminal dependency

jneira opened this issue · 2 comments

The build of dhall-to-etlas is broken in the dependency resolution step:
Dependencies:

  • optparse-applicative == 0.14.0.0 -> ansi-wl-pprint == 0.6.8.2 > ansi-terminal >=0.4.0 && <0.9
  • dhall ==1.14.0 -> ansi-terminal >=0.6.3.1 && <0.9

The build tries several versions of ansi-terminal <=0.6.2.3 via the first path and fails cause dhall needs >=0.6.31
Then it tries ansi-terminal == 0.8.0.4 (the good one) and i dont see why it is rejected

Full output.txt

Maybe the finall error message is misleading: in the full log there is a

[218] unknown package: etlas-cabal (dependency of dhall-to-etlas-1.1.0.0)

That makes more sense, cause etlas-cabal is not built for eta (yet) but only for ghc

etlas-cabal should already compile with Eta - I added many #ifdef ETA_VERSION's a while back, you can see in the code base. There have been many changes since then, so you may need to add some more. If it works, I have no issues accepting it into etlas-index.