ghc - Online nel cloud

PROGRAMMA:

NOME

GHC - il compilatore di Glasgow Haskell

SINOSSI

ghc [opzione|Nome del file] ...
ghi [opzione|Nome del file] ...

DESCRIZIONE

Questa pagina di manuale documenta brevemente il ghc ed ghi comandi. Notare che ghi non è ancora
disponibile su tutte le architetture. Ampia documentazione è disponibile in vari altri
formati inclusi DVI, PostScript e HTML; vedi sotto.

Ciascuna delle opzioni della riga di comando di GHC è classificata come statico or dinamico. una statica
flag può essere specificato solo sulla riga di comando, mentre può essere fornito anche un flag dinamico
in un pragma OPTIONS in un file sorgente o impostato dalla riga di comando di GHCi con :set.

Come regola generale, tutte le opzioni di lingua sono dinamiche, così come le opzioni di avviso e
le opzioni di debug.

Il resto è statico, con le notevoli eccezioni di -v, -cpp, -fasma, -fvia-C, -fllvme
" -#include . Le sezioni OPTIONS elencano lo stato di ciascun flag.

I suffissi comuni dei nomi di file per Haskell sono:

hs codice sorgente Haskell; preprocessare, compilare

.ss fonte alfabetizzata Haskell; spento, preprocessare, compilare

.Ciao File di interfaccia; contiene informazioni sui simboli esportati

.hc file C intermedi

.x_o modo x file oggetto; modi comuni sono: p, u, s

.x_Ciao modo x file di interfaccia

VERSIONI

Verbosità Opzioni
-v -vn -fprint-explicit-foralls -fprint-explicit-kinds -ferror-spans -HTaglia
-Rghc-temporizzazione

Alternative modalità di of operazione
--aiuto,-? --interactive --make -e expr --show-iface -M --supported-extensions,
--supported-languages ​​--show-options --info --version, -V --numeric-version
--print-libdir

Quale fasi a eseguire il
-E -C -S -c -x suffisso

Reindirizzamento produzione
-hcsuf suffisso -hidir dir -hisuf suffisso -o Nome del file -dir dir -Ohi Nome del file -osuf
suffisso -studir dir - discarica dir -dir.output dir

conservazione intermedio file
-keep-hc-file o
-keep-hc-files -keep-llvm-file o
-keep-llvm-files -keep-s-file o
-keep-s-files -keep-tmp-files

Temporaneo file
-tmpdir

Trovare importazioni
-idir1:dir2:... -io

Interfaccia filetto Opzioni
-ddump-hi -ddump-hi-diffs -ddump-minimal-imports --show-iface filetto

Ricompilazione verifica
-fforce-recomp -fno-force-recomp

Modalità interattiva Opzioni
-ignore-punto-ghci -ghci-script -fbreak-on-error -fno-break-on-error -fbreak-on-exception
-fno-break-on-exception -fghci-hist-size=n (il valore predefinito è 50) -fprint-evld-with-show
-fno-print-evld-con-show -fprint-bind-risultato -fno-print-bind-risultato
-fno-print-bind-contents -fno-implicit-import-qualificated -interactive-print

Pack
-questa-pacchetto-chiave P -pacchetto P -nascondi-tutti-pacchetti -nascondi-pacchetto Nome -ignora-pacchetto
Nome -pacchetto-db filetto -pacchetto-clear-db -pacchetto-non-globale-db -pacchetto-globale-db
-pacchetto-nessun-utente-db -pacchetto-utente-db -nessun-pacchetto-auto-link -trust P -diffidenza P
-sfiducia-tutti

Lingua Opzioni
-fstack-contesto=n -fglasgow-exts -fno-glasgow-exts -firrefutable-tuple
-fno-tuple-irrefutabili -fpackage-trust -ftype-function-depth=n -XAllowAmbigueTypes
-XNoAllowAmbiguousTypes -XArrows -XNoArrows -XAutoDeriveTypeable -XNoAutoDeriveTypeable
-XBangPatterns -XNoBangPatterns -XBinaryLiterals -XNoBinaryLiterals -XCApiFFI
-XNoCAPIFFI -XConstraintClassMethods -XNoConstraintClassMethods -XConstraintKinds
-XNoConstraintKinds -XCPP -XNoCPP -XDataKinds -XNoDataKinds -XDefaultSignatures
-XNoDefaultSignatures -XDeriveAnyClass -XNoDeriveAnyClass -XDeriveDataTypeable
-XNoDeriveDataTypeable -XDeriveFunctor -XNoDeriveFunctor -XDeriveFoldable
-XNoDeriveFoldable -XDeriveGeneric -XNoDeriveGeneric -XDeriveTraversable
-XNoDeriveTraversable -XDisambiguateRecordFields -XNoDisambiguateRecordFields
-XVuotoCase -XNoEmptyCase -XVuotoDataDecls -XNoEmptyDataDecls
-XQuantificazioneEsistenziale -XNoQuantificazioneEsistenziale -XExplicitForAll
-XNoExplicitForAll -XExplicitNamespaces -XNoExplicitNamespaces -XExtendedDefaultRules
-XNoExtendedDefaultRules -XFlexibleContexts -XNoFlexibleContexts -XFlexibleInstances
-XNoFlexibleInstances -XForeignFunctionInterface -XNoForeignFunctionInterface
-XFunctionalDependencies -XNoFunctionalDependencies -XGADT -XNoGADT -XGADTSyntax
-XNoGADTSintassi -XGeneralizedNewtypeDeriving -XNoGeneralizedNewtypeDeriving -XGenerics
-XNoGenerics -XImplicitParams -XNoImplicitParams -XNoImplicitPrelude -XImplicitPrelude
-XIImpredicativeTypes -XNoImpredicativeTypes -XIncoherentInstances -XNoIncoherentInstances
-XIstanceSigs -XNoInstanceSigs -XInterruptibleFFI -XNoInterruptibleFFI -XKindSignatures
-XNoKindSignatures -XLambdaCase -XNoLambdaCase -XLiberalTypeSinonimi
-XNoLiberalTypeSinonimi -XMagicHash -XNoMagicHash -XMonadComprehensions
-XNoMonadComprehensions -XMonoLocalBinds -XNoMonoLocalBinds -XNoMonomorphismRestriction
-XMonomorfismoRestrizione -XMultiParamTypeClasses -XNoMultiParamTypeClasses -XMultiWayIf
-XNoMultiWayIf -XNomeFieldPuns -XNoNamedFieldPuns -XNamedWildCards -XNoNamedWildCards
-XNegativeLiterals -XNoNegativeLiterals -XNoNPlusKPatterns -XNPlusKPatterns
-XNullaryTypeClasses -XNoNullaryTypeClasses -XNumDecimals -XNoNumDecimals
-XOverlappingInstances -XNoOverlappingInstances -XOverloadedLists -XNoOverlappingLists
-XOverloadedStrings -XNoOverloadedStrings -XPackageImports -XNoPackageImports
-XParallelArrays -XNoParallelArrays -XParallelListComp -XNoParallelListComp
-XPartialTypeSignatures -XNoPartialTypeSignatures -XPatternGuards -XNoPatternGuards
-XPatternSinonimi -XNoPatternSynonyms -XPolyKinds -XNoPolyKinds -XPolymorphicComponents
-XNoPolymorphicComponents -XPostfixOperators -XNoPostfixOperators -XQuasiQuotes
-XNoQuasiCitazioni -XRank2Types -XNoRank2Types -XRankNTipos -XNoRankNTipos
-XRebindableSyntax -XNoRebindableSyntax -XRecordWildCards -XNoRecordWildCard
-XRecursiveDo -XNoRecursiveDo -XRelaxedPolyRec -XNoRelaxedPolyRec -XRoleAnnotations
-XNoRoleAnnotations -XSafe -XScopedTypeVariables -XNoScopedTypeVariables
-XStandaloneDeriving -XNoStandaloneDeriving -XTemplateHaskell -XNoTemplateHaskell
-XNoTraditionalRecordSyntax -XTraditionalRecordSyntax -XTransformListComp
-XNoTransformListComp -XTaffidabile -XTupleSections -XNoTupleSections -XTypeFamilies
-XNoTypeFamilies -XTypeOperators -XNoTypeOperators -XTypeSynonymInstances
-XNoTypeSynonymInstances -XUnboxedTuples -XNoUnboxedTuples -XUndecidibleInstances
-XNoUndecidibleInstances -XUnicodeSyntax -XNoUnicodeSyntax -XUnliftedFFITTypes
-XNoUnliftedFFITypes -XUnsafe -XViewPatterns -XNoViewPatterns

Avvertenze
-W -w -w -Wall -w -Werror -Wwarn -fdefer-type-errors -fno-defer-type-errors
-fdefer-typed-holes -fno-defer-typed-holes -fhelpful-errors -fno-utile-errori
-fwarn-flags-deprecati -fno-warn-flags-deprecati -fwarn-duplicate-constraints
-fno-avvisa-duplicati-vincoli -fno-avvisa-duplicate-esportazioni -fno-avvisa-duplicate-esportazioni
-fwarn-hi-shadowing -fno-warn-hi-shadowing -fwarn-identità -fno-warn-identità
-fwarn-preludio-implicito -fno-warn-preludio-implicito -fwarn-schemi-incompleti
-fno-warn-patterns-incompleti -fwarn-incomplete-uni-patterns
-fno-warn-incomplete-uni-pattern -fwarn-incomplete-record-updates
-fno-warn-aggiornamenti-record-incompleti -fwarn-lazy-bindings-unlifted
-fno-warn-attacchi-pigri-non sollevati -fwarn-campi-mancanti -fno-warn-campi-mancanti
-fwarn-elenchi-di-importazione-mancante -fnowarn-elenchi-di-importazione-mancanti -fwarn-metodi-mancanti
-fno-warn-metodi-mancanti -fwarn-firme-mancanti -fno-warn-firme-mancanti
-fwarn-sig-esportati-mancanti -fno-warn-sig-sig-esportati-mancanti -fwarn-sig-locali-mancanti
-fno-warn-missing-local-sig -fwarn-monomorfismo-restrizione
-fno-warn-restrizione-monomorfismo -fwarn-name-shadowing -fno-warn-name-shadowing
-fwarn-orfani, -fwarn-auto-orfani -fno-warn-orfani, -fno-warn-auto-orfani
-fwarn-schede-sovrapposte -fno-warn-schede-sovrapposte -fwarn-schede -fno-warn-schede
-fwarn-type-defaults -fno-warn-type-defaults -fwarn-pragma-non riconosciuto
-fno-warn-pragma-non-riconosciuto -fwarn-deselezionato-costruttori-promossi
-fno-warn-unticked-costruttori-promossi -fwarn-bind-inutilizzati -fno-warn-bind-inutilizzati
-fwarn-importazioni-inutilizzate -fno-warn-importazioni-inutilizzate -fwarn-corrispondenze-inutilizzate
-fno-warn-corrispondenze-inutilizzate -fwarn-non-utilizzato-do-bind -fno-warn-non-utilizzato-do-bind
-fwarn-wrong-do-bind -fno-warn-wrong-do-bind -fwarn-unsafe -fno-warn-unsafe -fwarn-safe
-fno-warn-safe -fwarn-trustworthy-safe -fno-warn-safe -fwarn-avvertenze-deprecazioni
-fno-warn-warnings-deprecations -fwarn-amp -fno-warn-amp -fwarn-fori-digitati
-fno-warn-fori-digitati -fwarn-firme-di-tipo-parziale -fno-warn-firme-di-tipo-parziale
-fwarn-derivante-tipizzabile -fno-warn-derivante-tipizzabile

Ottimizzazione livelli
-O0 -O -O o -O1 -O0 -O2 -O0 -Odph

Individuale ottimizzazioni
-fcall-arity -fno-call-arity -fcase-merge -fno-case-merge -fcmm-elim-common-blocks
-fno-cmm-elim-blocchi-comuni -fcmm-sink -fno-cmm-sink -fcpr-off -fcse -fno-cse
-fdicts-cheap -fno-dicts-cheap -fdicts-strict -fno-dicts-strict -fdmd-tx-dict-sel
-fno-dmd-tx-dict-sel -fdo-eta-riduzione -fno-do-eta-riduzione
-fdo-lambda-eta-espansione -fno-do-lambda-eta-espansione -feager-blackholing
-fenable-rewrite-regole -fno-enable-rewrite-regole -fexcess-precision -fno-excess-precision
-fexpose-tutti-unfoldings -fno-espone-tutti-unfoldings -ffloat-in -fno-float-in
-piena-pigrizia -fno-piena-pigrizia -ffun-a-thunk -fno-divertimento-a-thunk -fignore-afferma
-fno-ignora-asserts -fignore-interface-pragmas -fno-ignore-interface-pragmas
-flate-dmd-anal -fno-late-dmd-anal -fliberate-case -fliberate-case-soglia=n
-fno-liberate-soglia-caso -floopification -fno-loopification
-fmax-inline-alloc-dimensione=n
-fmax-inline-memcpy-insns=n

-fmax-inline-memset-insns=n
-fmax-bind-rilevanti=n -fno-max-bind-rilevanti
-fmax-simplifier-iterazioni=n -fmax-worker-args=n -fno-opt-coercion -fno-pre-inlining
-fno-state-hack -fomit-interface-pragmas -fno-omit-interface-pragma -fomit-yields
-fno-omit-rendimenti -ffondi-pedanti -fno-fondi-pedanti -grafico-fregs -fno-grafico-regs
-fregs-iterativo -fno-regs-iterativo -fsimplifier-phases=n -fsimpl-tick-factor=n
-fspec-constr -fno-spec-constr -fspec-constr-count=n -fno-spec-constr-count
-fspec-constr-soglia=n -fno-spec-constr-soglia -fspecialise -fno-specialise
-ftrasformazione-di-argomento-statico -fno-trasformazione-di-argomento-statico -fstrictness
-fno-rigore -frigore-prima=n -funbox-piccoli-campi-rigorosi
-fno-unbox-piccolo-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 -fvettorizzazione-evitamento
-fno-vettorizzazione-evitare -fvectorise -fno-vectorise

profiling Opzioni
-prof -fprof-auto -fno-prof-auto -fprof-auto-top -fno-prof-auto -fprof-auto-esportato
-fno-prof-auto -fprof-cafs -fno-prof-cafs -fno-prof-conta-voci -fprof-conta-voci
-tick

Programma copertura Opzioni
-fhpc -dir hpc

Haskell pre-processore Opzioni
-F

C pre-processore Opzioni
-cpp -Dsimbolo=APPREZZIAMO -U-Usimbolo -Idir

Code ELETTRICA Opzioni
-fasm -fllvm -fno-code -fwrite-interface -fbyte-code -fobject-code

Collegamento Opzioni
-shared -staticlib -fPIC -dynamic -dynamic-too -dyno -dynosuf -dynload -framework
Nome -percorso-quadro Nome -llib -Ldir -main-is --mk-dll -no-hs-main -rtsopts,
-rtsopts={nessuno, alcuni, tutti} -with-rtsopts=opts -no-link -split-objs -static -threaded
-debug -ticky -eventlog -fno-gen-manifest -fno-embed-manifest -fno-shared-implib
-dylib-nome-installazione sentiero -rdinamico

per Redmine Opzioni
-fplugin=modulo -fplugin-opt=modulo: argomenti

Sostituzione fasi
-pgml cmd -pgmp cmd -pgmc cmd -pgml cmd -pgmlc cmd -pgm cmd -pgma cmd -pgml cmd
-pgmdll cmd -pgmF cmd -pgmwindres cmd -pgmlibtool cmd -pgmreadelf cmd

forzatura Opzioni a particolare fasi
-optL opzione -optP opzione -optF opzione -ott opzione -optlo opzione -optlc opzione
-opta opzione -opz opzione -optdll opzione -optwindres opzione

Specifico della piattaforma Opzioni
-msse2

Compiler debug Opzioni
-dcore-lint -ddump-to-file -ddump-asm -ddump-bcos -ddump-cmm -ddump-core-stats
-ddump-cse -ddump-deriv -ddump-ds -ddump-estraneo -ddump-hpc -ddump-inlinings
-ddump-llvm -ddump-occur-anale -ddump-opt-cmm -ddump-parsed -ddump-prep -ddump-rn
-ddump-rule-fires -ddump-rule-rewrites -ddump-rules -ddump-vect -ddump-simpl
-ddump-simpl-iterazioni -ddump-spec -ddump-splices -ddump-stg -ddump-stranal
-ddump-strigs -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-coercizioni -dsource-stats -dcmm-lint -dstg-lint -dstg-stats
-dverbose-core2core -dverbose-stg2stg -dshow-passes -dfaststring-stats -frule-check

Varie compilatore Opzioni
-jN -fno-hi-version-check -fhistory-size -fno-ghci-history -fno-ghci-sandbox

VERBOSITÀ VERSIONI

-v modalità verbosa (equivalente a -v3)
[dinamico]

-vn imposta il livello di verbosità
[dinamico]

-fprint-esplicito-foralls
stampa esplicita pertutta la quantificazione in tipi
[dinamico]

-fprint-tipi-espliciti
stampa forall di tipo espliciti e argomenti di tipo nei tipi
[dinamico]

-ferro-spans
output full span nei messaggi di errore
[dinamico]

-HTaglia Imposta la dimensione minima dell'heap su Taglia
[dinamico]

-Rghc-temporizzazione
Riepiloga le statistiche sui tempi per GHC (uguale a +RTS -tstderr)
[dinamico]

ALTERNATIVA MODALITA ' OF FUNZIONAMENTO

--Aiuto,-?
Mostra aiuto
[modalità]

--interattivo
Modalità interattiva - normalmente utilizzata semplicemente eseguendo ghci; vedere per i dettagli.
[modalità]

--fare Crea un programma Haskell multi-modulo, individuando automaticamente le dipendenze.
È probabile che sia molto più semplice e veloce rispetto all'utilizzo di make; vedi per i dettagli..
[modalità]

-e espr
Valutare espr; vedere per i dettagli.
[modalità]

--mostra-iface
Visualizza il contenuto di un file di interfaccia.
[modalità]

-M Genera informazioni sulle dipendenze adatte all'uso in un Makefile; vedere per i dettagli.
[modalità]

--estensioni-supportate, --lingue-supportate
visualizzare le estensioni di lingua supportate
[modalità]

--mostra-opzioni
visualizza le opzioni della riga di comando supportate
[modalità]

--Informazioni visualizzare le informazioni sul compilatore
[modalità]

--versione, -V
visualizza la versione GHC
[modalità]

--versione-numerica
visualizzare la versione GHC (solo numerica)
[modalità]

--print-libdir
visualizza la directory della libreria GHC
[modalità]

QUALE FASI A CORRERE

-E Interrompi dopo la preelaborazione (file .hspp)
[modalità]

-C Interrompi dopo aver generato C (file .hc)
[modalità]

-S Arresta dopo aver generato l'assieme (file .s)
[modalità]

-c Interrompi dopo aver generato il file oggetto (.o)
[modalità]

-x suffisso
Ignora il comportamento predefinito per i file sorgente
[dinamico]

REINDIRIZZARE USCITA

-hcsuf suffisso
imposta il suffisso da utilizzare per i file C intermedi
[dinamico]

-hidir dir
imposta la directory per i file di interfaccia
[dinamico]

-hisuf suffisso
imposta il suffisso da utilizzare per i file di interfaccia
[dinamico]

-o Nome del file
imposta il nome del file di output
[dinamico]

-dir dir
imposta la directory per i file oggetto
[dinamico]

-Ohi Nome del file
imposta il nome del file in cui inserire l'interfaccia
[dinamico]

-osuf suffisso
imposta il suffisso del file di output
[dinamico]

-studir dir
reindirizzare i file stub FFI
[dinamico]

- discarica dir
reindirizzare i file di dump
[dinamico]

-dir.output dir
imposta la directory di output
[dinamico]

MANTENERE INTERMEDIO FILE

-keep-hc-file or
-keep-hc-file conserva i file .hc intermedi
[dinamico]

-keep-llvm-file or
-keep-llvm-file conserva i file LLVM intermedi .ll
[dinamico]

-keep-s-file or
-keep-s-files conserva i file .s intermedi
[dinamico]

-keep-tmp-file
conserva tutti i file temporanei intermedi
[dinamico]

TEMPORANEO FILE

-tmpdir
imposta la directory per i file temporanei
[dinamico]

RICERCA IMPORTAZIONI

-idir1:dir2: ...
aggiungere dir, dir2, ecc. per importare il percorso
[dinamico/:impostato]

-i Svuota l'elenco delle directory di importazione
[dinamico/:impostato]

INTERFACCIA RISORSE VERSIONI

-ddump-ciao
Scarica la nuova interfaccia su stdout
[dinamico]

-ddump-hi-diff
Mostra le differenze rispetto alla vecchia interfaccia
[dinamico]

-ddump-importazioni minime
Scarica un insieme minimo di importazioni
[dinamico]

--mostra-iface filetto
Vedere .
[]

RICOMPILAZIONE VERIFICA

-fforce-ricomp
Disattiva il controllo della ricompilazione. Questo è implicito in qualsiasi -ddump-X opzione quando
compilando un singolo file (cioè quando si usa -c).
[dinamico]

MODALITÀ INTERATTIVA VERSIONI

-ignora-punto-ghci
Disabilita la lettura dei file .ghci
[dinamico]

-ghi-script
Leggi file .ghci aggiuntivi
[dinamico]

-fbreak-su-errore
Interrompi su eccezioni ed errori non rilevati
[dinamico]

-fbreak-on-Exception
Interrompi su qualsiasi eccezione generata
[dinamico]

-fghci-hist-dimensione=n
Imposta il numero di voci che GHCi conserva per :history
[dinamico]

-fprint-evld-con-show
Abilita l'utilizzo di Mostra istanze in :print
[dinamico]

-fprint-bind-risultato
Attiva la stampa dei risultati di rilegatura in GHCi
[dinamico]

-fno-print-bind-contenuto
Disattiva la stampa dei contenuti di rilegatura in GHCi
[dinamico]

-fno-implicit-import-qualificato
Disattiva l'importazione qualificata implicita di tutto in GHCi
[dinamico]

-stampa-interattiva
Seleziona la funzione da utilizzare per stampare le espressioni valutate in GHCi
[dinamico]

PACCHETTI

-questa-pacchetto-chiave P
Compila per far parte del pacchetto P
[dinamico]

-pacchetto P
Esporre il pacchetto P
[dinamico/:impostato]

-nascondi-tutti-pacchetti
Nascondi tutti i pacchetti per impostazione predefinita
[dinamico]

-nascondi-pacchetto Nome
Nascondi pacchetto P
[dinamico/:impostato]

-ignora-pacchetto Nome
Ignora pacchetto P
[dinamico/:impostato]

-pacchetto-db filetto
Aggiungi filetto allo stack db del pacchetto.
[dinamico]

-pacchetto-clear-db
Cancella lo stack db del pacchetto.
[dinamico]

-no-pacchetto-globale-db
Rimuovere il pacchetto globale db dallo stack.
[dinamico]

-pacchetto-globale-db
Aggiungi il pacchetto globale db allo stack.
[dinamico]

-no-pacchetto-utente-db
Rimuovere il pacchetto db dell'utente dallo stack.
[dinamico]

-pacchetto-utente-db
Aggiungi il pacchetto db dell'utente allo stack.
[dinamico]

-nessun-auto-link-pacchetti
Non collegare automaticamente i pacchetti base e rts.
[dinamico]

-fiducia P
Esporre il pacchetto P e impostalo come attendibile
[dinamico/:impostato]

-diffidenza P
Esporre il pacchetto P e impostalo per essere diffidato
[dinamico/:impostato]

-sfiducia-tutti
Diffida di tutti i pacchetti per impostazione predefinita
[dinamico/:impostato]

LINGUA VERSIONI

-fstack-contesto=n
impostare il limite per la riduzione del contesto della classe di tipo. Il valore predefinito è 100.
[dinamico]

-fglasgow-est
Deprecato. Abilita la maggior parte delle estensioni di lingua; vedere esattamente quali.
[dinamico]

-tuple-confutabili
Rendi inconfutabile la corrispondenza del modello di tuple
[dinamico]

-faffidabilità-del pacchetto
Abilita il requisito del pacchetto affidabile Safe Haskell per i moduli affidabili.
[dinamico]

-ftype-funzione-profondità=n
impostare il limite per le riduzioni delle funzioni di tipo. Il valore predefinito è 200.
[dinamico]

-XAllowAmbigueTypes
Consenti all'utente di scrivere tipi ambigui e al motore di inferenza dei tipi di dedurre
Loro.
[dinamico]

-XFrecce
Abilita estensione notazione freccia
[dinamico]

-XAutoDriveTypeable
A partire da GHC 7.10, questa opzione non è necessaria e non dovrebbe essere utilizzata. Automaticamente
derivare istanze Typeable per ogni tipo di dati e dichiarazione di classe di tipo. Implica
-XDeriveDataTypeable.
[dinamico]

-XBangPattern
Abilita i modelli di botto.
[dinamico]

-XBinaryLiterals
Abilita il supporto per i letterali binari.
[dinamico]

-XCApiFFI
Abilita la convenzione di chiamata CAPI.
[dinamico]

-XMetodi di classe vincolati
Abilita metodi di classe vincolati.
[dinamico]

-XConstraintKinds
Abilita una sorta di vincoli.
[dinamico]

-XCPP Abilita il preprocessore C.
[dinamico]

-XDataKind
Abilita la promozione del tipo di dati.
[dinamico]

-XDefaultFirme
Abilita firme predefinite.
[dinamico]

-XDerivaAnyClass
Abilita la derivazione per qualsiasi classe.
[dinamico]

-XDeriveDataTypeable
Abilita la derivazione per la classe Data. Implicito da -XAutoDriveTypeable.
[dinamico]

-XDerivaFuntore
Abilita la derivazione per la classe Functor. Implicito da -XDerivaTraversabile.
[dinamico]

-XDerivePieghevole
Abilita la derivazione per la classe Foldable. Implicito da -XDerivaTraversabile.
[dinamico]

-XDerivaGeneric
Abilita la derivazione per la classe Generic.
[dinamico]

-XDerivaTraversabile
Abilita la derivazione per la classe Traversable. Implica -XDerivaFuntore ed
-XDerivePieghevole.
[dinamico]

-XDisambigua campi record
Abilita la disambiguazione del campo record. Implicito da -XRecordWildCard.
[dinamico]

-Xcaso vuoto
Consenti alternative case vuote.
[dinamico]

-XEmptyDataDecls
Abilita dichiarazioni di dati vuoti.
[dinamico]

-XQuantificazione esistenziale
Abilita la quantificazione esistenziale.
[dinamico]

-XExplicitForAll
Abilita la quantificazione universale esplicita. Implicito da -VariabiliXScopedType,
-XLiberalTypeSinonyms, -XRankNTipi ed -XQuantificazione esistenziale.
[dinamico]

-XSpazi dei nomi espliciti
Abilita l'uso del tipo di parola chiave per specificare lo spazio dei nomi delle voci nelle importazioni e
esportazioni (). Implicito da -XType Operatori ed -XTypeFamiglie.
[dinamico]

-XRegole predefinite estese
Utilizza le regole predefinite estese di GHCi in un modulo normale.
[dinamico]

-XContesti flessibili
Abilita contesti flessibili. Implicito da -XParams impliciti.
[dinamico]

-XIstanze Flessibili
Abilita istanze flessibili. Implica -XTypeSynonymIstanze. Implicito da
-XParams impliciti.
[dinamico]

-XInterfacciaFunzioneEsteri
Abilita interfaccia funzione esterna.
[dinamico]

-XDipendenze Funzionali
Abilita le dipendenze funzionali. Implica -XMultiParamTypeClasses.
[dinamico]

-XGADT
Abilita tipi di dati algebrici generalizzati. Implica -XGADTSintassi ed -XMonoLocalBinds.
[dinamico]

-XGADTSintassi
Abilita la sintassi del tipo di dati algebrico generalizzato.
[dinamico]

-XGeneralizzatoNuovotipoDerivazione
Abilita la derivazione newtype.
[dinamico]

-XGenerici
Deprecato, non fa nulla. Non abilita più le classi generiche. Vedi anche il supporto di GHC
per la programmazione generica.
[dinamico]

-XParams impliciti
Abilita parametri impliciti. Implica -XContesti flessibili ed -XIstanze Flessibili.
[dinamico]

-XNoPreludio implicito
Non importare implicitamente Prelude. Implicito da -XRebindableSintassi.
[dinamico]

-XItipi Impredicativi
Abilita i tipi impredicativi. Implica -XRankNTipi.
[dinamico]

-XIcoherentInstances
Abilita istanze incoerenti. Implica -XIstanze sovrapposte.
[dinamico]

-XInstanceSig
Abilita le firme dell'istanza.
[dinamico]

-XInterrompibileFFI
Abilita FFI interrompibile.
[dinamico]

-XKindSignatures
Abilita firme gentili. Implicito da -XTypeFamiglie ed -XPolyKinds.
[dinamico]

-XLambdaCaso
Abilita le espressioni lambda-case.
[dinamico]

-XLiberalTypeSinonyms
Abilita sinonimi di tipo liberalizzati.
[dinamico]

-XMagicHash
Consenti "#" come modificatore suffisso sugli identificatori.
[dinamico]

-XMonadComprensioni
Abilita la comprensione della monade.
[dinamico]

-XMonoLocalBinds
Abilita non generalizzare le associazioni locali. Implicito da -XTypeFamiglie ed -XGADT.
[dinamico]

-XNoMonomorfismoRestrizione
Disabilitare la restrizione del monomorfismo.
[dinamico]

-XMultiParamTypeClasses
Abilita classi di tipo multiparametro. Implicito da -XDipendenze Funzionali.
[dinamico]

-XMultiWayIf
Abilita le espressioni if ​​multidirezionali.
[dinamico]

-XNamedFieldPuns
Abilita i giochi di parole sui record.
[dinamico]

-XNamedWildCard
Abilita i caratteri jolly con nome.
[dinamico]

-XLiterali negativi
Abilita il supporto per i letterali negativi.
[dinamico]

-XNoNPlusKPattern
Disabilita il supporto per i modelli n+k.
[dinamico]

-XNullaryTypeClasses
Deprecato, non fa nulla. le classi di tipo nullary (nessun parametro) ora sono abilitate usando
-XMultiParamTypeClasses.
[dinamico]

-XNumDecimali
Abilita il supporto per i letterali interi "frazionari".
[dinamico]

-XIstanze sovrapposte
Abilita istanze sovrapposte.
[dinamico]

-XListe sovraccaricate
Abilita elenchi sovraccarichi.
[dinamico]

-XStringhe sovraccaricate
Abilita stringhe letterali sovraccaricate.
[dinamico]

-XPackageImports
Abilita le importazioni qualificate per i pacchetti.
[dinamico]

-XParallelArray
Abilita array paralleli. Implica -XParallelListComp.
[dinamico]

-XParallelListComp
Abilita la comprensione parallela degli elenchi. Implicito da -XParallelArray.
[dinamico]

-XPartialTypeSignatures
Abilita firme di tipo parziale.
[dinamico]

-XPattern Guards
Abilita le protezioni del modello.
[dinamico]

-XPatternSinonimi
Abilita sinonimi di pattern.
[dinamico]

-XPolyKinds
Abilita il polimorfismo gentile. Implica -XKindSignatures.
[dinamico]

-XComponenti polimorfici
Abilita i componenti polimorfici per i costruttori di dati.
[dinamico, sinonimo di -XRankNTipi]

-XPostfixOperatori
Abilita operatori suffisso.
[dinamico]

-XQuasiCitazioni
Abilita quasicitazione.
[dinamico]

-XRank2Tipi
Abilita i tipi di rango 2.
[dinamico, sinonimo di -XRankNTipi]

-XRankNTipi
Abilita i tipi di rango N. Implicito da -XItipi Impredicativi.
[dinamico]

-XRebindableSintassi
Impiega una sintassi riassociabile. Implica -XNoPreludio implicito.
[dinamico]

-XRecordWildCard
Abilita i caratteri jolly di registrazione. Implica -XDisambigua campi record.
[dinamico]

-X Ricorsivo
Abilita la notazione ricorsiva do (mdo).
[dinamico]

-XRelaxedPolyRec
(deprecato) Controllo rilassato per funzioni polimorfiche reciprocamente ricorsive.
[dinamico]

-XRuoloAnnotazioni
Abilita annotazioni di ruolo.
[dinamico]

-XSicuro Abilita la modalità Safe Haskell Safe.
[dinamico]

-VariabiliXScopedType
Abilita variabili di tipo con ambito lessicale.
[dinamico]

-XStandalone Derivante
Abilita la derivazione autonoma.
[dinamico]

-XTemplateHaskell
Abilita modello Haskell.
[dinamico]

-XNoTraditionalRecordSintassi
Disabilita il supporto per la sintassi di record tradizionale (come supportato da Haskell 98) C {f =
x}
[dinamico]

-XTransformListComp
Abilita la comprensione degli elenchi generalizzata.
[dinamico]

-XTaffidabile
Abilita la modalità Safe Haskell Trustworthy.
[dinamico]

-XTpleSections
Abilita le sezioni di tupla.
[dinamico]

-XTypeFamiglie
Abilita famiglie di tipi. Implica -XSpazi dei nomi espliciti, -XKindSignatures ed
-XMonoLocalBinds.
[dinamico]

-XType Operatori
Abilita operatori di tipo. Implica -XSpazi dei nomi espliciti.
[dinamico]

-XTypeSynonymIstanze
Abilita i sinonimi di tipo nelle intestazioni dell'istanza. Implicito da -XIstanze Flessibili.
[dinamico]

-XTuple Unboxed
Abilita tuple unboxed.
[dinamico]

-XIstanze indecidibili
Abilita istanze indecidibili.
[dinamico]

-XSintassi Unicode
Abilita la sintassi Unicode.
[dinamico]

-XTipiFFITi non sollevati
Abilita i tipi FFI non revocati.
[dinamico]

-XNon sicuro
Abilita la modalità sicura Haskell non sicura.
[dinamico]

-XViewPattern
Abilita i modelli di visualizzazione.
[dinamico]

AVVERTENZE

-W abilita gli avvisi normali
[dinamico]

-w disabilita tutti gli avvisi
[dinamico]

-Parete abilita quasi tutti gli avvisi (dettagli in )
[dinamico]

-Errore
rendere fatali gli avvertimenti
[dinamico]

-Avvertimento rendere gli avvertimenti non fatali
[dinamico]

-fdefer-tipo-errori
Trasforma gli errori di tipo in avvisi, rinviando l'errore fino al runtime. Implica
-fdefer-dattilo-fori.
[dinamico]

-fdefer-dattilo-fori
Converti gli errori dei fori digitati in avvisi, rinviando l'errore fino al momento dell'esecuzione. implicito
by -fdefer-tipo-errori. Vedi anche -fori-digitati-fwarn.
[dinamico]

-difetti-errori
Dai suggerimenti per i nomi errati.
[dinamico]

-fwarn-bandiere-deprecate
avvisa sull'uso di flag della riga di comando che sono deprecati
[dinamico]

-fwarn-vincoli-duplicati
avvisa quando un vincolo appare duplicato in una firma di tipo
[dinamico]

-fwarn-duplicate-export
avvisa quando un'entità viene esportata più volte
[dinamico]

-Fwarn-hi-shadowing
avvisa quando un file .hi nella directory corrente nasconde una libreria
[dinamico]

-fwarn-identità
avvisare sugli usi delle conversioni numeriche di Prelude che sono probabilmente l'identità (e
quindi potrebbe essere omesso)
[dinamico]

-fwarn-preludio-implicito
avvisa quando il Preludio viene importato implicitamente
[dinamico]

-fwarn-schemi-incompleti
avvisa quando una corrispondenza del modello potrebbe fallire
[dinamico]

-fwarn-incomplete-uni-pattern
avvisa quando una corrispondenza di pattern in un'espressione lambda o un'associazione di pattern potrebbe non riuscire
[dinamico]

-fwarn-aggiornamenti-record-incompleti
avvisa quando un aggiornamento del record potrebbe non riuscire
[dinamico]

-fwarn-pigro-attacchi-non sollevati
(deprecato) avvisa quando un'associazione di pattern sembra pigra ma deve essere rigorosa
[dinamico]

-fwarn-campi-mancanti
avvisa quando i campi di un record non sono inizializzati
[dinamico]

-fwarn-elenchi-di-importazione-mancanti
avvisa quando una dichiarazione di importazione non elenca esplicitamente tutti i nomi inseriti
portata
[dinamico]

-fwarn-metodi-mancanti
avvisa quando i metodi di classe non sono definiti
[dinamico]

-fwarn-firme-mancanti
avvisare sulle funzioni di primo livello senza firme
[dinamico]

-fwarn-sig-esportati-mancanti
avvisare delle funzioni di primo livello senza firme, solo se vengono esportate. prende
precedenza su -fwarn-missing-signatures
[dinamico]

-fwarn-missing-local-signs
mettere in guardia sui legami locali polimorfici senza firme
[dinamico]

-fwarn-monomorfismo-restrizione
avvisa quando viene applicata la restrizione del monomorfismo
[dinamico]

-fwarn-nome-shadowing
avvisa quando i nomi sono in ombra
[dinamico]

-fwarn-orfani, -fwarn-auto-orfani
avvisa quando il modulo contiene dichiarazioni di istanze orfane o regole di riscrittura
[dinamico]

-fwarn-schemi-sovrapposti
mettere in guardia sui modelli sovrapposti
[dinamico]

-fwarn-schede
avvisa se ci sono schede nel file sorgente
[dinamico]

-fwarn-type-default
avvisa quando si verifica un'inadempienza
[dinamico]

-fwarn-pragma-non riconosciuti
mettere in guardia sugli usi di pragma che GHC non riconosce
[dinamico]

-fwarn-unticked-promossi-costruttori
avvisa se i costruttori promossi non sono spuntati
[dinamico]

-fwarn-bind-inutilizzati
avvisare di associazioni che non sono utilizzate
[dinamico]

-fwarn-importazioni-inutilizzate
avvertire di importazioni non necessarie
[dinamico]

-fwarn-fiammiferi-inutilizzati
avvisare delle variabili nei pattern che non vengono utilizzati
[dinamico]

-fwarn-unused-do-bind
avvisare di eseguire associazioni che sembrano buttare via valori di tipi diversi da ()
[dinamico]

-fwarn-sbagliato-fare-bind
avvertire di fare associazioni che sembrano buttare via i valori monadici che dovresti
hanno legato invece
[dinamico]

-fwarn-non sicuro
avvisa se il modulo in fase di compilazione è considerato non sicuro. Dovrebbe essere usato per controllare
lo stato di sicurezza dei moduli quando si utilizza l'inferenza sicura. Funziona su tutti i tipi di modulo,
anche quelli che utilizzano modalità esplicite Safe Haskell (come -XTaffidabile) e così può essere
usato per far controllare al compilatore tutte le ipotesi fatte.
[dinamico]

-fwarn-sicuro
avvisa se il modulo in fase di compilazione è considerato sicuro. Dovrebbe essere usato per controllare
lo stato di sicurezza dei moduli quando si utilizza l'inferenza sicura. Funziona su tutti i tipi di modulo,
anche quelli che utilizzano modalità esplicite Safe Haskell (come -XTaffidabile) e così può essere
usato per far controllare al compilatore tutte le ipotesi fatte.
[dinamico]

-fwarn-affidabile-sicuro
avvisa se il modulo in fase di compilazione è contrassegnato come -XTaffidabile ma potrebbe invece
essere contrassegnato come -XSicuro, un limite più informativo. Può essere utilizzato per rilevare una volta una cassaforte
Il limite di Haskell può essere migliorato man mano che le dipendenze vengono aggiornate.
[dinamico]

-fwarn-avvertenze-deprecazioni
avvisare sugli usi di funzioni e tipi che hanno avvertimenti o pragma deprecati
[dinamico]

-Fwarn-amp
(deprecato) mettere in guardia sulle definizioni in conflitto con la Proposta Applicativo-Monad
(AMP)
[dinamico]

-fori-digitati-fwarn
Segnala avvisi quando gli errori di digitazione del foro vengono posticipati fino al runtime. Vedere
-fdefer-dattilo-fori.
[dinamico]

-fwarn-firme-di-tipo-parziale
avvisare dei buchi nelle firme dei caratteri parziali quando -Firme di tipo XParziale is
abilitato. Non applicabile quando -Firme di tipo XParziale non è abilitato, nel qual caso
vengono generati errori per tali fori. Vedere .
[dinamico]

-fwarn-derivante-typeable
avvisa quando si incontra una richiesta per derivare un'istanza della classe Typeable. A partire da GHC
7.10, tali dichiarazioni non sono necessarie e vengono ignorate dal compilatore perché GHC
ha un risolutore personalizzato per scaricare questo tipo di vincolo.
[dinamico]

OTTIMIZZAZIONE LIVELLI

-O0 Disattiva ottimizzazioni (impostazione predefinita)
[dinamico]

-O or -O1
Abilita ottimizzazioni di livello 1
[dinamico]

-O2 Abilita ottimizzazioni di livello 2
[dinamico]

-Odf Abilita ottimizzazioni di livello 2, imposta -fmax-semplificatore-iterazioni=20 ed
-fsemplificatore-fasi=3.
[dinamico]

INDIVIDUALE OTTIMIZZAZIONI

-fcall-arietà
Abilita ottimizzazione call-arity. Implicito da -O.
[dinamico]

-fcase-merge
Abilita l'unione di casi. Implicito da -O.
[dinamico]

-fcmm-elim-blocchi-comuni
Abilita l'eliminazione del blocco comune Cmm. Implicito da -O.
[dinamico]

-fcmm-lavello
Abilita Cmm affondamento. Implicito da -O.
[dinamico]

-fcpr-off
Disattivare l'analisi CPR nell'analizzatore della domanda.
[statico]

-fcse Abilita l'eliminazione delle sottoespressioni comuni. Implicito da -O.
[dinamico]

-fdicts-economico
Fai in modo che le espressioni valutate dal dizionario sembrino economiche per l'ottimizzatore.
[dinamico]

-fdicts-rigoroso
Rendi rigorosi i dizionari
[dinamico]

-fdmd-tx-dict-sel

Utilizzare un trasformatore di domanda speciale per i selettori di dizionario. Sempre abilitato da
predefinito.
[dinamico]

-fdo-eta-riduzione
Abilita la riduzione dell'eta. Implicito da -O.
[dinamico]

-fdo-lambda-eta-espansione
Abilita l'espansione lambda eta. Sempre abilitato per impostazione predefinita.
[dinamico]

-feager-blackhole
Attiva il blackholing desideroso
[dinamico]

-fenable-rewrite-regole
Attiva tutte le regole di riscrittura (incluse le regole generate dalla specializzazione automatica
di funzioni sovraccaricate). Implicito da -O.
[dinamico]

-fexcess-precisione
Abilita precisione intermedia eccessiva
[dinamico]

-fexpose-tutti gli sviluppi
Esporre tutti gli sviluppi, anche per funzioni molto grandi o ricorsive.
[dinamico]

-float-in
Attiva la trasformazione float-in. Implicito da -O.
[dinamico]

-piena-pigrizia
Attiva la pigrizia completa (legami fluttuanti verso l'esterno). Implicito da -O.
[dinamico]

-fun-to-thunk
Consenti a worker-wrapper di convertire una chiusura di funzione in un thunk se la funzione
non usa nessuno dei suoi argomenti. Disattivato per impostazione predefinita.
[dinamico]

-fignore-afferma
Ignora le affermazioni nella fonte. Implicito da -O.
[dinamico]

-fignore-interfaccia-pragma
Ignora i pragma nei file di interfaccia. Implicito da -O0 solo.
[dinamico]

-flate-dmd-anale
Eseguire nuovamente l'analisi della domanda, alla fine della pipeline di semplificazione
[dinamico]

-fliberate-caso
Attiva la trasformazione caso-libera. Implicito da -O2.
[dinamico]

-fliberate-case-soglia=n
Imposta la soglia di dimensione per la trasformazione del caso di liberazione su n (predefinito: 2000)
[dinamica]

-floopificazione
Trasforma le chiamate di coda auto-ricorsive sature in salti locali nel generato
montaggio. Implicito da -O.
[dinamico]

-fmax-inline-alloc-dimensione=n
Imposta la dimensione massima delle allocazioni di array in linea su n byte (predefinito: 128). GHC
allocherà array non bloccati di dimensioni note in modo statico nel vivaio corrente
blocca se non sono più grandi di n byte, ignorando l'overheap di GC. Questo valore dovrebbe essere
un po' più piccolo della dimensione del blocco (tipicamente: 4096).
[dinamico]

-fmax-inline-memcpy-insns=n

Chiamate memcpy in linea se non generano più di n pseudoistruzioni
(predefinito: 32).
[dinamico]

-fmax-inline-memset-insns=n

Chiamate memset in linea se non genererebbero più di n pseudoistruzioni
(predefinito: 32).
[dinamico]

-fmax-legami-rilevanti=n
Imposta il numero massimo di associazioni da visualizzare nei messaggi di errore di tipo (impostazione predefinita 6).
[dinamico]

-fmax-semplificatore-iterazioni=n
Imposta le iterazioni massime per il semplificatore (predefinito 4).
[dinamico]

-fmax-lavoratore-args=n
Se un lavoratore ha così tanti argomenti, nessuno verrà più decompresso (predefinito: 10)
[dinamico]

-fno-opt-coercizione
Disattiva l'ottimizzatore di coercizione
[statico]

-fno-pre-rivestimento
Disattiva il pre-inlining
[dinamico]

-fno-stato-hack
Disattiva lo "stato hack" per cui qualsiasi lambda con un token di stato reale come
l'argomento è considerato a ingresso singolo. Quindi OK per incorporare le cose al suo interno.
[statico]

-fomit-interfaccia-pragma
Non generare pragma di interfaccia. Implicito da -O0 solo.
[dinamico]

-fomit-rendimenti
Omettere i controlli dell'heap quando non viene eseguita alcuna allocazione.
[dinamico]

-fpedanti-fondi
Fai in modo che GHC sia più preciso sul trattamento del fondo (ma vedi anche
-fno-stato-hack). In particolare, GHC non si espanderà eta attraverso un'espressione case.
[dinamico]

-grafico-fregs
Usa l'allocatore del registro di colorazione del grafico per l'allocazione del registro nel nativo
generatore di codici. Implicito da -O2.
[dinamico]

-fregs-iterativo
Utilizzare l'allocatore del registro di colorazione del grafico a coalescenza iterativo nel codice nativo
Generatore.
[dinamico]

-ffasi-semplificatore=n
Imposta il numero di fasi per il semplificatore (default 2). Ignorato con -O0.
[dinamico]

-fsemplice-fattore-tick=n
Imposta il fattore percentuale per i tick del semplificatore (predefinito 100)
[dinamico]

-fspec-costr
Attiva la trasformazione SpecConstr. Implicito da -O2.
[dinamico]

-fspec-constr-count=n
Impostare su n (predefinito: 3) il numero massimo di specializzazioni che verranno create
per qualsiasi funzione mediante la trasformazione SpecConstr
[dinamico]

-fspec-constr-soglia=n
Imposta la soglia di dimensione per la trasformazione SpecConstr su n (predefinito: 2000)
[dinamico]

-fspecializzare
Attiva la specializzazione delle funzioni sovraccaricate. Implicito da -O.
[dinamico]

-trasformazione-fstatica-argomentazione
Attiva la trasformazione dell'argomento statico.
[dinamico]

-rigorosità
Attiva l'analisi di rigore. Implicito da -O.
[dinamico]

-rigorosità-prima=n
Eseguire un'ulteriore analisi di rigore prima della fase di semplificazione n
[dinamico]

-funbox-piccoli-campi-rigorosi
Appiattire i campi del costruttore rigoroso con una rappresentazione delle dimensioni di un puntatore. Implicito da
-O.
[dinamico]

-funbox-rigorosi-campi
Appiattisci i campi del costruttore rigoroso
[dinamico]

-funfolding-creazione-soglia=n
Modifica le impostazioni di sviluppo. Predefinito: 750
[dinamico]

-funfolding-dict-sconto=n
Modifica le impostazioni di sviluppo. Predefinito: 30
[dinamico]

-funfolding-divertimento-sconto=n
Modifica le impostazioni di sviluppo. Predefinito: 60
[dinamico]

-funfolding-keeness-factor=n
Modifica le impostazioni di sviluppo. Predefinito: 1.5
[dinamico]

-funfolding-soglia-d'uso=n
Modifica le impostazioni di sviluppo. Predefinito: 60
[dinamico]

-fvettorizzazione-evitamento
Abilita l'evitamento della vettorizzazione. Sempre abilitato per impostazione predefinita.
[dinamico]

-fvettorizzare
Abilita la vettorizzazione del parallelismo dei dati annidati
[dinamico]

PROFILAZIONE VERSIONI

-professore Attiva la profilazione
[dinamico]

-prof-auto
Aggiungi automaticamente SCC a tutte le associazioni non contrassegnate INLINE
[dinamico]

-fprof-auto-top
Aggiungi automaticamente SCC a tutte le associazioni di primo livello non contrassegnate INLINE
[dinamico]

-fprof-auto-esportato
Aggiungi automaticamente SCC a tutte le associazioni esportate non contrassegnate INLINE
[dinamico]

-fprof-caf
Aggiungi automaticamente SCC a tutti i CAF
[dinamico]

-fno-prof-count-entry
Non raccogliere i conteggi delle iscrizioni
[dinamico]

-tick Attiva la profilazione ticky-tick
[dinamico]

PROGRAMMA COPERTURA VERSIONI

-fhpc Attiva la strumentazione di copertura del programma Haskell
[dinamico]

-dirhpc dir
Directory per depositare i file .mix durante la compilazione (l'impostazione predefinita è .hpc)
[dinamico]

HASKELL PRE-PROCESSORE VERSIONI

-F Abilitare l'uso di un preprocessore (impostato con -pgmF)
[dinamico]

C PRE-PROCESSORE VERSIONI

-cpp Esegui il preprocessore C sui file sorgente Haskell
[dinamico]

-Dsimbolo=APPREZZIAMO
Definire un simbolo nel preprocessore C
[dinamico]

-Usimbolo
Annulla definizione di un simbolo nel preprocessore C
[dinamico]

-Idir Aggiungi dir all'elenco di ricerca della directory per i file #include
[dinamico]

CODICE GENERAZIONE VERSIONI

-fasma Usa il generatore di codice nativo
[dinamico]

-fllvm Compila utilizzando il generatore di codice LLVM
[dinamico]

-fno-codice
Ometti la generazione del codice
[dinamico]

-fwrite-interfaccia
Scrivi sempre i file di interfaccia
[dinamico]

-fbyte-codice
Genera codice byte
[dinamico]

-codice-oggetto
Genera codice oggetto
[dinamico]

COLLEGAMENTO VERSIONI

-condiviso
Genera una libreria condivisa (al contrario di un eseguibile)
[dinamico]

-libreria statica
Solo su Darwin/OS X/iOS, genera una libreria statica autonoma (invece di un
eseguibile). Questo è il solito modo di compilare per iOS.
[dinamico]

-fPIC Genera codice indipendente dalla posizione (ove disponibile)
[dinamico]

-dinamico
Usa librerie Haskell dinamiche (se disponibili)
[dinamico]

-dinamico-troppo
Crea file di oggetti dinamici e file di oggetti statici durante la compilazione
[dinamico]

-dinam Imposta il percorso di output per gli oggetti collegati dinamicamente
[dinamico]

-dinosuf
Imposta il suffisso di output per i file oggetto dinamici
[dinamico]

-dinamico
Seleziona una delle numerose modalità per la ricerca di librerie condivise in fase di esecuzione.
[dinamico]

-struttura Nome
Solo su Darwin/OS X/iOS, collegamento nel framework Nome. Questa opzione corrisponde al
-struttura opzione per Linker di Apple.
[dinamico]

-percorso-quadro Nome
Solo su Darwin/OS X/iOS, aggiungi dir all'elenco delle directory cercate
quadri. Questa opzione corrisponde al -F opzione per Linker di Apple.
[dinamico]

-llib Link in libreria lib
[dinamico]

-Ldir Aggiungi dir all'elenco delle directory cercate per le biblioteche
[dinamico]

-principale-è
Imposta modulo principale e funzione
[dinamico]

--mk-dll
Modalità di creazione DLL (solo Windows)
[dinamico]

-no-hs-principale
Non dare per scontato che questo programma contenga main
[dinamico]

-rtsopts, -rtsopts={nessuno, alcuni, tutti}
Controlla se il comportamento RTS può essere modificato tramite i flag della riga di comando e il
Variabile d'ambiente GHCRTS. L'utilizzo di none significa che non è possibile fornire flag RTS; qualche mezzo
può essere fornito solo un minimo di opzioni sicure (impostazione predefinita) e tutte (o nessun argomento
at all) significa che tutti i flag RTS sono consentiti.
[dinamico]

-con-rtsopts=opts
Imposta le opzioni RTS predefinite su opta.
[dinamico]

-nessun collegamento
Ometti collegamento
[dinamico]

-dividi-obiettivi
Dividi oggetti (per librerie)
[dinamico]

-statico
Usa librerie Haskell statiche
[dinamico]

-filettato
Usa il runtime con thread
[dinamico]

-debug Usa il runtime di debug
[dinamico]

-tick Per il collegamento, questo implica semplicemente -debug; vedere .
[dinamico]

-registro eventi
Abilita la traccia degli eventi di runtime
[dinamico]

-fno-gen-manifest
Non generare un file manifest (solo Windows)
[dinamico]

-fno-embed-manifest
Non incorporare il manifest nell'eseguibile (solo Windows)
[dinamico]

-fno-condiviso-implib
Non generare una libreria di importazione per una DLL (solo Windows)
[dinamico]

-dylib-nome-installazione sentiero
Imposta il nome dell'installazione (tramite -install_name passato al linker di Apple), specificando il
percorso di installazione completo del file della libreria. Qualsiasi libreria o eseguibile che si collega con
in seguito prenderà quel percorso come posizione di ricerca di runtime per esso. (Darwin/OS
solo X)
[dinamico]

-rdinamico
Questo indica al linker di aggiungere tutti i simboli, non solo quelli usati, alla dinamica
tabella dei simboli. Attualmente solo Linux e Windows/MinGW32. Questo è equivalente a usare
-optl -rdynamic su Linux e -optl -export-all-symbols su Windows.
[dinamico]

COLLEGARE VERSIONI

-fplugin=modulo
Carica un plugin esportato da un dato modulo
[dinamico]

-fplugin-opz=modulo: argomenti
Dare argomenti a un modulo plugin; il modulo deve essere specificato con -fplugin
[dinamico]

SOSTITUZIONE FASI

-pgml cmd
Usa il cmd come il pre-processore alfabetizzato
[dinamico]

-pgmp cmd
Usa il cmd come preprocessore C (con -cpp solo)
[dinamico]

-pgmc cmd
Usa il cmd come compilatore C
[dinamico]

-pgml cmd
Usa il cmd come ottimizzatore LLVM
[dinamico]

-pgmlc cmd
Usa il cmd come compilatore LLVM
[dinamico]

-pgm cmd
Usa il cmd come lo splitter
[dinamico]

-pgma cmd
Usa il cmd come l'assemblatore
[dinamico]

-pgml cmd
Usa il cmd come linker
[dinamico]

-pgmdll cmd
Usa il cmd come generatore di DLL
[dinamico]

-pgmF cmd
Usa il cmd come pre-processore (con -F solo)
[dinamico]

-pgmwindres cmd
Usa il cmd come il programma per incorporare i manifest su Windows.
[dinamico]

-pgmlibtool cmd
Usa il cmd come comando per libtool (con -libreria statica solo).
[dinamico]

-pgmreadelf cmd
Usa il cmd come comando per readelf (parte di Unix binutils)
[dinamico]

FORZARE VERSIONI A PARTICOLARE FASI

-optL opzione
passare opzione al pre-processore alfabetizzato
[dinamico]

-optP opzione
passare opzione a cpp (con -cpp solo)
[dinamico]

-optF opzione
passare opzione al pre-processore personalizzato
[dinamico]

-ott opzione
passare opzione al compilatore C
[dinamico]

-optlo opzione
passare opzione all'ottimizzatore LLVM
[dinamico]

-optlc opzione
passare opzione al compilatore LLVM
[dinamico]

-opta opzione
passare opzione all'assemblatore
[dinamico]

-opz opzione
passare opzione al linker
[dinamico]

-optdll opzione
passare opzione al generatore di DLL
[dinamico]

-optwindres opzione
passare opzione a vento.
[dinamico]

SPECIFICHE DELLA PIATTAFORMA VERSIONI

-msse2 (solo x86) Usa SSE2 per virgola mobile
[dinamico]

COMPILATORE DEBUG VERSIONI

-dcore-lint
Attiva il controllo di integrità interna
[dinamico]

-ddump su file
Scarica su file invece di stdout
[dinamico]

-ddump-asm
Assemblaggio di scarico
[dinamico]

-ddump-bcos
Scarica il codice byte dell'interprete
[dinamico]

-ddump-cm
Scarica C-- uscita
[dinamico]

-ddump-core-statistiche
Stampa un riepilogo di una riga delle dimensioni del programma Core alla fine del
pipeline di ottimizzazione
[dinamico]

-ddump-cse
Scarica l'uscita CSE
[dinamico]

-ddump-deriva
Uscita derivata dal dump
[dinamico]

-ddump-ds
Scarica l'uscita del dezucchero
[dinamico]

-ddump-straniero
Scarica mozziconi di esportazione estera
[dinamico]

-ddump-hpc
Scarica dopo la strumentazione per la copertura del programma
[dinamico]

-ddump-inlines
Scarica le informazioni sull'inlining
[dinamico]

-ddump-llvm
Scarica il codice intermedio LLVM
[dinamico]

-ddump-occorre-anale
Scarica l'output dell'analisi delle occorrenze
[dinamico]

-ddump-opt-cmm
Scarica i risultati delle passate di ottimizzazione da C-- a C--
[dinamico]

-ddump-analizzato
Scarica l'albero di analisi
[dinamico]

-ddump-prep
Nucleo preparato per il dump
[dinamico]

-ddump-rn
Scarica l'output del rinominatore
[dinamico]

-ddump-ruzioni di regole
Scarica le informazioni sull'attivazione della regola
[dinamico]

-ddump-regola-riscrittura
Scarica informazioni dettagliate sull'attivazione delle regole
[dinamico]

-ddump-regole
Regole di dump
[dinamico]

-ddump-vect
Scarica l'input e l'output del vettorizzatore
[dinamico]

-ddump-semplice
Scarica l'uscita del semplificatore finale
[dinamico]

-ddump-simpl-iterazioni
Scarica l'output di ogni iterazione del semplificatore
[dinamico]

-ddump-spec
Uscita dello specialista del dump
[dinamico]

-ddump-giunti
Scarica le espressioni di giunzione TH e cosa valutano
[dinamico]

-ddump-stg
Discarica finale STG
[dinamico]

-ddump-stranale
Uscita dell'analizzatore di severità del dump
[dinamico]

-ddump-strsig
Scarichi le firme di rigore
[dinamico]

-ddump-tc
Scarica l'uscita del correttore di caratteri
[dinamico]

-dth-dec-file
Mostra le dichiarazioni TH valutate in un file .th.hs
[dinamico]

-ddump-tipi
Firme di tipo dump
[dinamico]

-ddump-worker-wrapper
Uscita lavoratore-fasciatrice dello scarico
[dinamico]

-ddump-se-traccia
Traccia i file dell'interfaccia
[dinamico]

-ddump-tc-traccia
Controllo tipo traccia
[dinamico]

-ddump-vt-traccia
Traccia vettoriale
[dinamico]

-ddump-rn-traccia
Rinomina traccia
[dinamico]

-ddump-rn-stats
Rinomina statistiche
[dinamico]

-ddump-semplice-stats
Scarica statistiche semplificatore
[dinamico]

-dno-output-debug
Sopprimere l'output di debug non richiesto
[statico]

-dppr-debug
Attiva la stampa di debug (più dettagliata)
[statico]

-dppr-lunghezza-utente
Imposta la profondità per la stampa delle espressioni nei messaggi di errore
[dinamico]

-dppr-colsNNN
Imposta la larghezza dell'output di debug. Per esempio -dppr-cols200
[dinamico]

-dppr-case-as-let
Stampa singole espressioni case alternative come strict let.
[dinamico]

-dsopprimi-tutto
Nei core dump, sopprimere tutto (tranne gli unici) che è soppresso.
[dinamico]

-dsuppress-unici
Sopprime la stampa degli unici nell'output di debug (più facile da usare diff)
[dinamico]

-dsuppress-idinfo
Sopprimere le informazioni estese sugli identificatori a cui sono legati
[dinamico]

-dsopprimere-prefissi-modulo
Sopprimere la stampa dei prefissi di qualificazione del modulo
[dinamico]

-dsoppressione-tipo-firme
Sopprimi le firme di tipo
[dinamico]

-applicazioni-di-soppressione-tipo
Sopprimere le applicazioni di tipo
[dinamico]

-dsopprimere-coercizioni
Sopprimere la stampa delle coercizioni nei core dump per accorciarli
[dinamico]

-dsource-stats
Scarica le statistiche della fonte haskell
[dinamico]

-dcmm-lint
C-- supera il controllo di integrità
[dinamico]

-dstg-lint
STG passare il controllo di integrità
[dinamico]

-dstg-stats
Scarica le statistiche STG
[dinamico]

-dverbose-core2core
Mostra l'output di ogni passaggio core-to-core
[dinamico]

-dverbose-stg2stg
Mostra l'output di ogni passaggio da STG a STG
[dinamico]

-dshow-pass
Stampa il nome di ogni pass come accade
[dinamico]

-dfaststring-stats
Mostra le statistiche per l'utilizzo veloce delle stringhe al termine
[dinamico]

-Frule-check
Segnala i siti con regole che avrebbero potuto essere attivate ma non l'hanno fatto. Accetta un argomento stringa.
[dinamico]

MISC COMPILATORE VERSIONI

-jN Quando si compila con --make, compile N moduli in parallelo.
[dinamico]

-fno-hi-verifica-versione
Non lamentarti della mancata corrispondenza dei file .hi
[dinamico]

-Fistory-size
Imposta la dimensione della cronologia delle semplificazioni
[dinamico]

-fno-ghci-storia
Non utilizzare il caricamento/memorizzazione della cronologia dei comandi GHCi da/a ghci_history.
[dinamico]

-fno-ghci-sandbox
Spegnere la sandbox GHCi. Significa che i calcoli vengono eseguiti nel thread principale, piuttosto
di un filo biforcuto.
[dinamico]

Usa ghc online utilizzando i servizi onworks.net