A escolha de transporte HTTP do Cabal muda onde ficam as configurações de proxy
cabal-install pode usar um downloader externo. O comportamento de proxy suportado passa então a depender desse transporte escolhido e do ambiente do processo.
Um problema de proxy no cabal-install pode ser uma questão sobre o transporte HTTP escolhido. O Cabal documenta uma escolha de transporte, e um downloader externo curl ou Wget traz consigo a interface de proxy dessa ferramenta.
Inspecione a versão do Cabal instalada e o transporte ativo antes de procurar um comutador --no-proxy universal. Depois configure o pedido através do ambiente ou das opções documentadas do downloader escolhido. Para origens de pacotes públicas alcançadas através de um intermediário HTTP público permitido, a lista de proxies HTTP oferece candidatos de ponto final.
Não coloque uma instrução de shell export http_proxy=... no ficheiro de configuração do Cabal. Esse ficheiro tem a sua própria sintaxe; não é executado como o shell do seu terminal.
Mantenha também separados os endereços do repositório e do proxy. Mudar o repositório de pacotes seleciona outra origem de pacotes. Escolher um proxy de reencaminhamento altera o caminho de rede usado para chegar a uma origem.
Se um wrapper lançar o downloader, inspecione o ambiente real desse processo. Uma variável mostrada num terminal não relacionado é uma prova fraca sobre um serviço de compilação. Preserve a escolha de transporte num relatório de falha, para que a pessoa seguinte saiba que comportamento de proxy do cliente precisa de ser investigado.