ghc - Online en la nube

PROGRAMA:

NOMBRE

GHC: el compilador de Glasgow Haskell

SINOPSIS

ghc [opción|nombre de archivo] ...
gci [opción|nombre de archivo] ...

DESCRIPCIÓN

Esta página de manual documenta brevemente la ghc y gci comandos. Tenga en cuenta que gci aún no esta
disponible en todas las arquitecturas. Hay disponible documentación extensa en varios otros
formatos que incluyen DVI, PostScript y HTML; vea abajo.

Cada una de las opciones de la línea de comandos de GHC se clasifica como estático or lugar de trabajo dinámico. Una estática
La bandera solo se puede especificar en la línea de comando, mientras que también se puede dar una bandera dinámica
en un pragma OPTIONS en un archivo de origen o establecer desde la línea de comandos de GHCi con: set.

Como regla general, todas las opciones de idioma son dinámicas, al igual que las opciones de advertencia y
las opciones de depuración.

El resto son estáticos, con las notables excepciones de -v, -cpp, -fasmo, -fvia-C, -fllvmy
"- # incluir. Las secciones de OPCIONES enumeran el estado de cada bandera.

Los sufijos comunes de los nombres de archivo de Haskell son:

.hs Código fuente de Haskell; preprocesar, compilar

.lhs fuente alfabetizada de Haskell; apagado, preprocesar, compilar

.Hola Archivo de interfaz; contiene información sobre los símbolos exportados

.hc archivos C intermedios

.x_o Manera x archivos de objeto; formas comunes son: p, u, s

.x_Hola Manera x archivos de interfaz

CAMPUS

Verbosidad opciones
-v -vn -fprint-explícito-foralls -fprint-explícito-tipos -ferror-tramos -Htamaño
-Rghc-sincronización

Alternative los modos of Inteligente
--ayuda,-? --interactive --make -e expr --show-iface -M --supported-extensions,
--supported-languages ​​--show-options --info --version, -V --numeric-version
--print-libdir

Cual fases a corrida
-E -C -S -c -x sufijo

Reorientar salida
-hcsuf sufijo -ocultar dir -hisuf sufijo -o nombre de archivo -odir dir -oh hola nombre de archivo -osuf
sufijo -stubdir dir -dumpdir dir -salidadir dir

Acuerdo intermedio archivos
-mantener-archivo-hc o
-keep-hc-files -keep-llvm-file o
-keep-llvm-files -keep-s-file o
-mantener-archivos-s -mantener-archivos-tmp

Temporal archivos
-tmpdir

Encontrar importaciones
-idir1:dir2:... -I

Interfaz presentar opciones
-ddump-hi -ddump-hi-diffs -ddump-minimal-import --show-iface presentar

Recompilacion comprobación
-fforce-recomp -fno-fuerza-recomp

Modo interactivo opciones
-ignorar-punto-ghci -ghci-script -fbreak-on-error -fno-break-on-error -fbreak-on-exception
-fno-break-on-exception -fghci-hist-size = n (el valor predeterminado es 50) -fprint-evld-with-show
-fno-print-evld-with-show -fprint-bind-resultado -fno-print-bind-resultado
-fno-print-bind-contents -fno-implicit-import-qualified -interactive-print

Buceo y Alojamiento
-este-paquete-clave P -paquete P -Ocultar-todos-los-paquetes -Ocultar-paquete nombre -ignorar-paquete
nombre -paquete-db presentar -clear-paquete-db -no-paquete-global-db -global-paquete-db
-no-paquete-de-usuario-db -paquete-de-usuario-db -no-paquetes-de-enlace-automático -trust P -desconfianza P
-desconfiar-de-todos

Idioma opciones
-fcontext-stack =n -fglasgow-exts -fno-glasgow-exts -firefutable-tuplas
-fno-tuplas-irrefutables -fpackage-trust -ftype-function-depth =n -XPermitir tipos ambiguos
-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
-XNoDerivePlegable -XDeriveGeneric -XNoDeriveGeneric -XDeriveTransversable
-XNoDeriveTraversable -XDisambiguateRecordFields -XNoDisambiguateRecordFields
-XEmptyCase -XNoEmptyCase -XEmptyDataDecls -XNoEmptyDataDecls
-XCuantificación Existencial -XNoCuantificaciónExistencial -XExplicitForAll
-XNoExplicitForAll -XExplicitNamespaces -XNoExplicitNamespaces -XExtendedDefaultRules
-XNoExtendedDefaultRules -XFlexibleContexts -XNoFlexibleContexts -XFlexibleInstances
-XNoFlexibleInstances -XForeignFunctionInterface -XNoForeignFunctionInterface
-XDependencias funcionales -XNoDependencias funcionales -XGADTs -XNoGADTs -XGADTSyntax
-XNoGADTSyntax -XGeneralizedNewtypeDeriving -XNoGeneralizedNewtypeDeriving -XGenerics
-XNoGenerics -XImplicitParams -XNoImplicitPrelude -XNoImplicitPrelude -XImplicitPrelude
-XImpredicativeTypes -XNoImpredicativeTypes -XIncoherentInstances -XNoIncoherentInstances
-XInstanceSigs -XNoInstanceSigs -XInterruptibleFFI -XNoInterruptibleFFI -XKindSignatures
-XNoKindSignatures -XLambdaCase -XNoLambdaCase -XLiberalTypeSynónimos
-XNoLiberalTypeSynónimos -XMagicHash -XNoMagicHash -XMonadComprehensions
-XNoMonadComprehensions -XMonoLocalBinds -XNoMonoLocalBinds -XNoMonomorphismRestriction
-XRestricción de monomorfismo -XMultiParamTypeClasses -XNoMultiParamTypeClasses -XMultiWayIf
-XNoMultiWayIf -XNamedFieldPuns -XNoNamedFieldPuns -XNamedWildCards -XNoNamedWildCards
-XLiterales Negativos -XNoLiterales Negativos -XNoNPlusKPatterns -XNPlusKPatterns
-XNullaryTypeClasses -XNoNullaryTypeClasses -XNumDecimals -XNoNumDecimals
-XOverlappingInstances -XNoOverlappingInstances -XOverloadedLists -XNoOverloadedLists
-XOverloadedStrings -XNoOverloadedStrings -XPackageImports -XNoPackageImports
-XParallelArrays -XNoParallelArrays -XParallelListComp -XNoParallelListComp
-XPartialTypeSignatures -XNoPartialTypeSignatures -XPatternGuards -XNoPatternGuards
-XPatternSynónimos -XNoPatternSynónimos -XPolyKinds -XNoPolyKinds -XPolymorphicComponents
-XNoPolymorphicComponents -XPostfixOperators -XNoPostfixOperators -XQuasiQuotes
-XNoQuasiQuotes -XRank2Types -XNoRank2Types -XRankNTypes -XNoRankNTypes
-XRebindableSyntax -XNoRebindableSyntax -XRecordWildCards -XNoRecordWildCards
-XRecursiveDo -XNoRecursiveDo -XRelaxedPolyRec -XNoRelaxedPolyRec -XRoleAnnotations
-XNoRoleAnnotations -XSafe -XScopedTypeVariables -XNoScopedTypeVariables
-XDerivado independiente -XNoDerivado independiente -XTemplateHaskell -XNoTemplateHaskell
-XNoTraditionalRecordSyntax -XTraditionalRecordSyntax -XTransformListComp
-XNoTransformListComp -XTrustworthy -XTupleSections -XNoTupleSections -XTypeFamilies
-XNoTypeFamilies -XTypeOperators -XNoTypeOperators -XTypeSynonymInstances
-XNoTypeSynonymInstances -XUnboxedTuples -XNoUnboxedTuples -XUndecidableInstances
-XNoUnicodeInstances -XUnicodeSyntax -XNoUnicodeSyntax -XUnliftedFFITypes
-XNoUnliftedFFITypes -XUnsafe -XViewPatterns -XNoViewPatterns

Advertencias
-W -w -w -Wall -w -Werror -Wwarn -fdefer-type-errors -fno-defer-type-errors
-fdefer-orificios-mecanografiados -fno-aplazar-agujeros-mecanografiados -ferrores-de-ayuda -fno-errores-de-ayuda
-fwarn-obsoletos-flags -fno-warn-obsoletos-flags -fwarn-duplicate-constraints
-fno-advertir-duplicar-restricciones-advertir-duplicar-exportaciones -fno-advertir-duplicar-exportaciones
-avisar-hi-sombrear -fno-advertir-hi-sombrear-advertir-identidades -fno-advertir-identidades
-avisar-preludio-implícito -fno-advertir-preludio-implícito-advertir-patrones-incompletos
-fno-advertir-patrones-incompletos-advertir-patrones-uni-incompletos
-fno-advertir-patrones-uni-incompletos-advertir-actualizaciones-de-registros-incompletos
-fno-warn-actualizaciones-de-registros-incompletos -fwarn-lazy-unlifted-bindings
-fno-warn-lazy-unlifted-bindings -fno-warn-missing-fields -fno-warn-missing-fields
-Avisar-listas-de-importación-perdidas -fnowarn-listas-de-importación-perdidas-métodos-de-advertencia-perdidos
-fno-advertir-métodos-faltantes-advertir-firmas-faltantes -fno-advertir-firmas-faltantes
-Aviso-faltante-exportado-sigs -fno-advertir-faltante-exportado-sigs-advertir-faltante-local-sigs
-fno-warn-falta-sigs-locales -fwarn-monomorfismo-restricción
-fno-warn-restricción-de-monomorfismo -fwarn-name-shadowing -fno-warn-name-shadowing
-avisar-huérfanos, -avisar-auto-huérfanos -fno-advertir-huérfanos, -fno-advertir-auto-huérfanos
-avisar-patrones-superpuestos -fno-advertir-patrones-superpuestos-advertir-pestañas -fno-advertir-pestañas
-fwarn-type-defaults -fno-warn-type-defaults -fwarn-unrecognized-pragmas
-fno-advertir-pragmas-no-reconocidos-advertir-constructores-promocionados-sin marcar
-fno-advertir-constructores-promocionados-sin marcar-advertir-vínculos-no utilizados -fno-advertir-vínculos-no utilizados
-avisar-importaciones-no-usadas -fno-advertir-importaciones-no-usadas-advertir-coincidencias-no-usadas
-fno-advertir-coincidencias-no utilizadas-advertir-no-usar-do-vincular -fno-advertir-no usado-do-vincular
-Avisar-incorrecto-hacer-vincular -fno-advertir-incorrecto-hacer-vincular-advertir-inseguro -fno-advertir-inseguro-advertir-seguro
-fno-warn-safe -fwarn-trustworthy-safe -fno-warn-safe -fwarn-warnings-deprecations
-fno-warn-warnings-deprecations -fwarn-amp -fno-warn-amp -fwarn-typed-hoyos
-fno-advertir-agujeros-escritos-advertir-firmas-de-tipo-parcial -fno-advertir-firmas-de-tipo-parcial
-advertir-derivar-tipificable -fno-advertir-derivar-tipificable

Optimización
-O0 -O -O o -O1 -O0 -O2 -O0 -Odph

Individual optimizaciones
-fcall-arity -fno-call-arity -fcase-merge -fno-case-merge -fcmm-elim-common-blocks
-fno-cmm-elim-bloques-comunes -fcmm-sink -fno-cmm-sink -fcpr-off -fcse -fno-cse
-fdictos-baratos -fno-dictos-baratos -fdictos-estrictos -fno-dictos-estrictos -fdmd-tx-dict-sel
-fno-dmd-tx-dict-sel -fdo-eta-reduccion -fno-do-eta-reduccion
-fdo-lambda-eta-expansión -fno-do-lambda-eta-expansión -feager-blackholing
-fenable-rewrite-rules -fno-enable-rewrite-rules -fexcess-precision -fno-excedente-precisión
-fexponer-todos-los-despliegues -fno-exponer-todos-los-despliegues -float-in -fno-flotar-adentro
-fun-to-thunk -fno-fun-to-thunk -fignore-afirma
-fno-ignore-afirma -fignore-interface-pragmas -fno-ignore-interface-pragmas
-flate-dmd-anal -fno-late-dmd-anal -fliberate-case -fliberate-case-umbral =n
-fno-liberate-case-umbral -floopificación -fno-loopification
-fmax-inline-alloc-size =n
-fmax-inline-memcpy-insns =n

-fmax-memset-insns-en-línea =n
-fmax-enlaces-relevantes = n -fno-max-enlaces-relevantes
-fmax-simplificador-iteraciones = n -fmax-worker-args = n -fno-opt-coercion -fno-pre-inlining
-fno-state-hack -fomit-interface-pragmas -fno-omit-interface-pragmas -fomit-rendimientos
-fno-omit-yields -fpedantic-bottoms -fno-pedantic-bottoms -fregs-graph -fno-regs-graph
-fregs-iterativo -fno-regs-iterativo -fsimplifier-fases = n -fsimpl-tick-factor = n
-fspec-constr -fno-spec-constr -fspec-constr-count =n -fno-spec-construcción-recuento
-fspec-constr-umbral =n -fno-spec-constr-umbral -fspecialise -fno-specialize
-ftransformación-argumento-estático -fno-transformación-argumento-estático -fstrictness
-fno-rigor -fstrictness-before =n -funbox-pequeños-estrictos-campos
-fno-unbox-pequeños-estrictos-campos -funbox-estrictos-campos -fno-unbox-estrictos-campos
-umbral-de-creación-plegable-divertido = n-descuento-dict-plegable-divertido = n-descuento-divertido-plegable-divertido = n
-factor-de-mantenimiento-de-diversión = n-umbral-de-uso-de-diversión = n -f-evitación-de-vectorización
-fno-vectorización-evitación -fvectorizar -fno-vectorizar

Perfilado opciones
-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-recuento-entradas -fprof-recuento-entradas
-ticky

Programa cobertura opciones
-fhpc -hpcdir directorio

Haskell preprocesador opciones
-F

C preprocesador opciones
-cpp-Dsímbolo=propuesta de -U -Usímbolo -Idir

Código generación de AHSS opciones
-fasm -fllvm -fno-code -fwrite-interface -fbyte-code -fobject-code

Enlace opciones
-compartido -staticlib -fPIC -dinámico -dinámico-también -dyno -dynosuf -dynload -framework
nombre -trayecto-ruta nombre -llib -Ldir -main-is --mk-dll -no-hs-main -rtsopts,
-rtsopts = {none, some, all} -with-rtsopts = opts -no-link -split-objs -static -threaded
-debug -ticky -eventlog -fno-gen-manifest -fno-embed-manifest -fno-shared-implib
-dylib-nombre-de-instalación camino -rdinámico

Enchufar opciones
-fplugin =módulo -fplugin-opt =módulo: argumentos

Sustitución 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

Obligar opciones a particular fases
-optL opción -optP opción -optF opción -óptico opción -optar opción -optlc opción
-opta opción -optar opción -optdll opción -optwindres opción

Específico de la plataforma opciones
-msse2

Compilador depuración opciones
-dcore-lint -ddump-to-file -ddump-asm -ddump-bcos -ddump-cmm -ddump-core-stats
-ddump-cse -ddump-deriv -ddump-ds -ddump-Foreign -ddump-hpc -ddump-inlinings
-ddump-llvm -ddump-ocurre-anal -ddump-opt-cmm -ddump-parsed -ddump-prep -ddump-rn
-ddump-rule-disparos -ddump-rule-reescribe -ddump-rules -ddump-vect -ddump-simpl
-ddump-simpl-iterations -ddump-spec -ddump-empalmes -ddump-stg -ddump-stranal
-ddump-strsigs -ddump-tc -dth-archivo-dec -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
-prefijos-de-módulo-dsuppress -firmas-de-tipo-dsuppress -aplicaciones-de-tipo-dsuppress
-dsuppress-coerciones -dsource-stats -dcmm-lint -dstg-lint -dstg-stats
-dverbose-core2core -dverbose-stg2stg -dshow-pass -dfaststring-stats -frule-check

Miscelánea compilador opciones
-jN -fno-hi-version-check -fhistory-size -fno-ghci-history -fno-ghci-sandbox

VERBOSIDAD CAMPUS

-v modo detallado (equivalente a -v3)
[dinámica]

-vn establecer el nivel de verbosidad
[dinámica]

-fprint-explícito-foralls
imprimir explícitamente para toda la cuantificación en tipos
[dinámica]

-fprint-tipos-explícitos
imprime entradas de tipo explícitas y argumentos de tipo en tipos
[dinámica]

-tramos-de-error
salida de intervalo completo en mensajes de error
[dinámica]

-Htamaño Establezca el tamaño de pila mínimo en tamaño
[dinámica]

-Rghc-sincronización
Resumir las estadísticas de tiempo para GHC (igual que + RTS -tstderr)
[dinámica]

ALTERNATIVA MODOS OF FUNCIONAMIENTO

--ayuda,-?
Disply ayuda
[modo]

--interactivo
Modo interactivo: normalmente se usa simplemente ejecutando ghci; consulte para obtener más detalles.
[modo]

--hacer Cree un programa Haskell de varios módulos, que averigüe automáticamente las dependencias.
Probablemente sea mucho más fácil y rápido que usar make; ver para más detalles ..
[modo]

-e expr
Evaluar expr; consulte para obtener más detalles.
[modo]

--mostrar-iface
Muestra el contenido de un archivo de interfaz.
[modo]

-M Genere información de dependencia adecuada para su uso en un Makefile; consulte para obtener más detalles.
[modo]

- extensiones-compatibles, - idiomas admitidos
mostrar las extensiones de idioma admitidas
[modo]

--mostrar-opciones
mostrar las opciones de línea de comando admitidas
[modo]

--información mostrar información sobre el compilador
[modo]

--versión, -V
mostrar la versión de GHC
[modo]

- versión-numérica
mostrar la versión de GHC (solo numérica)
[modo]

--print-libdir
mostrar el directorio de la biblioteca GHC
[modo]

CUAL ETAPAS A CORRE

-E Detener después del preprocesamiento (archivo .hspp)
[modo]

-C Deténgase después de generar C (archivo .hc)
[modo]

-S Detener después de generar ensamblado (archivo .s)
[modo]

-c Detener después de generar el archivo de objeto (.o)
[modo]

-x sufijo
Anular el comportamiento predeterminado de los archivos de origen
[dinámica]

REDIRECCIONANDO SALIDA

-hcsuf sufijo
establecer el sufijo que se utilizará para archivos C intermedios
[dinámica]

-ocultar dir
establecer directorio para archivos de interfaz
[dinámica]

-hisuf sufijo
establecer el sufijo que se utilizará para los archivos de interfaz
[dinámica]

-o nombre de archivo
establecer nombre de archivo de salida
[dinámica]

-odir dir
establecer directorio para archivos de objeto
[dinámica]

-oh hola nombre de archivo
establecer el nombre de archivo en el que colocar la interfaz
[dinámica]

-osuf sufijo
establecer el sufijo del archivo de salida
[dinámica]

-stubdir dir
redirigir archivos stub FFI
[dinámica]

-dumpdir dir
redirigir archivos de volcado
[dinámica]

-salidadir dir
establecer directorio de salida
[dinámica]

ACUERDO INTERMEDIO ARCHIVOS

-mantener-archivo-hc or
-mantener-archivos-hc retener archivos .hc intermedios
[dinámica]

-mantener-archivo-llvm or
-mantener-archivos-llvm retener archivos LLVM .ll intermedios
[dinámica]

-mantener-s-archivo or
-mantener-s-archivos retener archivos .s intermedios
[dinámica]

-mantener-archivos-tmp
conservar todos los archivos temporales intermedios
[dinámica]

TEMPORAL ARCHIVOS

-tmpdir
establecer el directorio para archivos temporales
[dinámica]

HALLAZGO IMPORTACIONES

-idir1:dir2: ...
add dir, dir2, etc. para importar la ruta
[dinámico /: conjunto]

-i Vaciar la lista del directorio de importación
[dinámico /: conjunto]

INTERFAZ ARCHIVO CAMPUS

-ddump-hola
Volcar la nueva interfaz a stdout
[dinámica]

-ddump-altas diferencias
Muestre las diferencias frente a la interfaz anterior
[dinámica]

-ddump-minimal-importaciones
Volcar un conjunto mínimo de importaciones
[dinámica]

--mostrar-iface presentar
Ver .
[]

RECOMPILACION CONTROL

-fforce-recompensación
Desactive la comprobación de recopilación. Esto está implícito en cualquier -ddump-X opción cuando
compilar un solo archivo (es decir, cuando se usa -c).
[dinámica]

MODO INTERACTIVO CAMPUS

-ignorar-punto-ghci
Deshabilitar la lectura de archivos .ghci
[dinámica]

-guión-ghci
Leer archivos .ghci adicionales
[dinámica]

-fbreak-en-error
Rompe las excepciones y los errores no detectados
[dinámica]

-fbreak-on-excepción
Romper en cualquier excepción lanzada
[dinámica]

-fghci-hist-size = n
Establezca el número de entradas que GHCi guarda para: historial
[dinámica]

-fprint-evld-con-espectáculo
Habilitar el uso de las instancias de Show en: imprimir
[dinámica]

-fprint-bind-resultado
Activar la impresión de resultados de encuadernación en GHCi
[dinámica]

-fno-print-bind-contenidos
Desactivar la impresión de contenido de encuadernación en GHCi
[dinámica]

-fno-implicit-import-calificado
Desactive la importación calificada implícita de todo en GHCi
[dinámica]

-impresión-interactiva
Seleccione la función que se utilizará para imprimir expresiones evaluadas en GHCi
[dinámica]

PAQUETES

-este-paquete-clave P
Compilar para ser parte del paquete P
[dinámica]

-paquete P
Exponer paquete P
[dinámico /: conjunto]

-Ocultar-todos-los-paquetes
Ocultar todos los paquetes por defecto
[dinámica]

-paquete-oculto nombre
Ocultar paquete P
[dinámico /: conjunto]

-ignorar-paquete nombre
Ignorar paquete P
[dinámico /: conjunto]

-paquete-db presentar
Añada presentar al paquete db stack.
[dinámica]

-borrar-paquete-db
Borre la pila de la base de datos del paquete.
[dinámica]

-no-global-paquete-db
Elimine el paquete global db de la pila.
[dinámica]

-paquete-global-db
Agregue el paquete global db a la pila.
[dinámica]

-no-paquete-de-usuario-db
Elimina el paquete db del usuario de la pila.
[dinámica]

-paquete-de-usuario-db
Agregue la base de datos del paquete del usuario a la pila.
[dinámica]

-no-paquetes-de-enlace-automático
No vincule automáticamente en los paquetes base y rts.
[dinámica]

-confianza P
Exponer paquete P y configurarlo para que sea de confianza
[dinámico /: conjunto]

-desconfianza P
Exponer paquete P y ponerlo en desconfianza
[dinámico /: conjunto]

-desconfiar-de-todos
Desconfía de todos los paquetes por defecto
[dinámico /: conjunto]

IDIOMA CAMPUS

-fcontext-stack =n
establecer el límite para la reducción de contexto de clase de tipo. El valor predeterminado es 100.
[dinámica]

-fglasgow-ext
Obsoleto. Habilite la mayoría de las extensiones de idioma; ver exactamente cuáles.
[dinámica]

-tuplas-confirmables
Hacer que la coincidencia de patrones de tupla sea irrefutable
[dinámica]

-fpackage-confianza
Habilite el requisito de paquete confiable de Safe Haskell para módulos confiables.
[dinámica]

-ftype-function-depth =n
establecer el límite para las reducciones de función de tipo. El valor predeterminado es 200.
[dinámica]

-XPermitir tipos ambiguos
Permitir que el usuario escriba tipos ambiguos y que el motor de inferencia de tipos infiera
de ellas.
[dinámica]

-XFlechas
Habilitar la extensión de notación de flechas
[dinámica]

-XAutoDerive Typeable
A partir de GHC 7.10, esta opción no es necesaria y no debe utilizarse. Automáticamente
derivar instancias Typeable para cada tipo de datos y declaración de clase de tipo. Implica
-XDeriveData Typeable.
[dinámica]

-XBangPatrones
Habilite los patrones de explosión.
[dinámica]

-XLiteralesBinarios
Habilite la compatibilidad con literales binarios.
[dinámica]

-XCApiFFI
Habilite la convención de llamadas CAPI.
[dinámica]

-XMétodos de clase restringidos
Habilite los métodos de clase restringidos.
[dinámica]

-XTipos de restricción
Habilite una especie de restricciones.
[dinámica]

-XCPP Habilite el preprocesador C.
[dinámica]

-XDataTipos
Habilite la promoción de tipos de datos.
[dinámica]

-XFirmas predeterminadas
Habilite las firmas predeterminadas.
[dinámica]

-XDeriveCualquierClase
Habilite la derivación para cualquier clase.
[dinámica]

-XDeriveData Typeable
Habilite la derivación para la clase de datos. Implicado por -XAutoDerive Typeable.
[dinámica]

-XDeriveFuntor
Habilite la derivación para la clase Functor. Implicado por -XDeriveTraversable.
[dinámica]

-XDerivePlegable
Habilite la derivación para la clase Plegable. Implicado por -XDeriveTraversable.
[dinámica]

-XDeriveGenérico
Habilite la derivación para la clase Genérica.
[dinámica]

-XDeriveTraversable
Habilite la derivación para la clase Traversable. Implica -XDeriveFuntor y
-XDerivePlegable.
[dinámica]

-XDisambiguateRecordFields
Habilitar la desambiguación del campo de registro. Implicado por -XRecordWildCards.
[dinámica]

-XCasoVacío
Permitir alternativas de caja vacía.
[dinámica]

-XDeclsDatosEmpty
Habilite declaraciones de datos vacías.
[dinámica]

-XCuantificación Existencial
Habilite la cuantificación existencial.
[dinámica]

-XExplícitoParaTodos
Habilite la cuantificación universal explícita. Implicado por -Variables de tipo XScoped,
-XLiberalTypeSynónimos, -XRankNTipos y -XCuantificación Existencial.
[dinámica]

-Xespacios de nombres explícitos
Habilite el uso del tipo de palabra clave para especificar el espacio de nombres de las entradas en las importaciones y
exportaciones (). Implicado por -XTypeOperadores y -XTypeFamilias.
[dinámica]

-XReglas predeterminadas extendidas
Utilice las reglas predeterminadas extendidas de GHCi en un módulo normal.
[dinámica]

-XContextos Flexibles
Habilite contextos flexibles. Implicado por -XParámetros implícitos.
[dinámica]

-XInstancias flexibles
Habilite instancias flexibles. Implica -XTypeSinónimoInstancias. Implicado por
-XParámetros implícitos.
[dinámica]

-XInterfaz de función extranjera
Habilite la interfaz de función externa.
[dinámica]

-XDependencias funcionales
Habilite las dependencias funcionales. Implica -XMultiParamTypeClasses.
[dinámica]

-XGADT
Habilite tipos de datos algebraicos generalizados. Implica -XGADTSintaxis y -XMonoLocalBinds.
[dinámica]

-XGADTSintaxis
Habilite la sintaxis de tipos de datos algebraicos generalizados.
[dinámica]

-XGeneralizadoNuevotipoDerivado
Habilite la derivación de nuevos tipos.
[dinámica]

-XGenéricos
En desuso, no hace nada. Ya no habilita clases genéricas. Consulte también el soporte de GHC
para programación genérica.
[dinámica]

-XParámetros implícitos
Habilite los parámetros implícitos. Implica -XContextos Flexibles y -XInstancias flexibles.
[dinámica]

-XNoPreludio implícito
No importe Prelude implícitamente. Implicado por -XRebindableSintaxis.
[dinámica]

-XTiposImpredicativos
Habilite los tipos impredicativos. Implica -XRankNTipos.
[dinámica]

-XInstancias incoherentes
Habilite instancias incoherentes. Implica -XInstancias superpuestas.
[dinámica]

-XInstanciaSigs
Habilite las firmas de instancias.
[dinámica]

-XInterruptibleFFI
Habilite FFI interrumpible.
[dinámica]

-XKindFirmas
Habilite las firmas amables. Implicado por -XTypeFamilias y -XPolyKinds.
[dinámica]

-Caso XLambda
Habilite las expresiones lambda-case.
[dinámica]

-XLiberalTypeSynónimos
Habilite los sinónimos de tipo liberalizado.
[dinámica]

-XMagicHash
Permitir "#" como modificador de sufijo en identificadores.
[dinámica]

-XMonadComprensiones
Habilite las comprensiones de mónadas.
[dinámica]

-XMonoLocalBinds
Habilite no generalizar los enlaces locales. Implicado por -XTypeFamilias y -XGADT.
[dinámica]

-XNoRestricciónDeMonomorfismo
Desactive la restricción de monomorfismo.
[dinámica]

-XMultiParamTypeClasses
Habilite clases de tipos de parámetros múltiples. Implicado por -XDependencias funcionales.
[dinámica]

-XMultiWaySi
Habilite las expresiones if multidireccionales.
[dinámica]

-Juegos de palabras de campo con nombre X
Habilita los juegos de palabras para grabar.
[dinámica]

-XComodines con nombre
Habilite los comodines con nombre.
[dinámica]

-XLiterales Negativos
Habilite la compatibilidad con literales negativos.
[dinámica]

-XNoNPlusKPatrones
Deshabilite la compatibilidad con patrones n + k.
[dinámica]

-XNullaryTypeClasses
En desuso, no hace nada. Las clases de tipo nulary (sin parámetro) ahora están habilitadas usando
-XMultiParamTypeClasses.
[dinámica]

-XNúmDecimales
Habilite la compatibilidad con literales enteros 'fraccionarios'.
[dinámica]

-XInstancias superpuestas
Habilite las instancias superpuestas.
[dinámica]

-XListas sobrecargadas
Habilita listas sobrecargadas.
[dinámica]

-XCadenas sobrecargadas
Habilite los literales de cadena sobrecargados.
[dinámica]

-XImportaciones de paquetes
Habilite las importaciones calificadas por paquetes.
[dinámica]

-MatricesXparalelas
Habilite matrices paralelas. Implica -XParallelListComp.
[dinámica]

-XParallelListComp
Habilite las comprensiones de listas paralelas. Implicado por -MatricesXparalelas.
[dinámica]

-XPartialTypeFirmas
Habilite firmas de tipo parcial.
[dinámica]

-XPatternGuards
Habilite protectores de patrón.
[dinámica]

-XPatternSynónimos
Habilite los sinónimos de patrones.
[dinámica]

-XPolyKinds
Habilite el polimorfismo amable. Implica -XKindFirmas.
[dinámica]

-XComponentes polimórficos
Habilite componentes polimórficos para constructores de datos.
[dinámico, sinónimo de -XRankNTipos]

-XPostfixOperadores
Habilite los operadores de sufijo.
[dinámica]

-XQuasiCotizaciones
Habilite la cuasicuotación.
[dinámica]

-XRank2Tipos
Habilite los tipos de rango 2.
[dinámico, sinónimo de -XRankNTipos]

-XRankNTipos
Habilite los tipos de rango N. Implicado por -XTiposImpredicativos.
[dinámica]

-XRebindableSintaxis
Emplea una sintaxis que se puede volver a enlazar. Implica -XNoPreludio implícito.
[dinámica]

-XRecordWildCards
Habilite los comodines de registro. Implica -XDisambiguateRecordFields.
[dinámica]

-XRecursivoDo
Habilite la notación do recursiva (mdo).
[dinámica]

-XRelajadoPolyRec
(obsoleto) Comprobación relajada de funciones polimórficas recursivas mutuas.
[dinámica]

-XRoleAnotaciones
Habilite las anotaciones de roles.
[dinámica]

-Xseguro Habilite el modo seguro Safe Haskell.
[dinámica]

-Variables de tipo XScoped
Habilite las variables de tipo de ámbito léxico.
[dinámica]

-XIndependienteDerivado
Habilite la derivación independiente.
[dinámica]

-XTemplateHaskell
Habilite la plantilla Haskell.
[dinámica]

-XNoTraditionalRecordSintaxis
Deshabilitar la compatibilidad con la sintaxis de registro tradicional (compatible con Haskell 98) C {f =
x}
[dinámica]

-XTransformListComp
Habilite las comprensiones de listas generalizadas.
[dinámica]

-XConfiable
Habilite el modo Safe Haskell Trustworthy.
[dinámica]

-XTupleSecciones
Habilite las secciones de tuplas.
[dinámica]

-XTypeFamilias
Habilite las familias de tipos. Implica -Xespacios de nombres explícitos, -XKindFirmas y
-XMonoLocalBinds.
[dinámica]

-XTypeOperadores
Habilite los operadores de tipo. Implica -Xespacios de nombres explícitos.
[dinámica]

-XTypeSinónimoInstancias
Habilite los sinónimos de tipo en los encabezados de instancia. Implicado por -XInstancias flexibles.
[dinámica]

-XTuplas sin caja
Habilita las tuplas sin caja.
[dinámica]

-XInstancias indecidibles
Habilita instancias indecidibles.
[dinámica]

-XUnicodeSintaxis
Habilite la sintaxis Unicode.
[dinámica]

-XUnliftedFFITypos
Habilite los tipos de FFI sin levantar.
[dinámica]

-XInseguro
Habilite el modo Safe Haskell Unsafe.
[dinámica]

-XVerPatrones
Habilite los patrones de visualización.
[dinámica]

ADVERTENCIAS

-W habilitar advertencias normales
[dinámica]

-w deshabilitar todas las advertencias
[dinámica]

-Pared habilitar casi todas las advertencias (detalles en)
[dinámica]

-Error
hacer advertencias fatales
[dinámica]

-Aviso hacer advertencias no fatales
[dinámica]

-fdefer-tipo-errores
Convierta los errores de tipo en advertencias y posponga el error hasta el tiempo de ejecución. Implica
-fdefer-mecanografiar-agujeros.
[dinámica]

-fdefer-mecanografiar-agujeros
Convierta los errores de orificio mecanografiados en advertencias y posponga el error hasta el tiempo de ejecución. Implícito
by -fdefer-tipo-errores. Vea también la -Agujeros-mecanografiados.
[dinámica]

-errores-útiles
Haga sugerencias para nombres mal escritos.
[dinámica]

-fwarn-indicadores-obsoletos
advertir sobre los usos de las banderas de la línea de comandos que están en desuso
[dinámica]

-avisar-duplicar-restricciones
advertir cuando una restricción aparece duplicada en una firma de tipo
[dinámica]

-avisar-duplicar-exportaciones
advertir cuando una entidad se exporta varias veces
[dinámica]

-avisar-hi-sombrear
advertir cuando un archivo .hi en el directorio actual oculta una biblioteca
[dinámica]

-advierte-identidades
advertir sobre los usos de las conversiones numéricas de Prelude que son probablemente la identidad (y
por lo tanto, podría omitirse)
[dinámica]

-Aviso-preludio-implícito
advertir cuando el Preludio se importa implícitamente
[dinámica]

-avisar-patrones-incompletos
advertir cuando una coincidencia de patrón podría fallar
[dinámica]

-avisar-patrones-uni-incompletos
advertir cuando una coincidencia de patrón en una expresión lambda o un enlace de patrón podría fallar
[dinámica]

-Aviso-actualizaciones-de-registros-incompletos
advertir cuando una actualización de registro podría fallar
[dinámica]

-advertir-fijaciones-perezosas-sin levantar
(obsoleto) advierte cuando un enlace de patrón parece flojo pero debe ser estricto
[dinámica]

-Aviso-campos-faltantes
advertir cuando los campos de un registro no están inicializados
[dinámica]

-avisar-listas-de-importación-faltantes
advertir cuando una declaración de importación no enumera explícitamente todos los nombres introducidos en
alcance
[dinámica]

-Aviso-métodos-faltantes
advertir cuando los métodos de clase no están definidos
[dinámica]

-Aviso-firmas-faltantes
advertir sobre funciones de nivel superior sin firmas
[dinámica]

-Aviso-falta-exportado-sigs
advertir sobre funciones de nivel superior sin firmas, solo si se exportan. acepta
precedencia sobre-advertir-firmas-faltantes
[dinámica]

-Aviso-falta-local-sigs
advertir sobre enlaces locales polimórficos sin firmas
[dinámica]

restricción de monomorfismo de advertencia
advertir cuando se aplica la restricción de monomorfismo
[dinámica]

-avisar-nombre-sombreado
advertir cuando los nombres están sombreados
[dinámica]

-avisar-huérfanos, -avisar-auto-huérfanos
advertir cuando el módulo contiene declaraciones de instancias huérfanas o reglas de reescritura
[dinámica]

-avisar-patrones-superpuestos
advertir sobre patrones superpuestos
[dinámica]

pestañas de advertencia
advertir si hay pestañas en el archivo fuente
[dinámica]

-fwarn-tipo-predeterminado
advertir cuando ocurra un incumplimiento
[dinámica]

-advierte-pragmas-no-reconocidos
advertir sobre usos de pragmas que GHC no reconoce
[dinámica]

-advertir-constructores-promovidos-sin marcar
advertir si los constructores promocionados no están marcados
[dinámica]

-advertir-enlaces-no utilizados
advertir sobre las fijaciones que no se utilizan
[dinámica]

-advertir-importaciones-no utilizadas
advertir sobre importaciones innecesarias
[dinámica]

-avisar-partidos-no utilizados
advertir sobre variables en patrones que no se utilizan
[dinámica]

-Aviso-no utilizado-do-enlazar
advertir acerca de las vinculaciones que parecen descartar valores de tipos distintos a ()
[dinámica]

-avisar-mal-hacer-enlazar
advertir sobre enlaces que parecen desechar los valores monádicos que debe
se han unido en su lugar
[dinámica]

-advertir-inseguro
advertir si el módulo que se está compilando se considera inseguro. Debería utilizarse para comprobar
el estado de seguridad de los módulos cuando se utiliza inferencia segura. Funciona en todos los tipos de módulos,
incluso aquellos que utilizan modos explícitos de Safe Haskell (como -XConfiable) y así puede ser
solía hacer que el compilador verificara las suposiciones hechas.
[dinámica]

-aviso-seguro
advertir si el módulo que se está compilando se considera seguro. Debe usarse para verificar
el estado de seguridad de los módulos cuando se utiliza inferencia segura. Funciona en todos los tipos de módulos,
incluso aquellos que utilizan modos explícitos de Safe Haskell (como -XConfiable) y así puede ser
solía hacer que el compilador verificara las suposiciones hechas.
[dinámica]

-Aviso-confiable-seguro
advertir si el módulo que se está compilando está marcado como -XConfiable pero podría en su lugar
ser marcado como -Xseguro, un enlace más informativo. Puede usarse para detectar una vez una caja fuerte
El enlace de Haskell se puede mejorar a medida que se actualizan las dependencias.
[dinámica]

-fwarn-advertencias-desaprobaciones
advertir sobre los usos de funciones y tipos que tienen advertencias o pragmas obsoletos
[dinámica]

-avisar-amplificador
(en desuso) advierte sobre definiciones que entran en conflicto con la propuesta de mónada aplicativa
(AMPERIO)
[dinámica]

-Agujeros-mecanografiados
Informe de advertencias cuando los errores de orificios mecanografiados se aplazan hasta el tiempo de ejecución. Ver
-fdefer-mecanografiar-agujeros.
[dinámica]

-Aviso-firmas-de-tipo-parcial
advertir sobre los agujeros en las firmas de tipos parciales cuando -XFirmas de tipos parciales is
activado. No aplica cuando -XFirmas de tipos parciales no está habilitado, en cuyo caso
Se generan errores para tales agujeros. Ver .
[dinámica]

-advertir-derivar-tipificable
advertir cuando encuentre una solicitud para derivar una instancia de la clase Typeable. A partir de GHC
7.10, tales declaraciones son innecesarias y el compilador las ignora porque GHC
tiene un solucionador personalizado para descargar este tipo de restricción.
[dinámica]

MEJORAMIENTO NIVELES

-O0 Desactivar optimizaciones (predeterminado)
[dinámica]

-O or -O1
Habilitar optimizaciones de nivel 1
[dinámica]

-O2 Habilitar optimizaciones de nivel 2
[dinámica]

-Odph Habilitar optimizaciones de nivel 2, configurar -fmax-simplificador-iteraciones = 20 y
-fsimplificador-fases = 3.
[dinámica]

INDIVIDUAL OPTIMIZACIONES

-fcall-aridad
Habilite la optimización de call-arity. Implicado por -O.
[dinámica]

-fcase-merge
Habilite la combinación de mayúsculas y minúsculas. Implicado por -O.
[dinámica]

-fcmm-elim-bloques-comunes
Habilite la eliminación de bloque común de Cmm. Implicado por -O.
[dinámica]

-fcmm-fregadero
Habilite el hundimiento de Cmm. Implicado por -O.
[dinámica]

-fcpr-apagado
Desactive el análisis de RCP en el analizador de demanda.
[estático]

-fcse Habilite la eliminación de subexpresiones comunes. Implicado por -O.
[dinámica]

-dictos-baratos
Haga que las expresiones valoradas en el diccionario parezcan baratas para el optimizador.
[dinámica]

-fdictos-estrictos
Haga que los diccionarios sean estrictos
[dinámica]

-fdmd-tx-dict-sel

Utilice un transformador de demanda especial para los selectores de diccionario. Siempre habilitado por
predeterminado.
[dinámica]

-fdo-eta-reducción
Habilite la reducción de eta. Implicado por -O.
[dinámica]

-fdo-lambda-eta-expansión
Habilite la expansión eta de lambda. Siempre habilitado por defecto.
[dinámica]

-feager-ennegrecimiento
Enciende el ansioso blackholing
[dinámica]

-reglas-de-reescritura-de-fenable
Active todas las reglas de reescritura (incluidas las reglas generadas por la especialización automática
de funciones sobrecargadas). Implicado por -O.
[dinámica]

-fexceso-precisión
Habilitar el exceso de precisión intermedia
[dinámica]

-fexponer-todos-los-despliegues
Exponga todos los despliegues, incluso para funciones muy grandes o recursivas.
[dinámica]

flotar en
Encienda la transformación flotante. Implicado por -O.
[dinámica]

-ffull-holgazán
Activa la pereza total (fijaciones flotantes hacia afuera). Implicado por -O.
[dinámica]

-fun-to-thunk
Permitir que worker-wrapper convierta un cierre de función en un procesador si la función
no utiliza ninguno de sus argumentos. Desactivado por defecto.
[dinámica]

-fignore-afirma
Ignore las afirmaciones en la fuente. Implicado por -O.
[dinámica]

-fignore-interfaz-pragmas
Ignore los pragmas en los archivos de interfaz. Implicado por -O0 solamente.
[dinámica]

-flate-dmd-anal
Ejecute el análisis de demanda nuevamente, al final del proceso de simplificación
[dinámica]

-caja-fliberada
Encienda la transformación de caso liberado. Implicado por -O2.
[dinámica]

umbral de caso fliberado=n
Establezca el umbral de tamaño para la transformación de liberate-case en n (predeterminado: 2000)
[dinámica]

-floopificación
Convierta las llamadas de cola auto-recursivas saturadas en saltos locales en el
montaje. Implicado por -O.
[dinámica]

-fmax-inline-alloc-tamaño=n
Establezca el tamaño máximo de las asignaciones de matrices en línea en n bytes (predeterminado: 128). GHC
asignará matrices no fijadas de tamaño estáticamente conocido en el vivero actual
bloquear si no son más grandes que n bytes, ignorando la acumulación de GC. Este valor debe ser
bastante más pequeño que el tamaño del bloque (normalmente: 4096).
[dinámica]

-fmax-memcpy-insns en línea=n

Llamadas memcpy en línea si no generaran más de n pseudo instrucciones
(predeterminado: 32).
[dinámica]

-fmax-memset-insns en línea=n

Llamadas de Memset en línea si no generaran más de n pseudo instrucciones
(predeterminado: 32).
[dinámica]

-fmáx-enlaces-relevantes = n
Establezca el número máximo de enlaces que se mostrarán en los mensajes de error de tipo (predeterminado 6).
[dinámica]

-fmax-simplificador-iteraciones = n
Establezca las iteraciones máximas para el simplificador (por defecto 4).
[dinámica]

-fmax-worker-args = n
Si un trabajador tiene tantos argumentos, ya no se descomprimirá ninguno (predeterminado: 10)
[dinámica]

-fno-opt-coerción
Apague el optimizador de coerción
[estático]

-fno-pre-alineación
Desactivar el preinline
[dinámica]

-fno-estado-hack
Desactive el "truco de estado" mediante el cual cualquier lambda con un token de estado del mundo real como
El argumento se considera de entrada única. Por lo tanto, está bien insertar cosas dentro de él.
[estático]

-fomit-interfaz-pragmas
No genere pragmas de interfaz. Implicado por -O0 solamente.
[dinámica]

-fomit-rendimientos
Omita las comprobaciones de montón cuando no se esté realizando ninguna asignación.
[dinámica]

-fondos-pedantes
Haga que GHC sea más preciso sobre su tratamiento del fondo (pero vea también
-fno-estado-hack). En particular, GHC no se expandirá por eta a través de una expresión de caso.
[dinámica]

-fregs-gráfico
Utilice el asignador de registros de coloración de gráficos para la asignación de registros en el idioma nativo.
generador de códigos. Implicado por -O2.
[dinámica]

-fregs-iterativo
Utilice el asignador de registros de coloración de gráficos coalescentes iterativos en el código nativo
generador
[dinámica]

-fs-fases-simplificadoras = n
Establezca el número de fases para el simplificador (predeterminado 2). Ignorado con -O0.
[dinámica]

-fsimpl-tick-factor = n
Establezca el factor de porcentaje para los ticks del simplificador (predeterminado 100)
[dinámica]

-fspec-constr
Active la transformación SpecConstr. Implicado por -O2.
[dinámica]

-fspec-constr-recuento=n
Se establece en n (predeterminado: 3) el número máximo de especializaciones que se crearán
para cualquier función mediante la transformación SpecConstr
[dinámica]

-fspec-constr-umbral=n
Establezca el umbral de tamaño para la transformación SpecConstr en n (predeterminado: 2000)
[dinámica]

-especializar
Active la especialización de funciones sobrecargadas. Implicado por -O.
[dinámica]

-ftransformación-argumento-estático
Active la transformación de argumento estático.
[dinámica]

-estricción
Active el análisis de rigor. Implicado por -O.
[dinámica]

-festricción-antes=n
Ejecute un análisis de rigor adicional antes de la fase de simplificación n
[dinámica]

-funbox-pequeños-estrictos-campos
Aplanar campos de constructores estrictos con una representación del tamaño de un puntero. Implicado por
-O.
[dinámica]

-funbox-estrictos-campos
Aplanar campos de constructores estrictos
[dinámica]

-funfolding-creation-umbral = n
Modifica la configuración de despliegue. Predeterminado: 750
[dinámica]

-funfolding-dict-discount = n
Modifica la configuración de despliegue. Predeterminado: 30
[dinámica]

-descuentos-divertidos-plegables = n
Modifica la configuración de despliegue. Predeterminado: 60
[dinámica]

-factor-de-mantenimiento-de-funcionamiento = n
Modifica la configuración de despliegue. Predeterminado: 1.5
[dinámica]

-umbral-de-uso-plegable = n
Modifica la configuración de despliegue. Predeterminado: 60
[dinámica]

-fvectorización-evitación
Habilite la evitación de la vectorización. Siempre habilitado por defecto.
[dinámica]

-fvectorizar
Habilitar la vectorización del paralelismo de datos anidados
[dinámica]

PERFILANDO CAMPUS

-profe Activar la creación de perfiles
[dinámica]

-fprof-auto
Agregue automáticamente SCC a todos los enlaces que no estén marcados EN LÍNEA
[dinámica]

-fprof-auto-superior
Agregue automáticamente SCC a todos los enlaces de nivel superior que no estén marcados EN LÍNEA
[dinámica]

-fprof-auto-exportado
Agregue automáticamente SCC a todos los enlaces exportados que no estén marcados EN LÍNEA
[dinámica]

-fprof-cafés
Agregar automáticamente SCC a todos los CAF
[dinámica]

-fno-prof-count-entradas
No recopile recuentos de entradas
[dinámica]

-ticky Activar la creación de perfiles ticky-ticky
[dinámica]

PROGRAMA COBERTURA CAMPUS

-fhpc Activar la instrumentación de cobertura del programa Haskell
[dinámica]

-hpcdir dir
Directorio para depositar archivos .mix durante la compilación (el predeterminado es .hpc)
[dinámica]

Haskell PRE-PROCESADOR CAMPUS

-F Habilite el uso de un preprocesador (configurado con -pgmF)
[dinámica]

C PRE-PROCESADOR CAMPUS

-cpp Ejecute el preprocesador C en archivos fuente de Haskell
[dinámica]

-Dsímbolo=propuesta de
Definir un símbolo en el preprocesador C
[dinámica]

-Usímbolo
Desdefinir un símbolo en el preprocesador de C
[dinámica]

-Idir Añada dir a la lista de búsqueda de directorio para #include archivos
[dinámica]

CÓDIGO GENERACION CAMPUS

-fasmo Usa el generador de código nativo
[dinámica]

-fllvm Compilar usando el generador de código LLVM
[dinámica]

-fno-código
Omitir generación de código
[dinámica]

-fwrite-interfaz
Escriba siempre archivos de interfaz
[dinámica]

-código-fbyte
Generar código de bytes
[dinámica]

-código-fobject
Generar código de objeto
[dinámica]

ENLACE CAMPUS

-compartido
Genere una biblioteca compartida (a diferencia de un ejecutable)
[dinámica]

-libra estática
Solo en Darwin / OS X / iOS, genere una biblioteca estática independiente (a diferencia de una
ejecutable). Esta es la forma habitual de compilar para iOS.
[dinámica]

-fPIC Generar código independiente de la posición (donde esté disponible)
[dinámica]

-dinámica
Utilice bibliotecas dinámicas de Haskell (si están disponibles)
[dinámica]

-dinámico-también
Cree archivos de objetos dinámicos y archivos de objetos estáticos durante la compilación
[dinámica]

-dyno Establecer la ruta de salida para los objetos vinculados dinámicamente
[dinámica]

-dynosuf
Establecer el sufijo de salida para archivos de objetos dinámicos
[dinámica]

-carga dinámica
Selecciona uno de varios modos para buscar bibliotecas compartidas en tiempo de ejecución.
[dinámica]

-marco de referencia nombre
Solo en Darwin / OS X / iOS, enlace en el marco nombre . Esta opción corresponde a la
-marco de referencia opción para el enlazador de Apple.
[dinámica]

-trayecto-ruta nombre
Solo en Darwin / OS X / iOS, agregue dir a la lista de directorios buscados
marcos. Esta opción corresponde a la -F opción para el enlazador de Apple.
[dinámica]

-llib Enlace en biblioteca lib
[dinámica]

-Ldir Añada dir a la lista de directorios buscados por bibliotecas
[dinámica]

-principal-es
Establecer el módulo principal y la función
[dinámica]

--mk-dll
Modo de creación de DLL (solo Windows)
[dinámica]

-no-hs-principal
No asuma que este programa contiene main
[dinámica]

-rtsoptos, -rtsopts = {ninguno, algunos, todos}
Controle si el comportamiento de RTS se puede modificar a través de indicadores de línea de comandos y el
Variable de entorno GHCRTS. El uso de none significa que no se pueden dar banderas RTS; algunos medios
solo se puede dar un mínimo de opciones seguras (el valor predeterminado), y todas (o ningún argumento
en absoluto) significa que se permiten todas las banderas RTS.
[dinámica]

-with-rtsopts = opts
Establezca las opciones predeterminadas de RTS en opta.
[dinámica]

-No hay enlace
Omitir vinculación
[dinámica]

-objs divididos
Objetos divididos (para bibliotecas)
[dinámica]

-estático
Utilice bibliotecas estáticas de Haskell
[dinámica]

-enhebrado
Utilice el tiempo de ejecución con subprocesos
[dinámica]

-depurar Utilice el tiempo de ejecución de depuración
[dinámica]

-ticky Para vincular, esto simplemente implica -depurar; ver .
[dinámica]

-registro de eventos
Habilitar el seguimiento de eventos en tiempo de ejecución
[dinámica]

-fno-gen-manifiesto
No genere un archivo de manifiesto (solo Windows)
[dinámica]

-fno-incrustado-manifiesto
No incruste el manifiesto en el ejecutable (solo Windows)
[dinámica]

-fno-compartido-implib
No genere una biblioteca de importación para una DLL (solo Windows)
[dinámica]

-dylib-nombre-de-instalación camino
Establezca el nombre de instalación (a través de -install_name pasado al enlazador de Apple), especificando el
ruta de instalación completa del archivo de biblioteca. Cualquier biblioteca o ejecutable que se vincule con
más tarde tomará esa ruta como su ubicación de búsqueda en tiempo de ejecución. (Darwin / OS
X solamente)
[dinámica]

-rdinámico
Esto indica al vinculador que agregue todos los símbolos, no solo los usados, a la dinámica
tabla de símbolos. Actualmente solo Linux y Windows / MinGW32. Esto es equivalente a usar
-optl -rdynamic en Linux y -optl -export-all-symbols en Windows.
[dinámica]

ENCHUFAR CAMPUS

-fcomplemento=módulo
Cargar un complemento exportado por un módulo determinado
[dinámica]

-fplugin-optar=módulo: argumentos
Dar argumentos a un módulo de complemento; el módulo debe especificarse con -fcomplemento
[dinámica]

REEMPLAZO ETAPAS

-pgmL cmd
Uso cmd como el preprocesador alfabetizado
[dinámica]

-pgmP cmd
Uso cmd como el preprocesador C (con -cpp solamente)
[dinámica]

-pgmc cmd
Uso cmd como el compilador de C
[dinámica]

-pgmlo cmd
Uso cmd como el optimizador LLVM
[dinámica]

-pgmlc cmd
Uso cmd como compilador LLVM
[dinámica]

-pgms cmd
Uso cmd como el divisor
[dinámica]

-pgma cmd
Uso cmd como el ensamblador
[dinámica]

-pgml cmd
Uso cmd como el enlazador
[dinámica]

-pgmdll cmd
Uso cmd como el generador de DLL
[dinámica]

-pgmF cmd
Uso cmd como preprocesador (con -F solamente)
[dinámica]

-pgmwindres cmd
Uso cmd como el programa para incrustar manifiestos en Windows.
[dinámica]

-pgmlibtool cmd
Uso cmd como el comando para libtool (con -libra estática solamente).
[dinámica]

-pgmreadelf cmd
Uso cmd como el comando para readelf (parte de Unix binutils)
[dinámica]

FORZANDO CAMPUS A PARTICULAR ETAPAS

-optL opción
pass opción al preprocesador alfabetizado
[dinámica]

-optP opción
pass opción a cpp (con -cpp solamente)
[dinámica]

-optF opción
pass opción al preprocesador personalizado
[dinámica]

-óptico opción
pass opción al compilador de C
[dinámica]

-optar opción
pass opción al optimizador LLVM
[dinámica]

-optlc opción
pass opción al compilador LLVM
[dinámica]

-opta opción
pass opción al ensamblador
[dinámica]

-optar opción
pass opción al enlazador
[dinámica]

-optdll opción
pass opción al generador de DLL
[dinámica]

-optwindres opción
pass opción a windres.
[dinámica]

ESPECÍFICO DE PLATAFORMA CAMPUS

-msse2 (solo x86) Use SSE2 para punto flotante
[dinámica]

COMPILADOR DEPURACIÓN CAMPUS

-dcore-pelusa
Activar la comprobación de cordura interna
[dinámica]

-ddump-a-archivo
Volcar a archivos en lugar de stdout
[dinámica]

-ddump-asm
Montaje de descarga
[dinámica]

-ddump-bcos
Volcar código de bytes del intérprete
[dinámica]

-ddump-cmm
Volcado C - salida
[dinámica]

-ddump-core-estadísticas
Imprima un resumen de una línea del tamaño del programa principal al final del
canalización de optimización
[dinámica]

-ddump-cse
Volcar salida CSE
[dinámica]

-ddump-derivado
Volcado de salida derivada
[dinámica]

-ddump-ds
Volcado de salida desugarer
[dinámica]

-ddump-extranjero
Volcar talones de exportación extranjera
[dinámica]

-ddump-hpc
Volcado después de la instrumentación para la cobertura del programa
[dinámica]

-ddump-inlines
Volcar información de alineación
[dinámica]

-ddump-llvm
Volcar código intermedio LLVM
[dinámica]

-ddump-ocurre-anal
Salida del análisis de ocurrencia de volcado
[dinámica]

-ddump-opt-cmm
Volcar los resultados de C-- a C-- optimizando pases
[dinámica]

-ddump-analizado
Volcar árbol de análisis
[dinámica]

-ddump-preparación
Volcar núcleo preparado
[dinámica]

-ddump-rn
Volcado de salida del renombrador
[dinámica]

-ddump-rule-disparos
Información de activación de reglas de volcado
[dinámica]

-ddump-rule-reescribe
Volcar información detallada de activación de reglas
[dinámica]

-ddump-reglas
Reglas de volcado
[dinámica]

-ddump-vect
Volcado de entrada y salida del vectorizador
[dinámica]

-ddump-simple
Volcado de salida final del simplificador
[dinámica]

-ddump-simpl-iteraciones
Volcar la salida de cada iteración del simplificador
[dinámica]

-ddump-especificación
Salida del especialista en volcado
[dinámica]

-ddump-empalmes
Volcar expresiones empalmadas de TH y lo que evalúan
[dinámica]

-ddump-stg
Volcar STG final
[dinámica]

-ddump-stranal
Volcado de salida del analizador de rigurosidad
[dinámica]

-ddump-strsigs
Volcar firmas de rigor
[dinámica]

-ddump-tc
Volcado de salida del comprobador de tipos
[dinámica]

-archivo-dth-dec
Mostrar declaraciones TH evaluadas en un archivo .th.hs
[dinámica]

-ddump-tipos
Firmas de tipo de volcado
[dinámica]

-ddump-trabajador-envoltura
Volcado de salida de envoltorio de trabajador
[dinámica]

-ddump-if-rastreo
Archivos de interfaz de seguimiento
[dinámica]

-ddump-tc-traza
Comprobador de tipo de seguimiento
[dinámica]

-ddump-vt-rastreo
Vectorizador de seguimiento
[dinámica]

-ddump-rn-rastreo
Renombrador de seguimiento
[dinámica]

-ddump-rn-estadísticas
Estadísticas de Renamer
[dinámica]

-ddump-simpl-estadísticas
Estadísticas del simplificador de volcado
[dinámica]

-dno-debug-salida
Suprime la salida de depuración no solicitada
[estático]

-dppr-depuración
Activar la impresión de depuración (más detallado)
[estático]

-dppr-longitud-de-usuario
Establecer la profundidad para imprimir expresiones en mensajes de error
[dinámica]

-dppr-colsNNN
Establezca el ancho de la salida de depuración. Por ejemplo -dppr-cols200
[dinámica]

-dppr-caso-como-let
Imprima expresiones de caso único alternativo como estrictos permite.
[dinámica]

-dsupress-todo
En los volcados de memoria, suprima todo lo que se pueda suprimir (excepto los únicos).
[dinámica]

-dsuppress-uniques
Suprime la impresión de únicos en la salida de depuración (más fácil de usar diff)
[dinámica]

-dsuppress-idinfo
Suprimir información extendida sobre identificadores donde están vinculados
[dinámica]

-dsuppress-módulo-prefijos
Suprimir la impresión de prefijos de calificación de módulo
[dinámica]

-dsuppress-type-firmas
Suprimir firmas de tipos
[dinámica]

-dsuppress-type-aplicaciones
Suprimir aplicaciones de tipo
[dinámica]

-dsuppress-coacciones
Suprime la impresión de coacciones en los volcados de Core para acortarlos
[dinámica]

-dsource-estadísticas
Volcar estadísticas de fuentes de Haskell
[dinámica]

-dcmm-pelusa
C-- pasar la verificación de cordura
[dinámica]

-dstg-pelusa
Comprobación de cordura de pase STG
[dinámica]

-dstg-estadísticas
Volcar estadísticas de STG
[dinámica]

-dverbose-core2core
Muestre el resultado de cada pasada de núcleo a núcleo
[dinámica]

-dverbose-stg2stg
Muestra la salida de cada pase de STG a STG
[dinámica]

-pasos-de-show
Imprime el nombre de cada pase a medida que suceda
[dinámica]

-dfaststring-estadísticas
Mostrar estadísticas para el uso rápido de cuerdas cuando haya terminado
[dinámica]

-comprobación de frutas
Informe los sitios con reglas que podrían haberse disparado pero no lo hicieron. Toma un argumento de cadena.
[dinámica]

MISC COMPILADOR CAMPUS

-jN Al compilar con --make, compile N módulos en paralelo.
[dinámica]

-fno-alta-versión-comprobación
No se queje de los desajustes de archivos .hi
[dinámica]

tamaño de la historia
Establecer el tamaño del historial de simplificación
[dinámica]

-fno-ghci-historia
No utilice cargar / almacenar el historial de comandos de GHCi desde / hacia ghci_history.
[dinámica]

-fno-ghci-caja de arena
Apague la caja de arena de GHCi. Significa que los cálculos se ejecutan en el hilo principal, en lugar de
que un hilo bifurcado.
[dinámica]

Utilice ghc en línea utilizando los servicios de onworks.net