GHC flags taken into account too late

antalsz / hs-to-coq

Convert Haskell source code to Coq source code

https://hs-to-coq.readthedocs.io

MIT License

279 stars 27 forks source link

Open nomeata opened 4 years ago

nomeata commented 4 years ago

It seems that

hs-to-coq --ghc -package-env=hs-to-coq.env

doesn’t work the way it should, but

GHC_ENVIRONMENT=hs-to-coq.env hs-to-coq

does.

Some wild guess: We need to extract the --ghc flags and pass them to the GHC API earlier, maybe in lib/HsToCoq/Util/GHC.hs.

(Not working on that right now, the work-around is fine for now.)