copilot-bluespec: Tests failing on hackage

[ivanperez-keera]

The tests of copilot-bluespec fail on hackage: https://hackage.haskell.org/package/copilot-bluespec-4.5/reports/1

Do we know why? Is this due to a dependency on a tool not available on hackage?

[ivanperez-keera]

Tagging @RyanGlScott for awareness.

[RyanGlScott]

The copilot-bluespec tests require bsc (the Bluespec compiler) to be available so that it can compile and simulate the generated Bluespec code.

[ivanperez-keera]

Is this something we can add as a tool dependency in the cabal package? Or would we need to request that it be on hackage for these tests to pass?

[RyanGlScott]

No, not really—cabal has no knowledge of the bsc tool.

If having the tests fail on Hackage is a concern, then we could mark the test suite as non-buildable by default.

[ivanperez-keera]

Isn't bluespec written in Haskell? If we asked the Bluespec team to put it on hackage, would we be able to depend on it?

[RyanGlScott]

bsc is indeed written in Haskell, but my understanding is that the bsc build system is somewhat non-trivial. For starters, they invoke ghc directly on .hs files instead of using .cabal. I think getting things into a state where it could be put into a .cabal file and uploaded to Hackage would take some effort. (See also B-Lang-org/bsc#546, which requests that specific parts of bsc that language-bluespec makes use of be split into individual libraries.)