ghc - Online na nuvem

PROGRAMA:

NOME

GHC - o compilador Glasgow Haskell

SINOPSE

ghc [opção|nome do arquivo] ...
gci [opção|nome do arquivo] ...

DESCRIÇÃO

Esta página de manual documenta resumidamente o ghc e gci comandos. Observe que gci ainda não
disponível em todas as arquiteturas. A documentação extensa está disponível em vários outros
formatos incluindo DVI, PostScript e HTML; Veja abaixo.

Cada uma das opções de linha de comando do GHC é classificada como estático or dinâmico. Uma estática
sinalizador só pode ser especificado na linha de comando, enquanto um sinalizador dinâmico também pode ser fornecido
em um pragma OPTIONS em um arquivo de origem ou conjunto a partir da linha de comando do GHCi com: set.

Como regra geral, todas as opções de idioma são dinâmicas, assim como as opções de aviso e
as opções de depuração.

O resto são estáticos, com as notáveis ​​exceções de -v, -cpp, -fasm, -fvia-C, -flvm e
"- # inclui. A seção OPÇÕES lista o status de cada bandeira.

Os sufixos comuns de nomes de arquivo para Haskell são:

.hs Código-fonte Haskell; pré-processar, compilar

.lhs fonte alfabetizada de Haskell; apagado, pré-processar, compilar

.Oi Arquivo de interface; contém informações sobre símbolos exportados

.hc arquivos C intermediários

.x_o maneira x arquivos de objeto; formas comuns são: p, u, s

.x_Oi maneira x arquivos de interface

OPÇÕES

Verbosidade opções
-v -vn -fprint-explicit-foralls -fprint-explicit-species -ferror-spans -Htamanho
-Rghc-timing

Alternative modos of operação
--ajuda,-? --interactive --make -e expr --show-iface -M --supported-extensions,
--supported-languages ​​--show-options --info --version, -V --numeric-version
--print-libdir

Qual fases para corrida
-E -C -S -c -x sufixo

Redirecionando saída
-hcsuf sufixo -hidr dir -hisuf sufixo -o nome do arquivo -odir dir -oi nome do arquivo -osuf
sufixo -stubdir dir -dumpdir dir -diretório de saída dir

Guardando intermediário arquivos
-keep-hc-file ou
-keep-hc-files -keep-llvm-file ou
-keep-llvm-files -keep-s-file ou
-keep-s-files -keep-tmp-files

temporário arquivos
-tmpdir

Descoberta importações
-idir1:dir2:... -eu

Interface lima opções
-ddump-hi -ddump-hi-diffs -ddump-minimal-import --show-iface lima

Recompilação a verificação
-fforce-recomp -fno-force-recomp

Modo interativo opções
-ignore-dot-ghci -ghci-script -fbreak-on-error -fno-break-on-error -fbreak-on-exception
-fno-break-on-exception -fghci-hist-size = n (o padrão é 50) -fprint-evld-with-show
-fno-print-evld-com-show -fprint-bind-resultado -fno-print-bind-resultado
-fno-print-bind-contents -fno-implícito-import-qualificado -interactive-print

PACK
-este-pacote-chave P -pacote P -ocultar todos os pacotes nome -ignore-pacote
nome -pacote-db lima -clear-package-db -no-global-package-db -global-package-db
-no-user-package-db -user-package-db -no-auto-link-packages -trust P -desconfiança P
- desconfiar de tudo

Língua opções
-fcontext-stack =n -fglasgow-exts -fno-glasgow-exts -tuplas firrefutáveis
-fno-irrefutable-tuples -fpackage-trust -ftype-function-depth =n -XAllowAmbíguosTipos
-XNoAllowAmbiguousTypes -XArrows -XNoArrows -XAutoDeriveTypeable -XNoAutoDeriveTypeable
-XBangPatterns -XNoBangPatterns -XBinaryLiterals -XNoBinaryLiterals -XCApiFFI
-XNoCAPIFFI -XConstrainClassMethods -XNoConstainedClassMethods -XConstraintKinds
-XNoConstraintKinds -XCPP -XNoCPP -XDataKinds -XNoDataKinds -XDefaultSignatures
-XNoDefaultSignatures -XDeriveAnyClass -XNoDeriveAnyClass -XDeriveDataTypeable
-XNoDeriveDataTypeable -XDeriveFunctor -XNoDeriveFunctor -XDeriveFoldable
-XNoDeriveFoldable -XDeriveGeneric -XNoDeriveGeneric -XDeriveTraversable
-XNoDeriveTraversable -XDisambiguateRecordFields -XNoDisambiguateRecordFields
-XEmptyCase -XNoEmptyCase -XEmptyDataDecls -XNoEmptyDataDecls
-XExistentialQuantification -XNoExistentialQuantification -XExplicitForAll
-XNoExplicitForAll -XExplicitNamespaces -XNoExplicitNamespaces -XExtendedDefaultRules
-XNoExtendedDefaultRules -XFlexibleContexts -XNoFlexibleContexts -XFlexibleInstances
-XNoFlexibleInstances -XForeignFunctionInterface -XNoForeignFunctionInterface
-XFunctionalDependencies -XNoFunctionalDependencies -XGADTs -XNoGADTs -XGADTSintaxe
-XNoGADTSintaxe -XGeneralizedNewtypeDeriving -XNoGeneralizedNewtypeDeriving -XGenerics
-XNoGenerics -XImplicitParams -XNoImplicitParams -XNoImplicitPrelude -XImplicitPrelude
-XImpredicativeTypes -XNoImpredicativeTypes -XIncoherentInstances -XNoIncoherentInstances
-XInstanceSigs -XNoInstanceSigs -XInterruptibleFFI -XNoInterruptibleFFI -XKindSignatures
-XNoKindSignatures -XLambdaCase -XNoLambdaCase -XLiberalTypeSinônimos
-XNoLiberalTypeSinônimos -XMagicHash -XNoMagicHash -XMonadComprehensions
-XNoMonadComprehensions -XMonoLocalBinds -XNoMonoLocalBinds -XNoMonomorphismRestriction
-XMonomorfismoRestrição -XMultiParamTypeClasses -XNoMultiParamTypeClasses -XMultiWayIf
-XNoMultiWayIf -XNamedFieldPuns -XNoNamedFieldPuns -XNamedWildCards -XNoNamedWildCards
-XNegativeLiterals -XNoNegativeLiterals -XNoNPlusKPatterns -XNPlusKPatterns
-XNullaryTypeClasses -XNoNullaryTypeClasses -XNumDecimals -XNoNumDecimals
-XOverlappingInstances -XNoOverlappingInstances -XOverloadedLists -XNoOverloadedLists
-XOverloadedStrings -XNoOverloadedStrings -XPackageImports -XNoPackageImports
-XParallelArrays -XNoParallelArrays -XParallelListComp -XNoParallelListComp
-XPartialTypeSignatures -XNoPartialTypeSignatures -XPatternGuards -XNoPatternGuards
-XPatternSynonyms -XNoPatternSynonyms -XPolyKinds -XNoPolyKinds -XPolymorphicComponents
-XNoPolymorphicComponents -XPostfixOperators -XNoPostfixOperators -XQuasiQuotes
-XNoQuasiCitações -XRank2Types -XNoRank2Types -XRankNTypes -XNoRankNTypes
-XRebindableSyntax -XNoRebindableSyntax -XRecordWildCards -XNoRecordWildCards
-XRecursiveDo -XNoRecursiveDo -XRelaxedPolyRec -XNoRelaxedPolyRec -XRoleAnnotations
-XNoRoleAnnotations -XSafe -XScopedTypeVariables -XNoScopedTypeVariables
-XStandaloneDeriving -XNoStandaloneDeriving -XTemplateHaskell -XNoTemplateHaskell
-XNoTraditionalRecordSyntax -XTraditionalRecordSyntax -XTransformListComp
-XNoTransformListComp -XTrustworthy -XTupleSections -XNoTupleSections -XTypeFamilies
-XNoTypeFamilies -XTypeOperators -XNoTypeOperators -XTypeSynonymInstances
-XNoTypeSynonymInstances -XUnboxedTuples -XNoUnboxedTuples -XUndecidableInstances
-XNoUndecidableInstances -XUnicodeSyntax -XNoUnicodeSyntax -XUnliftedFFITypes
-XNoUnliftedFFITypes -XUnsafe -XViewPatterns -XNoViewPatterns

Advertências
-W -w -w -Wall -w -Werror -Wwarn -fdefer-type-errors -fno-defer-type-errors
-fdefer-typed-holes -fno-defer-typed-holes -fhelpful-errors -fno-helpful-errors
-fwarn-deprecated-flags -fno-warn-deprecated-flags -fwarn-duplicate-constraints
-fno-warn-duplicate-constraints -fwarn-duplicate-exportações -fno-warn-duplicate-exportações
-fwarn-hi-shadowing -fno-warn-hi-shadowing -fwarn-identidades -fno-warn-identidades
-fwarn-implícito-prelúdio -fno-warn-implícito-prelúdio -fwarn-padrões incompletos
-fno-warn-padrões incompletos -fwarn-incomplete-uni-patterns
-fno-warn-incomplete-uni-patterns -fwarn-incomplete-record-updates
-fno-warn-incomplete-record-updates -fwarn-lazy-unlifted-bindings
-fno-warn-lazy-unlifted-bindings -fwarn-missing-fields -fno-warn-missing-fields
-fwarn-missing-import-lists -fnowarn-missing-import-lists -fwarn-missing-methods
-fno-warn-missing-methods -fwarn-missing-signatures -fno-warn-missing-signatures
-fwarn-ausente-exportado-sigs -fno-warn-ausente-exportado-sigs -fwarn-missing-local-sigs
-fno-warn-missing-local-sigs -fwarn-monomorphism-restrição
-fno-warn-monomorphism-restrição -fwarn-name-shadowing -fno-warn-name-shadowing
-fwarn-órfãos, -fwarn-auto-órfãos -fno-warn-órfãos, -fno-warn-auto-órfãos
-fwarn-overlapping-patterns -fno-warn-overlapping-patterns -fwarn-tabs -fno-warn-tabs
-fwarn-type-defaults -fno-warn-type-defaults -fwarn-unrecognized-pragmas
-fno-warn-unrecognized-pragmas -fwarn-unticked-promotion-constructors
-fno-warn-desmarcado-promovido-construtores -fwarn-unused-binds -fno-warn-unused-binds
-fwarn-não usado-importações -fno-warn-não-usado-importações -fwarn-não-usado-correspondências
-fno-warn-unused-Matches -fwarn-unused-do-bind -fno-warn-unused-do-bind
-fwarn-wrong-do-bind -fno-warn-wrong-do-bind -fwarn-unsafe -fno-warn-inseguro -fwarn-safe
-fno-warn-safe -fwarn-trustworthy-safe -fno-warn-safe -fwarn-warnings-deprecations
-fno-warn-warnings-deprecations -fwarn-amp -fno-warn-amp -fwarn-typed-holes
-fno-warn-typed-holes -fno-warn-partial-type-signatures -fno-warn-partial-type-signatures
-fwarn-derivando-digitável -fno-warn-derivando-digitável

Optimização níveis
-O0 -O -O ou -O1 -O0 -O2 -O0 -Odph

Individual otimizações
-fcall-arity -fno-call-arity -fcase-merge -fno-case-merge -fcmm-elim-common-blocks
-fno-cmm-elim-common-blocks -fcmm-sink -fno-cmm-sink -fcpr-off -fcse -fno-cse
-fdicts-barato -fno-dicts-barato -fdicts-strict -fno-dicts-strict -fdmd-tx-dict-sel
-fno-dmd-tx-dict-sel -fdo-eta-redução -fno-do-eta-redução
-fdo-lambda-eta-expansion -fno-do-lambda-eta-expansion -feager-blackholing
-fenable-rewrite-rules -fno-enable-rewrite-rules -fexcess-precision -fno-excess-precision
-fexpose-all-unfoldings -fno-expose-all-unfoldings -float-in -fno-float-in
-fun-preguiça -fno-full-preguiça -ffun-to-thunk -fno-fun-to-thunk -fignore-afirma
-fno-ignore-asserts -fignore-interface-pragmas -fno-ignore-interface-pragmas
-flate-dmd-anal -fno-late-dmd-anal -fliberate-case -fliberate-case-threshold =n
-fno-liberar-caso-limiar -floopificação -fno-loopificação
-fmax-inline-alloc-size =n
-fmax-inline-memcpy-insns =n

-fmax-inline-memset-insns =n
-fmax-relevant-binds = n -fno-max-relevant-binds
-fmax-simplifier-iterations = n -fmax-worker-args = n -fno-opt-coercion -fno-pre-inlining
-fno-state-hack -fomit-interface-pragmas -fno-omit-interface-pragmas -fomit-yields
-fno-omitir-rendimentos -fpedantic-bottoms -fno-pedantic-bottoms -fregs-graph -fno-regs-graph
-fregs-iterative -fno-regs-iterative -fsimplifier-phase = n -fsimpl-tick-factor = n
-fspec-constr -fno-spec-constr -fspec-constr-count =n -fno-spec-constr-contagem
-fspec-constr-threshold =n -fno-spec-constr-threshold -fspecialise -fno-specialize
-fstatic-argumento-transformação -fno-estático-argumento-transformação -fstrictness
-fno-estrito -fstrito-antes =n -funbox-campos pequenos-estritos
-fno-unbox-small-strict-fields -funbox-strict-fields -fno-unbox-strict-fields
-funfolding-creation-threshold = n -funfolding-dict-discount = n -funfolding-fun-discount = n
-funfolding-keeness-factor = n -funfolding-use-threshold = n -fvectorisation-Avoidance
-fno-vectorisation-Avoidance -fvectorise -fno-vectorise

Perfilamento opções
-prof -fprof-auto -fno-prof-auto -fprof-auto-top -fno-prof-auto -fprof-auto-exportado
-fno-prof-auto -fprof-cafs -fno-prof-cafs -fno-prof-contagem-entradas -fprof-contagem-entradas
-ticky

Agenda cobertura opções
-fhpc -hpcdir diretório

Haskell pré-processador opções
-F

C pré-processador opções
-cpp -Dsímbolo=valor -U-Usímbolo -Idir

Code geração opções
-fasm -fllvm -fno-code -fwrite-interface -fbyte-code -fobject-code

Linkagem opções
-shared -staticlib -fPIC -dynamic -dynamic-too -dyno -dynosuf -dynload -framework
nome -caminho da estrutura nome -llib -Ldir -main-is --mk-dll -no-hs-main -rtsopts,
-rtsopts = {nenhum, algum, tudo} -with-rtsopts = opts -no-link -split-objs -static -threaded
-debug -ticky -eventlog -fno-gen-manifest -fno-embed-manifest -fno-shared-implib
-dylib-nome da instalação caminho -rdinâmica

Plugin opções
-fplugin =módulo -fplugin-opt =módulo: args

substituindo fases
-pgmL cmd -pgmP cmd -pgmc cmd -pgmlo cmd -pgmlc cmd -pgms cmd -pgma cmd -pgml cmd
-pgmdll cmd -pgmF cmd -pgmwindres cmd -pgmlibtool cmd -pgmreadelf cmd

Forçando opções para particular fases
-optL opção -optP opção -optF opção -opção opção -optlo opção -optlc opção
-opta opção -optl opção -optdll opção -optwindres opção

Específico da plataforma opções
-msse2

Compilador depuração opções
-dcore-lint -ddump-para-arquivo -ddump-asm -ddump-bcos -ddump-cmm -ddump-core-stats
-ddump-cse -ddump-deriv -ddump-ds -ddump-estrangeiro -ddump-hpc -ddump-inlinings
-ddump-llvm -ddump-ocorre-anal -ddump-opt-cmm -ddump-parsed -ddump-prep -ddump-rn
-ddump-rule-disparos -ddump-rule-rewrites -ddump-rules -ddump-vect -ddump-simpl
-ddump-simpl-iterações -ddump-spec -ddump-splices -ddump-stg -ddump-stranal
-ddump-strsigs -ddump-tc -dth-dec-file -ddump-types -ddump-worker-wrapper
-ddump-if-trace -ddump-tc-trace -ddump-vt-trace -ddump-rn-trace -ddump-rn-stats
-ddump-simpl-stats -dno-debug-output -dppr-debug -dppr-user-length -dppr-colsNNN
-dppr-case-as-let -dsuppress-all -dsuppress-uniques -dsuppress-idinfo
-dsuppress-module-prefixes -dsuppress-type-signatures -dsuppress-type-applications
-dsuppress-coercions -dsource-stats -dcmm-lint -dstg-lint -dstg-stats
-dverbose-core2core -dverbose-stg2stg -dshow-passes -dfaststring-stats -frule-check

misc compilador opções
-jN -fno-hi-version-check -fhistory-size -fno-ghci-history -fno-ghci-sandbox

VERBOSIDADE OPÇÕES

-v modo detalhado (equivalente a -v3)
[dinâmico]

-vn definir nível de verbosidade
[dinâmico]

-fprint-explícito-foralls
imprimir quantificação forall explícita em tipos
[dinâmico]

-fprint-explicit-species
imprimir foralls de tipo explícito e argumentos de tipo em tipos
[dinâmico]

- vãos de ferro
saída de amplitude total em mensagens de erro
[dinâmico]

-Htamanho Defina o tamanho mínimo de heap para tamanho
[dinâmico]

-Rghc-timing
Resuma as estatísticas de tempo para GHC (igual a + RTS -tstderr)
[dinâmico]

ALTERNATIVA MODOS OF OPERAÇÃO

--Socorro,-?
Disply ajuda
[modo]

--interativo
Modo interativo - normalmente usado apenas executando ghci; veja para detalhes.
[modo]

--faço Construa um programa Haskell de vários módulos, descobrindo automaticamente as dependências.
Provavelmente será muito mais fácil e rápido do que usar make; veja para detalhes ..
[modo]

-e expr
Avaliação expr; veja para detalhes.
[modo]

--show-iface
Exibe o conteúdo de um arquivo de interface.
[modo]

-M Gerar informações de dependência adequadas para uso em um Makefile; veja para detalhes.
[modo]

--extensões-suportadas, --idiomas suportados
exibir as extensões de idioma com suporte
[modo]

--show-opções
exibe as opções de linha de comando suportadas
[modo]

--informações exibir informações sobre o compilador
[modo]

--versão, -V
exibir versão GHC
[modo]

--numeric-version
exibir versão GHC (apenas numérico)
[modo]

--print-libdir
exibir diretório da biblioteca GHC
[modo]

QUAL FASES TO CORRE

-E Pare após o pré-processamento (arquivo .hspp)
[modo]

-C Pare após gerar C (arquivo .hc)
[modo]

-S Pare após gerar a montagem (arquivo .s)
[modo]

-c Pare após gerar o arquivo de objeto (.o)
[modo]

-x sufixo
Substituir o comportamento padrão dos arquivos de origem
[dinâmico]

REDIRECIONANDO SAÍDA

-hcsuf sufixo
defina o sufixo a ser usado para arquivos C intermediários
[dinâmico]

-hidr dir
definir diretório para arquivos de interface
[dinâmico]

-hisuf sufixo
defina o sufixo a ser usado para arquivos de interface
[dinâmico]

-o nome do arquivo
definir o nome do arquivo de saída
[dinâmico]

-odir dir
definir diretório para arquivos objeto
[dinâmico]

-oi nome do arquivo
definir o nome do arquivo no qual colocar a interface
[dinâmico]

-osuf sufixo
definir o sufixo do arquivo de saída
[dinâmico]

-stubdir dir
redirecionar arquivos stub FFI
[dinâmico]

-dumpdir dir
redirecionar arquivos de despejo
[dinâmico]

-diretório de saída dir
definir diretório de saída
[dinâmico]

GUARDANDO INTERMEDIÁRIO ARQUIVOS

-manter-hc-arquivo or
-keep-hc-files retém arquivos .hc intermediários
[dinâmico]

-manter arquivo llvm or
-keep-llvm-files retém arquivos LLVM intermediários .ll
[dinâmico]

-manter-s-arquivo or
-manter-s-arquivos retém arquivos intermediários .s
[dinâmico]

-manter arquivos tmp
retém todos os arquivos temporários intermediários
[dinâmico]

TEMPORÁRIO ARQUIVOS

-tmpdir
definir o diretório para arquivos temporários
[dinâmico]

ENCONTRANDO IMPORTAÇÕES

-idir1:dir2: ...
adicionar dir, dir2, etc. para importar o caminho
[dinâmico /: definir]

-i Esvazie a lista de diretórios de importação
[dinâmico /: definir]

INTERFACE ARQUIVO OPÇÕES

-dump-oi
Despeje a nova interface para stdout
[dinâmico]

-ddump-oi-diffs
Mostre as diferenças em relação à interface antiga
[dinâmico]

-ddump-minimal-import
Despeje um conjunto mínimo de importações
[dinâmico]

--show-iface lima
Ver .
[]

RECOMPILAÇÃO VERIFICANDO

-fforce-recomp
Desative a verificação de recompilação. Isso está implícito em qualquer -ddump-X opção quando
compilar um único arquivo (ou seja, ao usar -c).
[dinâmico]

MODO INTERATIVO OPÇÕES

-ignore-ponto-ghci
Desativar leitura de arquivos .ghci
[dinâmico]

-ghci-script
Leia arquivos .ghci adicionais
[dinâmico]

-fbreak em caso de erro
Interromper exceções e erros não detectados
[dinâmico]

-fbreak-on-exceção
Quebre em qualquer exceção lançada
[dinâmico]

-fghci-hist-size = n
Defina o número de entradas que o GHCi mantém para: histórico
[dinâmico]

-fprint-evld-com-show
Habilite o uso de Mostrar instâncias em: imprimir
[dinâmico]

-fprint-bind-resultado
Ativar impressão de resultados de encadernação em GHCi
[dinâmico]

-fno-print-bind-conteúdo
Desligue a impressão de conteúdo de encadernação em GHCi
[dinâmico]

-fno-implícito-import-qualificado
Desative a importação qualificada implícita de tudo no GHCi
[dinâmico]

-impressão interativa
Selecione a função a ser usada para imprimir expressões avaliadas no GHCi
[dinâmico]

KITS

-este-pacote-chave P
Compile para fazer parte do pacote P
[dinâmico]

-pacote P
Expor pacote P
[dinâmico /: definir]

-ocultar todos os pacotes
Ocultar todos os pacotes por padrão
[dinâmico]

-cobrir pacote nome
Esconder o pacote P
[dinâmico /: definir]

-ignore-pacote nome
Ignorar pacote P
[dinâmico /: definir]

-pacote-db lima
Adicionar lima para a pilha de banco de dados do pacote.
[dinâmico]

-clear-pacote-db
Limpe a pilha de banco de dados do pacote.
[dinâmico]

-no-global-package-db
Remova o pacote global db da pilha.
[dinâmico]

-global-pacote-db
Adicione o pacote global db à pilha.
[dinâmico]

-no-user-package-db
Remova o pacote db do usuário da pilha.
[dinâmico]

-user-package-db
Adicione o banco de dados do pacote do usuário à pilha.
[dinâmico]

-no-auto-link-packages
Não vincule automaticamente os pacotes base e rts.
[dinâmico]

-Confiar em P
Expor pacote P e configurá-lo para ser confiável
[dinâmico /: definir]

-desconfiança P
Expor pacote P e configurá-lo para ser desconfiado
[dinâmico /: definir]

- desconfiar de tudo
Desconfie de todos os pacotes por padrão
[dinâmico /: definir]

IDIOMA OPÇÕES

-fcontext-stack =n
defina o limite para redução de contexto de classe de tipo. O padrão é 100.
[dinâmico]

-fglasgow-exts
Descontinuada. Habilite a maioria das extensões de idioma; veja exatamente quais.
[dinâmico]

-tuplas irrefutáveis
Tornar a correspondência do padrão da tupla irrefutável
[dinâmico]

-fpackage-confiança
Habilite o requisito de pacote confiável Safe Haskell para módulos confiáveis.
[dinâmico]

-ftype-function-depth =n
defina o limite para reduções de função de tipo. O padrão é 200.
[dinâmico]

-XAllowAmbíguosTipos
Permitir que o usuário escreva tipos ambíguos e o mecanismo de inferência de tipo para inferir
Eles.
[dinâmico]

-XSetas
Habilitar extensão de notação de seta
[dinâmico]

-XAutoDeriveTypeable
A partir do GHC 7.10, essa opção não é necessária e não deve ser usada. Automaticamente
derivar instâncias tipáveis ​​para cada tipo de dados e declaração de classe de tipo. Implica
-XDeriveDataTypeable.
[dinâmico]

-Padrões XBang
Ative padrões de explosão.
[dinâmico]

-XBinaryLiterais
Ative o suporte para literais binários.
[dinâmico]

-XCApiFFI
Habilite a convenção de chamada CAPI.
[dinâmico]

-XConstrainedClassMethods
Habilite métodos de classe restritos.
[dinâmico]

-XConstraintTipos
Permitir uma espécie de restrições.
[dinâmico]

-XCPP Habilite o pré-processador C.
[dinâmico]

-XDataKinds
Habilite a promoção do tipo de dados.
[dinâmico]

-XDefaultAssinaturas
Habilite assinaturas padrão.
[dinâmico]

-XDeriveAnyClass
Habilite a derivação para qualquer classe.
[dinâmico]

-XDeriveDataTypeable
Habilite a derivação para a classe de dados. Implicado por -XAutoDeriveTypeable.
[dinâmico]

-XDeriveFunctor
Habilite a derivação para a classe Functor. Implicado por -XDeriveTraversável.
[dinâmico]

-XDeriveFoldável
Habilite a derivação para a classe Dobrável. Implicado por -XDeriveTraversável.
[dinâmico]

-XDeriveGeneric
Habilite a derivação para a classe Genérica.
[dinâmico]

-XDeriveTraversável
Habilite a derivação para a classe Traversable. Implica -XDeriveFunctor e
-XDeriveFoldável.
[dinâmico]

-XDisambiguateRecordFields
Habilite a desambiguação do campo de registro. Implicado por -XRecordWildCards.
[dinâmico]

-XEmptyCase
Permitir alternativas de caixa vazia.
[dinâmico]

-XEmptyDataDecls
Habilite declarações de dados vazios.
[dinâmico]

-XQuantificaçãoExistencial
Habilite a quantificação existencial.
[dinâmico]

-XExplicitForAll
Habilite a quantificação universal explícita. Implicado por -XScopedTypeVariáveis,
-XLiberalTypeSinônimos, -XRankNTypes e -XQuantificaçãoExistencial.
[dinâmico]

-XExplicitNamespaces
Ative o uso do tipo de palavra-chave para especificar o namespace de entradas nas importações e
exportações (). Implicado por -XTypeOperadores e -XTypeFamílias.
[dinâmico]

-XExtendedDefaultRules
Use as regras padrão estendidas do GHCi em um módulo normal.
[dinâmico]

-XFlexívelContextos
Ative contextos flexíveis. Implicado por -XImplicitParams.
[dinâmico]

-XFlexívelInstâncias
Habilite instâncias flexíveis. Implica -XTypeSynonymInstâncias. Implicado por
-XImplicitParams.
[dinâmico]

-XForeignFunctionInterface
Habilite a interface de função estrangeira.
[dinâmico]

-XDependências Funcionais
Ative dependências funcionais. Implica -XMultiParamTypeClasses.
[dinâmico]

-XGADTs
Habilite tipos de dados algébricos generalizados. Implica -XGADTSsintaxe e -XMonoLocalBinds.
[dinâmico]

-XGADTSsintaxe
Habilite a sintaxe de tipo de dados algébrico generalizado.
[dinâmico]

-XGeneralizadoNovotipoDerivado
Habilite a derivação de newtype.
[dinâmico]

-XGenéricos
Obsoleto, não faz nada. Não permite mais classes genéricas. Veja também o suporte do GHC
para programação genérica.
[dinâmico]

-XImplicitParams
Ative os parâmetros implícitos. Implica -XFlexívelContextos e -XFlexívelInstâncias.
[dinâmico]

-XNoImplicitPrelúdio
Não importe o Prelude implicitamente. Implicado por -XRebindableSintaxe.
[dinâmico]

-XImpredicativosTipos
Habilite tipos impredicativos. Implica -XRankNTypes.
[dinâmico]

-XInstâncias Incoerentes
Habilite instâncias incoerentes. Implica -XOverlappingInstâncias.
[dinâmico]

-XInstanceSigs
Habilite assinaturas de instância.
[dinâmico]

-XInterruptívelFFI
Habilite o FFI interrompível.
[dinâmico]

-XKindAssinaturas
Habilite assinaturas de tipo. Implicado por -XTypeFamílias e -XPolyKinds.
[dinâmico]

-XLambdaCaseName
Habilite expressões de caso lambda.
[dinâmico]

-XLiberalTypeSinônimos
Habilite sinônimos de tipo liberalizado.
[dinâmico]

-XMagicHash
Permitir "#" como um modificador postfix em identificadores.
[dinâmico]

-XMonadCompreensões
Habilite compreensões de mônadas.
[dinâmico]

-XMonoLocalBinds
Ative para não generalizar ligações locais. Implicado por -XTypeFamílias e -XGADTs.
[dinâmico]

-XNoMonomorfismoRestrição
Desative a restrição de monomorfismo.
[dinâmico]

-XMultiParamTypeClasses
Habilite classes de tipo de parâmetros múltiplos. Implicado por -XDependências Funcionais.
[dinâmico]

-XMultiWayIf
Habilite expressões if multi-way.
[dinâmico]

-XNamedFieldPuns
Habilite trocadilhos de registro.
[dinâmico]

-XNamedWildCards
Habilite curingas nomeados.
[dinâmico]

-XNegativeLiterais
Ative o suporte para literais negativos.
[dinâmico]

-XNoNPlusKPatterns
Desative o suporte para padrões n + k.
[dinâmico]

-XNullaryTypeClasses
Obsoleto, não faz nada. classes de tipo nulo (sem parâmetro) agora estão habilitadas usando
-XMultiParamTypeClasses.
[dinâmico]

-XNumDecimais
Ative o suporte para literais inteiros 'fracionários'.
[dinâmico]

-XOverlappingInstâncias
Ative instâncias sobrepostas.
[dinâmico]

-XOverloadedLists
Habilite listas sobrecarregadas.
[dinâmico]

-XOverloadedStrings
Habilite literais de string sobrecarregados.
[dinâmico]

-XPackageImportações
Habilite importações qualificadas de pacote.
[dinâmico]

-XParallelArrays
Habilite matrizes paralelas. Implica -XParallelListComp.
[dinâmico]

-XParallelListComp
Habilite as compreensões de listas paralelas. Implicado por -XParallelArrays.
[dinâmico]

-XPartialTypeAssinaturas
Habilite assinaturas de tipo parcial.
[dinâmico]

-XPatternGuards
Habilite protetores de padrão.
[dinâmico]

-XPatternSinônimos
Habilite sinônimos de padrão.
[dinâmico]

-XPolyKinds
Habilite o polimorfismo de tipo. Implica -XKindAssinaturas.
[dinâmico]

-XComponentes Polimórficos
Habilite componentes polimórficos para construtores de dados.
[dinâmico, sinônimo de -XRankNTypes]

-XPostfixOperadores
Habilite operadores Postfix.
[dinâmico]

-XQuasiCitações
Ative a quasiquotação.
[dinâmico]

-XRank2Tipos
Habilite tipos de classificação 2.
[dinâmico, sinônimo de -XRankNTypes]

-XRankNTypes
Habilite tipos rank-N. Implicado por -XImpredicativosTipos.
[dinâmico]

-XRebindableSintaxe
Empregue sintaxe religável. Implica -XNoImplicitPrelúdio.
[dinâmico]

-XRecordWildCards
Ative o registro de curingas. Implica -XDisambiguateRecordFields.
[dinâmico]

-XRecursivoDo
Ative a notação do (mdo) recursiva.
[dinâmico]

-XRelaxadoPolyRec
(obsoleto) Verificação relaxada para funções polimórficas mutuamente recursivas.
[dinâmico]

-XRoleAnnotações
Ative as anotações de função.
[dinâmico]

-XSeguro Ative o modo de segurança Safe Haskell.
[dinâmico]

-XScopedTypeVariáveis
Habilite variáveis ​​de tipo com escopo léxico.
[dinâmico]

-XDerivação Autônoma
Habilite derivação autônoma.
[dinâmico]

-XTemplate Haskell
Habilite Template Haskell.
[dinâmico]

-XNoTraditionalRecordSyntax
Desative o suporte para sintaxe de registro tradicional (conforme compatível com Haskell 98) C {f =
x}
[dinâmico]

-XTransformListComp
Habilite compreensões de lista generalizadas.
[dinâmico]

-XConfiável
Habilite o modo Confiável Safe Haskell.
[dinâmico]

-XTupleSeções
Habilite as seções de tupla.
[dinâmico]

-XTypeFamílias
Habilite famílias de tipo. Implica -XExplicitNamespaces, -XKindAssinaturas e
-XMonoLocalBinds.
[dinâmico]

-XTypeOperadores
Habilite operadores de tipo. Implica -XExplicitNamespaces.
[dinâmico]

-XTypeSynonymInstâncias
Habilite sinônimos de tipo em cabeças de instância. Implicado por -XFlexívelInstâncias.
[dinâmico]

-XUnboxedTuples
Habilite tuplas não encaixotadas.
[dinâmico]

-XInstâncias Indecidíveis
Habilite instâncias indecidíveis.
[dinâmico]

-XUnicode Sintaxe
Ative a sintaxe Unicode.
[dinâmico]

-XUnliftedFFItypes
Habilite os tipos FFI sem elevação.
[dinâmico]

-XInseguro
Ative o modo Safe Haskell Unsafe.
[dinâmico]

-XViewPadrões
Ative os padrões de visualização.
[dinâmico]

AVISOS

-W habilitar avisos normais
[dinâmico]

-w desabilitar todos os avisos
[dinâmico]

-Parede habilitar quase todos os avisos (detalhes em)
[dinâmico]

-Erro
fazer avisos fatais
[dinâmico]

-Wavisar tornar os avisos não fatais
[dinâmico]

-fdefer-type-erros
Transforme erros de tipo em avisos, adiando o erro até o tempo de execução. Implica
-fdefer-typed-holes.
[dinâmico]

-fdefer-typed-holes
Converta erros de furo digitados em avisos, adiando o erro até o tempo de execução. Implícita
by -fdefer-type-erros. Veja também -buracos digitados por fwarn.
[dinâmico]

-fúteis-erros
Faça sugestões para nomes com grafia incorreta.
[dinâmico]

-fwarn-deprecated-flags
avisar sobre o uso de sinalizadores de linha de comando que estão obsoletos
[dinâmico]

-fwarn-duplicate-restrições
avisar quando uma restrição aparece duplicada em uma assinatura de tipo
[dinâmico]

-fwarn-duplicadas-exportações
avisa quando uma entidade é exportada várias vezes
[dinâmico]

-fwarn-oi-sombreamento
avisa quando um arquivo .hi no diretório atual obscurece uma biblioteca
[dinâmico]

-fwarn-identidades
avisar sobre o uso de conversões numéricas do Prelúdio que provavelmente são a identidade (e
portanto, pode ser omitido)
[dinâmico]

-fwarn-implícito-prelúdio
avisar quando o Prelude for importado implicitamente
[dinâmico]

-fwarn-padrões incompletos
avisar quando uma correspondência de padrão pode falhar
[dinâmico]

-fwarn-incompleto-uni-padrões
avisa quando uma correspondência de padrão em uma expressão lambda ou ligação de padrão pode falhar
[dinâmico]

-fwarn-atualizações de registros incompletos
avisar quando uma atualização de registro pode falhar
[dinâmico]

-fwarn-lazy-unlifted-bindings
(obsoleto) avisa quando uma associação de padrão parece lenta, mas deve ser restrita
[dinâmico]

-fwarn-campos perdidos
avisar quando os campos de um registro não forem inicializados
[dinâmico]

-fwarn-missing-import-lists
avisa quando uma declaração de importação não lista explicitamente todos os nomes trazidos para
escopo
[dinâmico]

-fwarn-missing-métodos
avisar quando os métodos de classe são indefinidos
[dinâmico]

-fwarn-missing-assinaturas
avisar sobre funções de nível superior sem assinaturas
[dinâmico]

-fwarn-ausente-exportado-sigs
avisa sobre funções de nível superior sem assinaturas, apenas se forem exportadas. leva
precedência sobre -fwarn-missing-signatures
[dinâmico]

-fwarn-missing-local-sigs
avisar sobre ligações locais polimórficas sem assinaturas
[dinâmico]

-fwarn-monomorphism-restrição
avisar quando a Restrição de Monomorfismo for aplicada
[dinâmico]

-fwarn-nome-sombreamento
avisar quando os nomes estiverem sombreados
[dinâmico]

-fwarn-órfãos, -fwarn-auto-órfãos
avisa quando o módulo contém declarações de instância órfã ou regras de reescrita
[dinâmico]

-fwarn-padrões sobrepostos
avisar sobre padrões de sobreposição
[dinâmico]

-fwarn-tabs
avisar se há guias no arquivo de origem
[dinâmico]

-fwarn-type-defaults
avisar quando ocorrer inadimplência
[dinâmico]

-fwarn-unrecognized-pragmas
alertam sobre o uso de pragmas que o GHC não reconhece
[dinâmico]

-fwarn-unticked-Promot-constructors
avisar se os construtores promovidos não estiverem marcados
[dinâmico]

-fwarn-ligações não utilizadas
avisar sobre ligações que não são usadas
[dinâmico]

-fwarn-unused-import
avisar sobre importações desnecessárias
[dinâmico]

-fwarn-unused-Matches
avisar sobre variáveis ​​em padrões que não são usados
[dinâmico]

-fwarn-não utilizado-do-bind
avisar sobre vinculações que parecem descartar valores de tipos diferentes de ()
[dinâmico]

-fwarn-wrong-do-bind
avisar sobre ligações que parecem descartar valores monádicos que você deve
em vez disso ligou
[dinâmico]

-fwarn-inseguro
avisa se o módulo que está sendo compilado é considerado inseguro. Deve ser usado para verificar
o status de segurança dos módulos ao usar inferência segura. Funciona em todos os tipos de módulo,
mesmo aqueles que usam modos explícitos de Safe Haskell (como -XConfiável) e então pode ser
costumava fazer com que o compilador verificasse todas as suposições feitas.
[dinâmico]

-fwarn-seguro
avisa se o módulo sendo compilado é considerado seguro. Deve ser usado para verificar
o status de segurança dos módulos ao usar inferência segura. Funciona em todos os tipos de módulo,
mesmo aqueles que usam modos explícitos de Safe Haskell (como -XConfiável) e então pode ser
costumava fazer com que o compilador verificasse todas as suposições feitas.
[dinâmico]

-fwarn-confiável-seguro
avisa se o módulo sendo compilado está marcado como -XConfiável mas poderia ao invés
ser marcado como -XSeguro, um limite mais informativo. Pode ser usado para detectar uma vez que um Seguro
O limite de Haskell pode ser melhorado à medida que as dependências são atualizadas.
[dinâmico]

-fwarn-warnings-depreciações
avisar sobre o uso de funções e tipos que têm avisos ou pragmas obsoletos
[dinâmico]

-fwarn-amp
(descontinuado) avisar sobre definições em conflito com a Proposta do Candidato-Mônada
(AMP)
[dinâmico]

-buracos digitados por fwarn
Reportar avisos quando os erros digitados forem adiados até o tempo de execução. Ver
-fdefer-typed-holes.
[dinâmico]

-fwarn-assinaturas-tipo-parciais
avisar sobre furos em assinaturas de tipo parcial quando -XPartialTypeassinaturas is
ativado. Não aplicável quando -XPartialTypeassinaturas não está habilitado, caso em que
erros são gerados para tais furos. Ver .
[dinâmico]

-fwarn-derivando-tipável
avisar ao encontrar uma solicitação para derivar uma instância da classe Typeable. A partir de GHC
7.10, tais declarações são desnecessárias e são ignoradas pelo compilador porque GHC
tem um solucionador personalizado para eliminar esse tipo de restrição.
[dinâmico]

OTIMIZAÇÃO NÍVEIS

-O0 Desativar otimizações (padrão)
[dinâmico]

-O or -O1
Habilitar otimizações de nível 1
[dinâmico]

-O2 Habilitar otimizações de nível 2
[dinâmico]

-Odph Ativar otimizações de nível 2, definir -fmax-simplifier-iterations = 20 e
-fsimplifier-phase = 3.
[dinâmico]

INDIVIDUAL OTIMIZAÇÕES

-fcall-aridade
Habilite a otimização de call-arity. Implicado por -O.
[dinâmico]

-fcase-mesclar
Ative a mesclagem de caso. Implicado por -O.
[dinâmico]

-fcmm-elim-blocos comuns
Habilite a eliminação de bloco comum Cmm. Implicado por -O.
[dinâmico]

-fcmm-dissipador
Ativar afundamento Cmm. Implicado por -O.
[dinâmico]

-fcpr-desligado
Desligue a análise de RCP no analisador de demanda.
[estático]

-fcse Habilite a eliminação de subexpressão comum. Implicado por -O.
[dinâmico]

-fdicts-barato
Faça expressões com valor de dicionário parecerem baratas para o otimizador.
[dinâmico]

-fdicts-estrito
Torne os dicionários restritos
[dinâmico]

-fdmd-tx-dict-sel

Use um transformador de demanda especial para seletores de dicionário. Sempre habilitado por
padrão.
[dinâmico]

-fdo-eta-redução
Ative a redução eta. Implicado por -O.
[dinâmico]

-fdo-lambda-eta-expansão
Ative a expansão eta lambda. Sempre habilitado por padrão.
[dinâmico]

-feager-blackholing
Ligue blackholing ansioso
[dinâmico]

-regras-reescrita-fenable
Ligue todas as regras de reescrita (incluindo regras geradas por especialização automática
de funções sobrecarregadas). Implicado por -O.
[dinâmico]

-excesso-precisão
Habilitar excesso de precisão intermediária
[dinâmico]

-fexpor-todos-desdobramentos
Exponha todos os desdobramentos, mesmo para funções muito grandes ou recursivas.
[dinâmico]

-flutuando
Ative a transformação flutuante. Implicado por -O.
[dinâmico]

preguiça
Ative a preguiça total (vinculações flutuantes para fora). Implicado por -O.
[dinâmico]

-fun-to-thunk
Permitir que o wrapper do trabalhador converta um encerramento de função em uma conversão se a função
não usa nenhum de seus argumentos. Desligado por padrão.
[dinâmico]

-fignore-afirma
Ignore as afirmações na fonte. Implicado por -O.
[dinâmico]

-fignore-interface-pragmas
Ignore pragmas em arquivos de interface. Implicado por -O0 só.
[dinâmico]

-flate-dmd-anal
Execute a análise de demanda novamente, no final do pipeline de simplificação
[dinâmico]

-fliberado-caso
Ative a transformação de caso liberado. Implicado por -O2.
[dinâmico]

-fliberado-caso-limiar=n
Defina o limite de tamanho para a transformação de caixa livre para n (padrão: 2000)
[dinamis]

-floopificação
Transforme chamadas de cauda auto-recursivas saturadas em saltos locais na geração
conjunto. Implicado por -O.
[dinâmico]

-fmax-inline-aloc-tamanho=n
Defina o tamanho máximo de alocações de array inline para n bytes (padrão: 128). GHC
irá alocar matrizes não fixadas de tamanho estaticamente conhecido no berçário atual
bloquear se eles não forem maiores que n bytes, ignorando o excesso de GC. Este valor deve ser
um pouco menor que o tamanho do bloco (normalmente: 4096).
[dinâmico]

-fmax-inline-memcpy-insns=n

Chamadas memcpy inline se gerassem não mais do que n pseudo instruções
(padrão: 32).
[dinâmico]

-fmax-inline-memset-insns=n

Chamadas memset inline se gerassem não mais do que n pseudo instruções
(padrão: 32).
[dinâmico]

-fmax-relevant-binds = n
Defina o número máximo de ligações a serem exibidas nas mensagens de erro de tipo (padrão 6).
[dinâmico]

-fmax-simplifier-iterations = n
Defina as iterações máximas para o simplificador (padrão 4).
[dinâmico]

-fmax-worker-args = n
Se um trabalhador tiver tantos argumentos, nenhum será mais descompactado (padrão: 10)
[dinâmico]

-fno-opt-coerção
Desligue o otimizador de coerção
[estático]

-fno-pré-inlining
Desligue o pré-inlining
[dinâmico]

-fno-state-hackear
Desative o "hack de estado" em que qualquer lambda com um token de estado do mundo real como
argumento é considerado uma entrada única. Portanto, OK para incorporar as coisas dentro dele.
[estático]

-fomit-interface-pragmas
Não gere pragmas de interface. Implicado por -O0 só.
[dinâmico]

-fomit-rendimentos
Omita as verificações de heap quando nenhuma alocação estiver sendo executada.
[dinâmico]

-fundos pedantes
Faça o GHC ser mais preciso sobre o tratamento do fundo (mas veja também
-fno-state-hackear) Em particular, GHC não irá eta-expandir através de uma expressão case.
[dinâmico]

-fregs-gráfico
Use o alocador de registro de coloração de gráfico para alocação de registro no nativo
gerador de código. Implicado por -O2.
[dinâmico]

-fregs-iterativo
Use o alocador de registro de cores do gráfico coalescente iterativo no código nativo
gerador.
[dinâmico]

-fsimplifier-phase = n
Defina o número de fases para o simplificador (padrão 2). Ignorado com -O0.
[dinâmico]

-fsimpl-tick-factor = n
Defina o fator de porcentagem para tiques simplificadores (padrão 100)
[dinâmico]

-fspec-constr
Ative a transformação SpecConstr. Implicado por -O2.
[dinâmico]

-fspec-constr-contagem=n
Definir para n (padrão: 3) o número máximo de especializações que serão criadas
para qualquer função pela transformação SpecConstr
[dinâmico]

-fspec-constr-limiar=n
Defina o limite de tamanho para a transformação SpecConstr para n (padrão: 2000)
[dinâmico]

-especialização
Ative a especialização de funções sobrecarregadas. Implicado por -O.
[dinâmico]

-fstatic-argument-transformação
Ative a transformação de argumento estático.
[dinâmico]

-restrição
Ative a análise de rigidez. Implicado por -O.
[dinâmico]

-restrição-antes=n
Execute uma análise de rigidez adicional antes da fase de simplificação n
[dinâmico]

-funbox-campos pequenos-estritos
Nivele campos de construtor estritos com uma representação do tamanho de um ponteiro. Implicado por
-O.
[dinâmico]

-funbox-strict-fields
Achatar campos de construtor estritos
[dinâmico]

-funfolding-creation-threshold = n
Ajuste as configurações de desdobramento. Padrão: 750
[dinâmico]

-funfolding-dict-discount = n
Ajuste as configurações de desdobramento. Padrão: 30
[dinâmico]

-funfolding-fun-discount = n
Ajuste as configurações de desdobramento. Padrão: 60
[dinâmico]

-funfolding-keeness-factor = n
Ajuste as configurações de desdobramento. Padrão: 1.5
[dinâmico]

-funfolding-use-threshold = n
Ajuste as configurações de desdobramento. Padrão: 60
[dinâmico]

-fvectorisation-Avoidance
Ative a prevenção de vetorização. Sempre habilitado por padrão.
[dinâmico]

-fvetorizar
Ativar vetorização de paralelismo de dados aninhados
[dinâmico]

PERFIL OPÇÕES

-prof Ativar perfil
[dinâmico]

-fprof-auto
Adicionar SCCs automaticamente a todas as ligações não marcadas INLINE
[dinâmico]

-fprof-auto-top
Adicionar SCCs automaticamente a todas as ligações de nível superior não marcadas INLINE
[dinâmico]

-fprof-auto-exportado
Adicionar SCCs automaticamente a todas as ligações exportadas não marcadas INLINE
[dinâmico]

-fprof-cafs
Adicionar SCCs automaticamente a todos os CAFs
[dinâmico]

-fno-prof-count-entradas
Não colete contagens de entrada
[dinâmico]

-ticky Ativar perfil ticky-ticky
[dinâmico]

PROGRAMA COBERTURA OPÇÕES

-fhpc Ative a instrumentação de cobertura do programa Haskell
[dinâmico]

-hpcdir dir
Diretório para depositar arquivos .mix durante a compilação (o padrão é .hpc)
[dinâmico]

HASKELL PRÉ-PROCESSADOR OPÇÕES

-F Habilite o uso de um pré-processador (definido com -pgmF)
[dinâmico]

C PRÉ-PROCESSADOR OPÇÕES

-cpp Execute o pré-processador C em arquivos de origem Haskell
[dinâmico]

-Dsímbolo=valor
Defina um símbolo no pré-processador C
[dinâmico]

-Usímbolo
Indefinir um símbolo no pré-processador C
[dinâmico]

-Idir Adicionar dir para a lista de pesquisa de diretório para arquivos #include
[dinâmico]

CÓDIGO GERAÇÃO OPÇÕES

-fasm Use o gerador de código nativo
[dinâmico]

-flvm Compilar usando o gerador de código LLVM
[dinâmico]

-fno-código
Omitir geração de código
[dinâmico]

-fwrite-interface
Sempre escreva arquivos de interface
[dinâmico]

-código fbyte
Gerar código de byte
[dinâmico]

-código-fobject
Gerar código-objeto
[dinâmico]

VINCULANDO OPÇÕES

-compartilhado
Gere uma biblioteca compartilhada (em oposição a um executável)
[dinâmico]

-staticlib
Apenas no Darwin / OS X / iOS, gere uma biblioteca estática autônoma (em oposição a um
executável). Esta é a forma usual de compilar para iOS.
[dinâmico]

-fPIC Gerar código independente de posição (quando disponível)
[dinâmico]

-dinâmico
Use bibliotecas Haskell dinâmicas (se disponíveis)
[dinâmico]

-dinâmico-também
Construir arquivos de objetos dinâmicos, bem como arquivos de objetos estáticos durante a compilação
[dinâmico]

-dynão Defina o caminho de saída para os objetos vinculados dinamicamente
[dinâmico]

-dynosuf
Defina o sufixo de saída para arquivos de objetos dinâmicos
[dinâmico]

-dynload
Seleciona um de vários modos para localizar bibliotecas compartilhadas no tempo de execução.
[dinâmico]

-estrutura nome
Apenas no Darwin / OS X / iOS, link na estrutura nome. Esta opção corresponde ao
-estrutura opção para Linker da Apple.
[dinâmico]

-caminho da estrutura nome
Apenas no Darwin / OS X / iOS, adicione dir para a lista de diretórios pesquisados
frameworks. Esta opção corresponde ao -F opção para Linker da Apple.
[dinâmico]

-llib Link na biblioteca lib
[dinâmico]

-Ldir Adicionar dir à lista de diretórios pesquisados ​​por bibliotecas
[dinâmico]

-principal-é
Definir módulo principal e função
[dinâmico]

--mk-dll
Modo de criação de DLL (somente Windows)
[dinâmico]

-não-hs-principal
Não assuma que este programa contém
[dinâmico]

-rtsopts, -rtsopts = {nenhum, algum, todos}
Controle se o comportamento do RTS pode ser ajustado por meio de sinalizadores de linha de comando e o
Variável de ambiente GHCRTS. Usar nenhum significa que nenhum sinalizador RTS pode ser fornecido; alguns meios
apenas um mínimo de opções seguras podem ser fornecidas (o padrão), e todas (ou nenhum argumento
em tudo) significa que todos os sinalizadores RTS são permitidos.
[dinâmico]

-with-rtsopts = opts
Defina as opções RTS padrão para opta.
[dinâmico]

-não-link
Omita a vinculação
[dinâmico]

-split-objs
Dividir objetos (para bibliotecas)
[dinâmico]

-estático
Use bibliotecas Haskell estáticas
[dinâmico]

-thread
Use o tempo de execução encadeado
[dinâmico]

-depurar Use o tempo de execução de depuração
[dinâmico]

-ticky Para vincular, isso simplesmente implica -depurar; Vejo .
[dinâmico]

-registro de eventos
Habilitar rastreamento de eventos em tempo de execução
[dinâmico]

-fno-gen-manifesto
Não gere um arquivo de manifesto (somente Windows)
[dinâmico]

-fno-embed-manifesto
Não incorpore o manifesto no executável (somente Windows)
[dinâmico]

-fno-shared-implib
Não gere uma biblioteca de importação para uma DLL (somente Windows)
[dinâmico]

-dylib-nome da instalação caminho
Defina o nome da instalação (via -install_name passado para o vinculador da Apple), especificando o
caminho completo de instalação do arquivo de biblioteca. Quaisquer bibliotecas ou executáveis ​​vinculados a
mais tarde, ele pegará esse caminho como seu local de pesquisa em tempo de execução para ele. (Darwin / OS
Apenas X)
[dinâmico]

-rdinâmica
Isso instrui o vinculador a adicionar todos os símbolos, não apenas os usados, à dinâmica
tabela de símbolos. Atualmente apenas Linux e Windows / MinGW32. Isso é equivalente a usar
-optl -rdynamic no Linux e -optl -export-all-symbols no Windows.
[dinâmico]

PLUGAR OPÇÕES

-fplugin=módulo
Carrega um plugin exportado por um determinado módulo
[dinâmico]

-fplugin-opt=módulo: args
Fornece argumentos para um módulo de plugin; módulo deve ser especificado com -fplugin
[dinâmico]

SUBSTITUINDO FASES

-pgmL cmd
Use cmd como o pré-processador letrado
[dinâmico]

-pgmP cmd
Use cmd como o pré-processador C (com -cpp apenas)
[dinâmico]

-pgmc cmd
Use cmd como o compilador C
[dinâmico]

-pgmlo cmd
Use cmd como o otimizador LLVM
[dinâmico]

-pgmlc cmd
Use cmd como o compilador LLVM
[dinâmico]

-pgms cmd
Use cmd como o divisor
[dinâmico]

-pgma cmd
Use cmd como o montador
[dinâmico]

-pgml cmd
Use cmd como o vinculador
[dinâmico]

-pgmdll cmd
Use cmd como o gerador de DLL
[dinâmico]

-pgmF cmd
Use cmd como o pré-processador (com -F apenas)
[dinâmico]

-pgmwindres cmd
Use cmd como o programa para incorporar manifestos no Windows.
[dinâmico]

-pgmlibtool cmd
Use cmd como o comando para libtool (com -staticlib só).
[dinâmico]

-pgmreadelf cmd
Use cmd como o comando para readelf (parte do Unix binutils)
[dinâmico]

FORÇANDO OPÇÕES TO PARTICULAR FASES

-optL opção
passar opção para o pré-processador alfabetizado
[dinâmico]

-optP opção
passar opção para cpp (com -cpp apenas)
[dinâmico]

-optF opção
passar opção para o pré-processador personalizado
[dinâmico]

-opção opção
passar opção para o compilador C
[dinâmico]

-optlo opção
passar opção para o otimizador LLVM
[dinâmico]

-optlc opção
passar opção para o compilador LLVM
[dinâmico]

-opta opção
passar opção para o montador
[dinâmico]

-optl opção
passar opção para o vinculador
[dinâmico]

-optdll opção
passar opção para o gerador de DLL
[dinâmico]

-optwindres opção
passar opção para windres.
[dinâmico]

ESPECÍFICO DE PLATAFORMA OPÇÕES

-msse2 (apenas x86) Use SSE2 para ponto flutuante
[dinâmico]

COMPILADOR DEPURAÇÃO OPÇÕES

-dcore-lint
Ative a verificação de integridade interna
[dinâmico]

-ddump para arquivo
Despejar para arquivos em vez de stdout
[dinâmico]

-ddump-asm
Conjunto de despejo
[dinâmico]

-ddump-bcos
Código de byte do intérprete de despejo
[dinâmico]

-ddump-cmm
Despejar C-- saída
[dinâmico]

-ddump-core-stats
Imprima um resumo de uma linha do tamanho do programa Básico no final do
pipeline de otimização
[dinâmico]

-ddump-cse
Saída de despejo de CSE
[dinâmico]

-ddump-deriv
Saída de derivação de despejo
[dinâmico]

-ddump-ds
Saída do desugarer de despejo
[dinâmico]

-ddump-estrangeiro
Despejar tocos de exportação estrangeiros
[dinâmico]

-ddump-hpc
Despejar após instrumentação para cobertura do programa
[dinâmico]

-ddump-inlinings
Despejar informações inlining
[dinâmico]

-ddump-llvm
Despejar o código intermediário LLVM
[dinâmico]

-dump-ocorrer-anal
Saída de análise de ocorrência de despejo
[dinâmico]

-ddump-opt-cmm
Despeje os resultados de C-- para C-- otimizando passes
[dinâmico]

-ddump-analisado
Despejar árvore de análise
[dinâmico]

-ddump-prep
Núcleo preparado para despejo
[dinâmico]

-ddump-rn
Saída do renomeador de despejo
[dinâmico]

-ddump-rule-disparos
Informações de disparo da regra de despejo
[dinâmico]

-ddump-reescritas de regras
Despejar informações detalhadas de disparo de regra
[dinâmico]

-ddump-regras
Regras de despejo
[dinâmico]

-ddump-vecto
Despejar entrada e saída do vetorizador
[dinâmico]

-ddump-simples
Despejar o resultado final do simplificador
[dinâmico]

-ddump-simples-iterações
Despeje a saída de cada iteração do simplificador
[dinâmico]

-ddump-especificação
Saída do especializador de despejo
[dinâmico]

-ddump-emendas
Despeje expressões emendadas TH e o que elas avaliam
[dinâmico]

-ddump-stg
Despejar STG final
[dinâmico]

-ddump-stranal
Saída do analisador de rigidez de despejo
[dinâmico]

-ddump-strsigs
Assinaturas de rigidez de despejo
[dinâmico]

-ddump-tc
Saída do verificador de tipo de despejo
[dinâmico]

-dth-dec-arquivo
Mostrar declarações avaliadas de TH em um arquivo .th.hs
[dinâmico]

-ddump-types
Assinaturas de tipo de despejo
[dinâmico]

-ddump-worker-wrapper
Despejar a saída do worker-wrapper
[dinâmico]

-ddump-se-trace
Arquivos de interface de rastreamento
[dinâmico]

-ddump-tc-trace
Verificador de tipo de rastreamento
[dinâmico]

-ddump-vt-trace
Vetorizador de rastreamento
[dinâmico]

-ddump-rn-trace
Trace renomeador
[dinâmico]

-ddump-rn-estatísticas
Estatísticas do Renamer
[dinâmico]

-ddump-simple-estatísticas
Estatísticas simplificadoras de despejo
[dinâmico]

-dno-debug-saída
Suprimir saída de depuração não solicitada
[estático]

-dppr-depurar
Ative a impressão de depuração (mais detalhado)
[estático]

-dppr-comprimento do usuário
Defina a profundidade para imprimir expressões em mensagens de erro
[dinâmico]

-dppr-colsNNN
Defina a largura da saída de depuração. Por exemplo -dppr-cols200
[dinâmico]

-dppr-case-as-let
Imprima expressões de caso único alternativo conforme permite estritamente.
[dinâmico]

-dsuprimir-tudo
Em core dumps, suprima tudo (exceto os únicos) que podem ser suprimidos.
[dinâmico]

-dsuppress-exclusivos
Suprime a impressão de únicos na saída de depuração (mais fácil de usar diff)
[dinâmico]

-dsuppress-idinfo
Suprime informações estendidas sobre identificadores onde eles estão vinculados
[dinâmico]

-dsuppress-module-prefixos
Suprime a impressão de prefixos de qualificação de módulo
[dinâmico]

-dsuppress-type-assinaturas
Suprimir assinaturas de tipo
[dinâmico]

-dsuppress-type-applications
Suprimir aplicativos de tipo
[dinâmico]

-dsuppress-coertions
Suprime a impressão de coerções em Core dumps para torná-los mais curtos
[dinâmico]

-dsource-estatísticas
Despejar estatísticas de origem do haskell
[dinâmico]

-dcmm-lint
C - passar na verificação de integridade
[dinâmico]

-dstg-lint
STG passa na verificação de integridade
[dinâmico]

-dstg-estatísticas
Despejar estatísticas STG
[dinâmico]

-dverbose-core2core
Mostrar a saída de cada passagem de núcleo a núcleo
[dinâmico]

-dverbose-stg2stg
Mostra a saída de cada passagem de STG para STG
[dinâmico]

-dshow-passes
Imprima o nome de cada passagem à medida que acontece
[dinâmico]

-dfaststring-estatísticas
Mostrar estatísticas para uso rápido de string quando terminar
[dinâmico]

- verificação de frutas
Relatar sites com regras que poderiam ter disparado, mas não dispararam. Aceita um argumento de string.
[dinâmico]

MISC COMPILADOR OPÇÕES

-JN Ao compilar com --make, compilar N módulos em paralelo.
[dinâmico]

-fno-oi-verificação de versão
Não reclame sobre incompatibilidades de arquivo .hi
[dinâmico]

-tamanho histórico
Defina o tamanho do histórico de simplificação
[dinâmico]

-fno-ghci-história
Não use carregar / armazenar o histórico do comando GHCi de / para ghci_history.
[dinâmico]

-fno-ghci-sandbox
Desligue a sandbox GHCi. Os cálculos médios são executados no thread principal, ao invés
do que uma linha bifurcada.
[dinâmico]

Use ghc online usando serviços onworks.net