avanov

u/avanov


r/mercury•

Subj. I'm looking for a way to integrate mmc into my exisitng Makefile pipelines that reside separate to mercury source code files. I can provide an absolute path to the location where souce files and modules could be found, but unfortunately the current mmc --help output is not very informative on whether that's possible at all. So far I'm getting this error:

/Users/user/projects/mercury-playground/src/main.m
/nix/store/781y33icqqb7cs02r6qymlk8rbbsis82-mercury-20.06.1/bin/mkinit: error opening output file `Mercury/cs//Users/user/projects/mercury-playground/.local/x86_64-darwin/build/main-exe_init.c.tmp': No such file or directory
make: *** [Makefile:33: /Users/user/projects/mercury-
31

r/haskell•

I don't see a good reason why Hackage should insist that I manually activate -Wall -Werror in my dev environment, as it is my intention to never let new versions of GHC to swallow warnings. It helps early discovery, as it promotes early reports and proper reaction on changes from other people.

http code 400
Error: Invalid package

'ghc-options: -Wall -Werror' makes the package very easy to break with future
GHC versions because new GHC versions often add new warnings. Use just
'ghc-options: -Wall' instead. Alternatively, if you want to use this, make it
conditional based on a Cabal configuration flag (with 'manual: True' and
'default: False') and enable that flag during development
152





r/haskell•

I've tried several options, the one that worked was to manually specify the flag for individual packages, and still I'm not sure if it's the most optimal way of doing it and the official docs are lacking details:

$ cabal v2-configure --constraint="cryptonite +integer-simple -integer-gmp" --constraint="bytestring +integer-simple -integer-gmp"
106

You've reached the end of this feed.