ghc - Trực tuyến trên đám mây

CHƯƠNG TRÌNH:

TÊN

GHC - Trình biên dịch Glasgow Haskell

SYNOPSIS

ghc [tùy chọn|tên tập tin] ...
ghci [tùy chọn|tên tập tin] ...

MÔ TẢ

Trang hướng dẫn sử dụng này tài liệu ngắn gọn về ghc và ghci các lệnh. Lưu ý rằng ghci chưa
có sẵn trên tất cả các kiến ​​trúc. Tài liệu mở rộng có sẵn trong nhiều
các định dạng bao gồm DVI, PostScript và HTML; xem bên dưới.

Mỗi tùy chọn dòng lệnh của GHC được phân loại là tĩnh or năng động. Tĩnh
cờ chỉ có thể được chỉ định trên dòng lệnh, trong khi cờ động cũng có thể được cung cấp
trong một pragma TÙY CHỌN trong tệp nguồn hoặc được đặt từ dòng lệnh GHCi với: set.

Theo nguyên tắc chung, tất cả các tùy chọn ngôn ngữ là động, cũng như các tùy chọn cảnh báo và
các tùy chọn gỡ lỗi.

Phần còn lại là tĩnh, với các ngoại lệ đáng chú ý là -v, -cpp, -fasm, -fvia-C, -flvmvà
"- # bao gồm. Phần TÙY CHỌN liệt kê trạng thái của mỗi cờ.

Các hậu tố phổ biến của tên tệp cho Haskell là:

.hs Mã nguồn Haskell; tiền xử lý, biên dịch

.lhs nguồn Haskell biết chữ; unlit, tiền xử lý, biên dịch

.Chào Tập tin giao diện; chứa thông tin về các ký hiệu đã xuất

.hc tệp C trung gian

.x_o cách x các tệp đối tượng; những cách phổ biến là: p, u, s

.x_Chào cách x tệp giao diện

LỰA CHỌN

Độ dài lựa chọn
-v -vn -fprint-explicit-foralls -fprint-rõ ràng-loại -ferror-spans -Hkích thước
-Rghc-thời gian

Thay thế chế độ of hoạt động
--Cứu giúp,-? - tương tác --make -e expr --show-iface -M - hỗ trợ-tiện ích mở rộng,
- ngôn ngữ được hỗ trợ --show-options --info --version, -V --numeric-version
--print-libdir

Cái nào giai đoạn đến chạy
-E -C -S -c -x hậu tố

Chuyển hướng đầu ra
-hcsuf hậu tố -hidir dir -hisuf hậu tố -o tên tập tin -thơm dir -ồ tên tập tin -osuf
hậu tố -stubdir dir -dumpdir dir -outputdir dir

Duy trì trung gian các tập tin
-keep-hc-file hoặc
-keep-hc-files -keep-llvm-file hoặc
-keep-llvm-files -keep-s-file hoặc
-keep-s-files -keep-tmp-files

Thẻ Tạm thời các tập tin
-tmpdir

Tìm kiếm nhập khẩu
-iyou1:you2:... -tôi

Giao thức hồ sơ lựa chọn
-ddump-hi -ddump-hi-diffs -ddump-minimal-import --show-iface hồ sơ

Biên dịch kiểm tra
-fforce-retmp -fno-force-remp

Chế độ tương tác lựa chọn
-ignore-dot-ghci -ghci-script -fbreak-on-error -fno-break-on-error -fbreak-on-Exception
-fno-break-on-exception -fghci-hist-size = n (mặc định là 50) -fprint-evld-with-show
-fno-print-evld-with-show -fprint-bind-result -fno-print-bind-result
-fno-print-bind-content -fno-implicit-import-enough -interactive-print

Gói
-chìa-khoá-gói-này P -gói P -hide-tất cả-gói-ẩn-gói tên -gói lớn
tên -gói-db hồ sơ -clear-gói-db -no-global-package-db -global-package-db
-no-user-package-db -user-package-db -no-auto-link-package -trust P -không tin tưởng P
-không tin tưởng-tất cả

Ngôn ngữ lựa chọn
-fcontext-stack =n -fglasgow-exts -fno-glasgow-exts -firrefutable-tuples
-fno-không thể chối cãi-tuples -fpackage-trust -ftype-function-depth =n -XAllowMập mờTypes
-XNoAllowAmbiguousTypes -XArrows -XNoArrows -XAutoDeriveTyprable -XNoAutoDeriveTyprable
-XBangPatterns -XNoBangPatterns -XBinaryLiterals -XNoBinaryLiterals -XCApiFFI
-XNoCAPIFFI -XConstrainedClassMethods -XNoConsrainedClassMethods -XConstraintKinds
-XNoConstraintKinds -XCPP -XNoCPP -XDataKinds -XNoDataKinds -XDefaultSignatures
-XNoDefaultSignatures -XDeriveAnyClass -XNoDeriveAnyClass -XDeriveDataTypable
-XNoDeriveDataTypable -XDeriveFunctor -XNoDeriveFunctor -XDeriveFoldable
-XNoDeriveFoldable -XDeriveGeneric -XNoDeriveGeneric -XDeriveTraversable
-XNoDeriveTraversable -XDisambiguateRecordFields -XNoDisambiguateRecordFields
-XEmptyCase -XNoEmptyCase -XEmptyDataDecls -XNoEmptyDataDecls
-XExistentialQuantification -XNoExistentialQuantification -XExplicitForAll
-XNoExplicitForAll -XExplicitNamespaces -XNoExplicitNamespaces -XExtendsDefaultRules
-XNoExtendsDefaultRules -XFlexibleContexts -XNoFlexibleContexts -XFlexibleInstances
-XNoFlexibleInstances -XForeignFunctionInterface -XNoForeignFunctionInterface
-XF Chức năng phụ thuộc -XNoF Chức năng phụ thuộc -XGADTs -XNoGADTs -XGADTSyntax
-XNoGADTSyntax -XGene khoángNewtypeDeriving -XNoGene khoángNewtypeDeriving -XGenerics
-XNoGenerics -XImplicitParams -XNoImplicitParams -XNoImplicitPrelude -XImplicitPrelude
-XImpredicativeTypes -XNoImpredicativeTypes -XIncoosystemInstances -XNoInconatingInstances
-XInstanceSigs -XNoInstanceSigs -XInterruptibleFFI -XNoInterruptibleFFI -XKindSignatures
-XNoKindSignatures -XLambdaCase -XNoLambdaCase -XLiberalTypeSynonyms
-XNoLiberalTypeSynonyms -XMagicHash -XNoMagicHash -XMonadComp hiểu
-XNoMonadComp hiểu -XMonoLocalBinds -XNoMonoLocalBinds -XNoMonomorphismRestrict
-XMonomorphismRestrict -XMultiParamTypeClasses -XNoMultiParamTypeClasses -XMultiWayIf
-XNoMultiWayIf -XNamedFieldPuns -XNoNamedFieldPuns -XNamedWildCards -XNoNamedWildCards
-XNegativeLiterals -XNoNegativeLiterals -XNoNPlusKPotypes -XNPlusKPatters
-XNullaryTypeClasses -XNoNullaryTypeClasses -XNumDecimals -XNoNumDecimals
-XOverlapInstances -XNoOverlapInstances -XOverloadedLists -XNoOverloadedLists
-XOverloadedStrings -XNoOverloadedStrings -XPackageImports -XNoPackageImports
-XParallelArrays -XNoParallelArrays -XParallelListComp -XNoParallelListComp
-XPartialTypeSignatures -XNoPartialTypeSignatures -XPatternGuards -XNoPatternGuards
-XPatternTừ đồng nghĩa -XNoPatternTừ đồng nghĩa -XPolyKinds -XNoPolyKinds -XPPolymorphicComponents
-XNoPolymorphicComponents -XPostfixOperators -XNoPostfixOperators -XQuasiQuotes
-XNoQuasiQuotes -XRank2Types -XNoRank2Types -XRankNTypes -XNoRankNTypes
-XRebindableSyntax -XNoRebindableSyntax -XRecordWildCards -XNoRecordWildCards
-XRecursiveDo -XNoRecursiveDo -XRelaxedPolyRec -XNoRelaxedPolyRec -XRoleAnnotations
-XNoRoleAnnotations -XSafe -XScopedTypeVariables -XNoScopedTypeVariables
-XStandaloneDeriving -XNoStandaloneDeriving -XTemplateHaskell -XNoTemplateHaskell
-XNoTraditionalRecordSyntax -XTraditionalRecordSyntax -XTransformListComp
-XNoTransformListComp -XTrustworthy -XTupleSection -XNoTupleSection -XTypeFamilies
-XNoTypeFamilies -XTypeOperators -XNoTypeOperators -XTypeSynonymInstances
-XNoTypeSynonymInstances -XUnboxedTuples -XNoUnboxedTuples -XUndecosystemInstances
-XNoUndecosystemInstances -XUnicodeSyntax -XNoUnicodeSyntax -XUnliftedFFITypes
-XNoUnliftedFFITypes -XUnsafe -XViewPatterns -XNoViewPatterns

Cảnh báo
-W -w -w -Wall -w -Werror -Wwarn -fdefer-type-error -fno-defer-type-error
-fdefer-typed-lỗ -fno-defer-typed-lỗ -fhelpful-error -fno-ích-lỗi
-fwarn-phản đối-flags -fno-cảnh báo-không chấp nhận-flags -fwarn-trùng lặp-ràng buộc
-fno-cảnh báo-trùng lặp-ràng buộc -fwarn-trùng lặp-xuất khẩu -fno-cảnh báo-trùng lặp-xuất khẩu
-fwarn-hi-shadowing -fno-warning-hi-shadowing -fwarn-danh tính -fno-warning-danh tính
-fwarn-implicit-prelude -fno-warning-implicit-prelude -fwarn-chưa đầy đủ-mẫu
-fno-cảnh báo-không đầy đủ-mẫu-cảnh báo-không đầy-đủ-đơn-mẫu
-fno-cảnh báo-không đầy đủ-đơn-mẫu-cảnh báo-không đầy-đủ-bản-ghi-cập nhật
-fno-cảnh báo-không đầy đủ-hồ sơ-cập nhật -fwarn-lười biếng-không có-ràng buộc
-fno-warning-lazy-unfted-bindings -fwarn-thiếu-các trường -fno-warning-thiếu-các trường
-fwarn-thiếu-nhập-danh sách -fnowarn-thiếu-nhập-danh sách -fwarn-thiếu-phương pháp
-fno-cảnh báo-thiếu-phương pháp-cảnh báo-thiếu-chữ ký -fno-cảnh báo-thiếu-chữ ký
-fwarn-thiếu-xuất-sigs -fno-cảnh báo-thiếu-xuất-sigs -fwarn-thiếu-cục bộ-sigs
-fno-warning-missing-local-sigs -fwarn-monomorphism-hạn chế
-fno-warning-monomorphism-hạn chế -fwarn-name-shadowing -fno-warning-name-shadowing
-fwarn-mồ côi, -fwarn-auto-mồ côi -fno-cảnh báo-mồ côi, -fno-cảnh báo-auto-trẻ mồ côi
-fwarn-chồng chéo-mô hình -fno-cảnh báo-chồng chéo-mô hình -fwarn-tab -fno-cảnh báo-tab
-fwarn-type-defaults -fno-warning-type-defaults -fwarn-uncognized-pragmas
-fno-warning-uncognized-pragmas -fwarn-unsicked-thăng-hàm tạo
-fno-warning-unsicked-thăng-tiến-constructors -fwarn-không sử dụng-liên kết -fno-cảnh báo-không sử dụng-liên kết
-fwarn-chưa sử dụng-nhập khẩu -fno-cảnh báo-không sử dụng-nhập khẩu -fwarn-không sử dụng-phù hợp
-fno-cảnh báo-không sử dụng-phù hợp -fwarn-không sử dụng-do-ràng buộc -fno-cảnh báo-không sử dụng-do-ràng buộc
-fwarn-sai-do-bind -fno-warning-sai-do-bind -fwarn-không an toàn -fno-cảnh báo-không an toàn -fwarn-an toàn
-fno-warning-safe -fwarn-đáng tin cậy-an toàn -fno-cảnh báo-an toàn -fwarn-cảnh báo-phản đối
-fno-warning-warning-từ chối -fwarn-amp -fno-warning-amp -fwarn-typed-lỗ
-fno-warning-typed-lỗ -fwarn-một phần-loại-chữ ký-không-cảnh báo-một phần-loại-chữ ký
-fwarn-dẫn xuất-có thể đánh máy -fno-cảnh báo-dẫn xuất-có thể đánh máy

Tối ưu hoá niveaux
-O0 -O -O hoặc -O1 -O0 -O2 -O0 -Odph

Cá nhân tối ưu hóa
-fcall-arity -fno-call-arity -fcase-merge -fno-case-merge -fcmm-elim-common-blocks
-fno-cmm-elim-common-blocks -fcmm-chìm -fno-cmm-chìm -fcpr-off -fcse -fno-cse
-fno-dicts-rẻ -fno-dicts-rẻ -fdicts-nghiêm ngặt -fno-dicts-nghiêm ngặt -fdmd-tx-dict-sel
-fno-dmd-tx-dict-sel -fdo-eta-Reduce -fno-do-eta-Reduce
-fdo-lambda-eta-mở rộng -fno-do-lambda-eta-mở rộng -feager-blackholing
-fenable-rewrite-rules -fno-enable-rewrite-rules -fexcess-precision -fno-too-precision
-fno-phơi-bày-tất cả-mở ra -ffloat-in -fno-float-in
-ffull-laziness -fno-full-laziness -ffun-to-thunk -fno-fun-to-thunk -fignore-khẳng định
-fno-ignore-Confirmts -fignore-interface-pragmas -fno-ignore-interface-pragmas
-flate-dmd-anal -fno-late-dmd-anal -fliberate-case -fliberate-case-ngưỡng =n
-fno-giải phóng-trường hợp-ngưỡng -floopification -fno-loopification
-fmax-inline-Distribution-size =n
-fmax-inline-memcpy-insns =n

-fmax-inline-memset-insns =n
-fmax-Related-binds = n -fno-max-Related-bindings
-fmax-simplefier-iterations = n -fmax-worker-args = n -fno-opt-coercion -fno-pre-inline
-fno-state-hack -fomit-interface-pragmas -fno-omit-interface-pragmas -fomit-yields
-fno-omit-yields -fpedantic-bottomoms -fno-pedantic-bottom -fregs-graph -fno-regs-graph
-fregs-iterative -fno-regs-iterative -fsimplifier-phase = n -fsimpl-tick-factor = n
-fspec-constr -fno-spec-constr -fspec-constr-count =n -fno-spec-constr-count
-fspec-constr-ngưỡng =n -fno-spec-constr-ngưỡng -fspecialise -fno-professional
-fstatic-đối số-biến đổi -fno-tĩnh-đối số-chuyển đổi -fstrictness
-fno-nghiêm ngặt -fstrictness-before =n -funbox-nhỏ-nghiêm ngặt-lĩnh vực
-fno-unbox-small-nghiêm ngặt-lĩnh vực -funbox-nghiêm ngặt-lĩnh vực -fno-unbox-nghiêm ngặt-lĩnh vực
-funfolding-tạo-ngưỡng = n -funfolding-dict-giảm giá = n -funfolding-niềm vui-giảm giá = n
-funfolding-keeness-factor = n -funfolding-use-ngưỡng = n -fvectorisation-tránh
-fno-vectorisation-tránh -fvectorise -fno-vectorise

Hồ sơ lựa chọn
-prof -fprof-auto -fno-prof-auto -fprof-auto-top -fno-prof-auto -fprof-auto-export
-fno-prof-auto -fprof-cafs -fno-prof-cafs -fno-prof-count-entry -fprof-count-entry
-dính

chương trình bảo hiểm lựa chọn
thư mục -fhpc -hpcdir

Haskell tiền xử lý lựa chọn
-F

C tiền xử lý lựa chọn
-cpp -Dbiểu tượng=giá trị -U -Ubiểu tượng -Idir

Mã thế hệ lựa chọn
-fasm -fllvm -fno-code -fwrite-interface -fbyte-code -fobject-code

Liên kết lựa chọn
-shared -staticlib -fPIC -dynamic -dynamic-too -dyno -dynosuf -dynload -framework
tên -framework-path tên -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-kê khai -fno-nhúng-tệp kê khai -fno-shared-implib
-dylib-tên cài đặt con đường -rđộng

Cắm vào lựa chọn
-fplugin =mô-đun -fplugin-opt =mô-đun: args

thay thế giai đoạn
-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

Buộc lựa chọn đến riêng giai đoạn
-optL tùy chọn -optP tùy chọn -optF tùy chọn -optc tùy chọn -optlo tùy chọn -optlc tùy chọn
-opta tùy chọn -optl tùy chọn -optdll tùy chọn -optwindres tùy chọn

Nền tảng cụ thể lựa chọn
-msse2

Trình biên dịch gỡ lỗi lựa chọn
-dcore-lint -ddump-to-file -ddump-asm -ddump-bcos -ddump-cmm -ddump-core-stats
-dump-cse -ddump-originv -ddump-ds -ddump-Foreign -ddump-hpc -ddump-inliness
-dump-llvm -dump-xảy ra-anal -dump-opt-cmm -ddump-parsed -ddump-prep -ddump-rn
-ddump-rule-firings -ddump-rule-rewrites -ddump-rules -ddump-vect -ddump-simpl
-ddump-simpl-iterations -ddump-spec -ddump-splices -ddump-stg -ddump-stranal
-ddump-strsigs -ddump-tc -dth-dec-file -ddump-styles -ddump-worker-wrapper
-dump-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-signature -dsuppress-type-Applications
-dsuppress-ép buộc -dsource-stats -dcmm-lint -dstg-lint -dstg-stats
-dverbose-core2core -dverbose-stg2stg -dshow-pass -dfaststring-stats -frule-check

Khác trình biên dịch lựa chọn
-jN -fno-hi-version-check -fhistory-size -fno-ghci-history -fno-ghci-sandbox

ĐỘ RÕ RÀNG LỰA CHỌN

-v chế độ tiết (tương đương với -V3)
[năng động]

-vn đặt mức độ chi tiết
[năng động]

-fprint-rõ ràng-foralls
in định lượng forall rõ ràng trong các loại
[năng động]

-fprint-rõ ràng-các loại
in các foralls loại rõ ràng và các đối số loại trong các loại
[năng động]

-ferror-kéo dài
xuất toàn bộ khoảng thời gian trong thông báo lỗi
[năng động]

-Hkích thước Đặt kích thước đống tối thiểu thành kích thước
[năng động]

-Rghc-thời gian
Tổng hợp thống kê thời gian cho GHC (giống như + RTS -tstderr)
[năng động]

THAY THẾ CHẾ ĐỘ OF HOẠT ĐỘNG

--Cứu giúp,-?
Tranh chấp giúp đỡ
[chế độ]

- tương tác
Chế độ tương tác - thường được sử dụng bằng cách chạy ghci; xem chi tiết.
[chế độ]

--chế tạo Xây dựng một chương trình Haskell nhiều mô-đun, tự động tìm ra các yếu tố phụ thuộc.
Có thể dễ dàng và nhanh hơn nhiều so với việc sử dụng make; xem chi tiết ..
[chế độ]

-e thể hiện
Đánh giá thể hiện; xem chi tiết.
[chế độ]

--show-iface
Hiển thị nội dung của tệp giao diện.
[chế độ]

-M Tạo thông tin phụ thuộc phù hợp để sử dụng trong Makefile; xem chi tiết.
[chế độ]

- phần mở rộng được hỗ trợ, - ngôn ngữ được hỗ trợ
hiển thị các tiện ích mở rộng ngôn ngữ được hỗ trợ
[chế độ]

--show-tùy chọn
hiển thị các tùy chọn dòng lệnh được hỗ trợ
[chế độ]

--thông tin hiển thị thông tin về trình biên dịch
[chế độ]

--phiên bản, -V
hiển thị phiên bản GHC
[chế độ]

- phiên bản số
hiển thị phiên bản GHC (chỉ số)
[chế độ]

--print-libdir
hiển thị thư mục thư viện GHC
[chế độ]

MÀ GIAI ĐOẠN ĐẾN CHẠY

-E Dừng sau khi xử lý trước (tệp .hspp)
[chế độ]

-C Dừng sau khi tạo C (tệp .hc)
[chế độ]

-S Dừng sau khi tạo assembly (tệp .s)
[chế độ]

-c Dừng sau khi tạo tệp đối tượng (.o)
[chế độ]

-x hậu tố
Ghi đè hành vi mặc định cho các tệp nguồn
[năng động]

CHỈNH SỬA OUTPUT

-hcsuf hậu tố
đặt hậu tố để sử dụng cho các tệp C trung gian
[năng động]

-hidir dir
đặt thư mục cho các tệp giao diện
[năng động]

-hisuf hậu tố
đặt hậu tố để sử dụng cho các tệp giao diện
[năng động]

-o tên tập tin
đặt tên tệp đầu ra
[năng động]

-thơm dir
đặt thư mục cho các tệp đối tượng
[năng động]

-ồ tên tập tin
đặt tên tệp để đặt giao diện
[năng động]

-osuf hậu tố
đặt hậu tố tệp đầu ra
[năng động]

-stubdir dir
chuyển hướng tệp sơ khai FFI
[năng động]

-dumpdir dir
chuyển hướng tệp kết xuất
[năng động]

-outputdir dir
đặt thư mục đầu ra
[năng động]

DUY TRÌ TRUNG GIAN CÁC TẬP TIN

-keep-hc-tệp or
-keep-hc-tệp giữ lại các tệp .hc trung gian
[năng động]

-keep-llvm-tệp or
-keep-llvm-tệp giữ lại các tệp .ll LLVM trung gian
[năng động]

-keep-s-file or
-keep-s-files giữ lại các tệp .s trung gian
[năng động]

-keep-tmp-tệp
giữ lại tất cả các tệp tạm thời trung gian
[năng động]

TẠM THỜI CÁC TẬP TIN

-tmpdir
đặt thư mục cho các tệp tạm thời
[năng động]

PHÁT HIỆN HÀNG NHẬP KHẨU

-iyou1:you2: ...
thêm vào dir, you2, v.v. để nhập đường dẫn
[dynamic /: set]

-i Làm trống danh sách thư mục nhập
[dynamic /: set]

GIAO DIỆN FILE LỰA CHỌN

-dump-hi
Chuyển giao diện mới sang stdout
[năng động]

-dump-hi-diffs
Hiển thị sự khác biệt so với giao diện cũ
[năng động]

-dump-tối thiểu-nhập khẩu
Bán phá giá một nhóm hàng nhập khẩu tối thiểu
[năng động]

--show-iface hồ sơ
Nhìn thấy .
[]

PHỤC HỒI KIỂM TRA

-fforce-regmp
Tắt kiểm tra biên dịch lại. Điều này được ngụ ý bởi bất kỳ -dump-X tùy chọn khi
biên dịch một tệp duy nhất (tức là khi sử dụng -c).
[năng động]

CHẾ ĐỘ TƯƠNG TÁC LỰA CHỌN

-bỏ qua-chấm-ghci
Tắt tính năng đọc tệp .ghci
[năng động]

-ghci-script
Đọc các tệp .ghci bổ sung
[năng động]

-fbreak-on-lỗi
Phá vỡ các ngoại lệ và lỗi chưa được suy nghĩ
[năng động]

-fbreak-on-ngoại lệ
Phá vỡ bất kỳ ngoại lệ nào được ném ra
[năng động]

-fghci-hist-size = n
Đặt số lượng mục GHCi lưu giữ cho: lịch sử
[năng động]

-fprint-evld-with-show
Cho phép sử dụng Hiển thị phiên bản trong: print
[năng động]

-fprint-bind-kết quả
Bật tính năng in kết quả ràng buộc trong GHCi
[năng động]

-fno-print-bind-content
Tắt tính năng in nội dung ràng buộc trong GHCi
[năng động]

-fno-implicit-import-đủ điều kiện
Tắt tính năng nhập đủ điều kiện ngầm định của mọi thứ trong GHCi
[năng động]

-tương tác-in
Chọn chức năng để sử dụng để in các biểu thức được đánh giá trong GHCi
[năng động]

GÓI

-chìa-khoá-gói-này P
Biên dịch để trở thành một phần của gói P
[năng động]

-gói P
Phơi gói P
[dynamic /: set]

-hide-all-pack
Ẩn tất cả các gói theo mặc định
[năng động]

-hide-gói tên
Ẩn gói hàng P
[dynamic /: set]

-gói lớn tên
Bỏ qua gói P
[dynamic /: set]

-gói-db hồ sơ
Thêm hồ sơ vào gói db stack.
[năng động]

-xóa-gói-db
Xóa gói db.
[năng động]

-no-global-gói-db
Xóa gói toàn cầu db khỏi ngăn xếp.
[năng động]

-gói toàn cầu-db
Thêm gói toàn cục db vào ngăn xếp.
[năng động]

-no-user-gói-db
Xóa gói db của người dùng khỏi ngăn xếp.
[năng động]

-người-dùng-gói-db
Thêm gói db của người dùng vào ngăn xếp.
[năng động]

-không-tự-động-liên-kết-gói
Không tự động liên kết trong các gói cơ sở và rts.
[năng động]

-Lòng tin P
Phơi gói P và đặt nó là đáng tin cậy
[dynamic /: set]

-không tin tưởng P
Phơi gói P và đặt nó là không đáng tin cậy
[dynamic /: set]

-không tin tưởng-tất cả
Không tin tưởng tất cả các gói theo mặc định
[dynamic /: set]

NGÔN NGỮ LỰA CHỌN

-fcontext-stack =n
đặt giới hạn cho việc giảm ngữ cảnh loại lớp. Mặc định là 100.
[năng động]

-fglasgow-exts
Không được chấp nhận. Bật hầu hết các tiện ích mở rộng ngôn ngữ; xem chính xác những cái nào.
[năng động]

-firerefutable-tuples
Làm cho phù hợp với mô hình tuple không thể chối cãi
[năng động]

-fpackage-tin cậy
Bật yêu cầu gói tin cậy Safe Haskell cho các mô-đun đáng tin cậy.
[năng động]

-ftype-function-depth =n
đặt giới hạn cho việc giảm hàm kiểu. Mặc định là 200.
[năng động]

-XAllowMập mờTypes
Cho phép người dùng viết các kiểu không rõ ràng và công cụ suy luận kiểu để suy ra
Chúng.
[năng động]

-XMũi tên
Bật tiện ích mở rộng ký hiệu mũi tên
[năng động]

-XAutoDeriveTypable
Đối với GHC 7.10, tùy chọn này là không cần thiết và không nên sử dụng. Tự động
dẫn xuất các thể hiện có thể đánh máy cho mọi kiểu dữ liệu và khai báo lớp kiểu. Ngụ ý
-XDeriveDataTypable.
[năng động]

-Mô hình XBang
Bật các mẫu tiếng nổ.
[năng động]

-XBinaryVăn bản
Bật hỗ trợ cho các ký tự nhị phân.
[năng động]

-XCApiFFI
Bật quy ước gọi CAPI.
[năng động]

-XConstrainedClassMethod
Bật các phương thức lớp bị ràng buộc.
[năng động]

-XConstraintCác loại
Kích hoạt một loại ràng buộc.
[năng động]

-XCPP Bật bộ tiền xử lý C.
[năng động]

-XDataKinds
Bật quảng cáo loại dữ liệu.
[năng động]

-XDefaultChữ ký
Bật chữ ký mặc định.
[năng động]

-XDeriveAnyClass
Cho phép dẫn xuất cho bất kỳ lớp nào.
[năng động]

-XDeriveDataTypable
Bật tính năng dẫn xuất cho lớp Dữ liệu. Ngụ ý của -XAutoDeriveTypable.
[năng động]

-XDeriveFunctor
Bật tính năng dẫn xuất cho lớp Functor. Ngụ ý của -XDeriveTraversable.
[năng động]

-XDeriveCó thể gập lại
Bật tính năng dẫn xuất cho lớp Có thể gập lại. Ngụ ý của -XDeriveTraversable.
[năng động]

-XDeriveChung
Bật tính năng dẫn xuất cho lớp Chung.
[năng động]

-XDeriveTraversable
Bật tính năng dẫn xuất cho lớp Có thể duyệt. Ngụ ý -XDeriveFunctor và
-XDeriveCó thể gập lại.
[năng động]

-XDisambiguateRecordField
Bật phân định trường bản ghi. Ngụ ý của -XRecordWildCards.
[năng động]

-XEmptyCase
Cho phép các lựa chọn thay thế trường hợp trống.
[năng động]

-XEmptyDataDecls
Bật khai báo dữ liệu trống.
[năng động]

-XExistentialLượng hóa
Cho phép định lượng tồn tại.
[năng động]

-XExplicitForAll
Cho phép định lượng phổ quát rõ ràng. Ngụ ý của -XScopedTypeBiến,
-XLiberalTypeTừ đồng nghĩa, -XRankNLoại và -XExistentialLượng hóa.
[năng động]

-XExplicitNamespaces
Cho phép sử dụng loại từ khóa để chỉ định không gian tên của các mục nhập trong nhập và
xuất khẩu (). Ngụ ý của -XTypeOperator và -XTypeGia đình.
[năng động]

-XExtendsDefaultRules
Sử dụng các quy tắc mặc định mở rộng của GHCi trong một mô-đun bình thường.
[năng động]

-XFlexibleContexts
Bật các ngữ cảnh linh hoạt. Ngụ ý của -XImplicitParam.
[năng động]

-XLinh hoạtInstances
Bật các phiên bản linh hoạt. Ngụ ý -XTypeSynonymInstances. Ngụ ý của
-XImplicitParam.
[năng động]

-XForeignFunctionGiao diện
Bật giao diện chức năng nước ngoài.
[năng động]

-XF FunctionDependencies
Bật phụ thuộc chức năng. Ngụ ý -XMultiParamTypeClasses.
[năng động]

-XGADT
Bật các kiểu dữ liệu đại số tổng quát. Ngụ ý -XGADTSCú pháp và -XMonoLocalBinds.
[năng động]

-XGADTSCú pháp
Bật cú pháp kiểu dữ liệu đại số tổng quát.
[năng động]

-XGene khoángNewtypeDeriving
Bật dẫn xuất kiểu mới.
[năng động]

-XGenerics
Không được chấp nhận, không làm gì cả. Không còn bật các lớp chung chung. Xem thêm hỗ trợ của GHC
để lập trình chung.
[năng động]

-XImplicitParam
Bật tham số ngầm định. Ngụ ý -XFlexibleContexts và -XLinh hoạtInstances.
[năng động]

-XNoTiềm ẩnKhởi đầu
Không nhập ẩn Prelude. Ngụ ý của -XRebindableCú pháp.
[năng động]

-XImppredicativeTypes
Bật các loại không uy tín. Ngụ ý -XRankNLoại.
[năng động]

-XInconkingInstances
Cho phép các thể hiện không mạch lạc. Ngụ ý -XChồng chéoInstances.
[năng động]

-XInstanceSigs
Bật chữ ký phiên bản.
[năng động]

-XInterruptibleFFI
Bật FFI có thể ngắt.
[năng động]

-XKindChữ ký
Bật chữ ký tử tế. Ngụ ý của -XTypeGia đình và -XPolyKinds.
[năng động]

-XLambdaTrường hợp
Bật biểu thức lambda-case.
[năng động]

-XLiberalTypeTừ đồng nghĩa
Bật từ đồng nghĩa loại tự do hóa.
[năng động]

-XMagicHash
Cho phép "#" làm công cụ sửa đổi hậu tố trên số nhận dạng.
[năng động]

-XMonadComp hiểu
Bật hiểu đơn nguyên.
[năng động]

-XMonoLocalBinds
Kích hoạt không tổng quát hóa các ràng buộc cục bộ. Ngụ ý của -XTypeGia đình và -XGADT.
[năng động]

-XNoMonomorphismRestrict
Tắt giới hạn đơn hình.
[năng động]

-XMultiParamTypeClasses
Bật các lớp kiểu đa tham số. Ngụ ý của -XF FunctionDependencies.
[năng động]

-XMultiWayIf
Bật biểu thức if nhiều chiều.
[năng động]

-XNamedFieldPuns
Bật chơi chữ bản ghi.
[năng động]

-XNamedWildCard
Bật các ký tự đại diện được đặt tên.
[năng động]

-XNegativeChữ
Bật hỗ trợ cho các ký tự phủ định.
[năng động]

-XNoNPlusKPattern
Tắt hỗ trợ cho n + k mẫu.
[năng động]

-XNullaryTypeLớp học
Không được chấp nhận, không làm gì cả. các lớp kiểu nullary (không có tham số) hiện được kích hoạt bằng cách sử dụng
-XMultiParamTypeClasses.
[năng động]

-XNumSố thập phân
Bật hỗ trợ cho các ký tự số nguyên 'phân số'.
[năng động]

-XChồng chéoInstances
Bật các bản sao chồng chéo.
[năng động]

-XOverloadedLists
Bật danh sách quá tải.
[năng động]

-XOverloadedStrings
Bật các ký tự chuỗi bị quá tải.
[năng động]

-XPackageNhập khẩu
Cho phép nhập đủ điều kiện gói.
[năng động]

-XParallelArrays
Bật mảng song song. Ngụ ý -XParallelListComp.
[năng động]

-XParallelListComp
Bật tính năng hiểu danh sách song song. Ngụ ý của -XParallelArrays.
[năng động]

-XPartialTypeChữ ký
Bật chữ ký loại một phần.
[năng động]

-XPatternGuard
Bật bảo vệ mẫu.
[năng động]

-XPatternTừ đồng nghĩa
Bật từ đồng nghĩa mẫu.
[năng động]

-XPolyKinds
Bật tính đa hình loại. Ngụ ý -XKindChữ ký.
[năng động]

-XThành phần đa hình
Bật các thành phần đa hình cho các trình tạo dữ liệu.
[động, từ đồng nghĩa với -XRankNLoại]

-XPostfixOperator
Bật toán tử postfix.
[năng động]

-XQuasiQuote
Bật quasiquotation.
[năng động]

-XRank2Types
Bật loại xếp hạng-2.
[động, từ đồng nghĩa với -XRankNLoại]

-XRankNLoại
Bật các loại xếp hạng N. Ngụ ý của -XImppredicativeTypes.
[năng động]

-XRebindableCú pháp
Sử dụng cú pháp có thể đóng lại. Ngụ ý -XNoTiềm ẩnKhởi đầu.
[năng động]

-XRecordWildCards
Bật ký tự đại diện bản ghi. Ngụ ý -XDisambiguateRecordField.
[năng động]

-XRecursiveDo
Bật ký hiệu do (mdo) đệ quy.
[năng động]

-XRelaxedPolyRec
(không dùng nữa) Kiểm tra thoải mái cho các hàm đa hình đệ quy lẫn nhau.
[năng động]

-XRoleChú thích
Bật chú thích vai trò.
[năng động]

-XSafe Bật chế độ An toàn Haskell An toàn.
[năng động]

-XScopedTypeBiến
Bật các biến loại phạm vi từ điển.
[năng động]

-XStandaloneXuất phát
Bật tính năng dẫn xuất độc lập.
[năng động]

-XTemplateHaskell
Bật mẫu Haskell.
[năng động]

-XNoTraditionalRecordCú pháp
Tắt hỗ trợ cho cú pháp bản ghi truyền thống (được hỗ trợ bởi Haskell 98) C {f =
x}
[năng động]

-XTransformListComp
Bật tính năng hiểu danh sách tổng quát.
[năng động]

-X đáng tin cậy
Bật chế độ Đáng tin cậy của Haskell An toàn.
[năng động]

-XTupleSection
Bật phần tuple.
[năng động]

-XTypeGia đình
Bật họ loại. Ngụ ý -XExplicitNamespaces, -XKindChữ ký và
-XMonoLocalBinds.
[năng động]

-XTypeOperator
Bật toán tử loại. Ngụ ý -XExplicitNamespaces.
[năng động]

-XTypeSynonymInstances
Cho phép nhập từ đồng nghĩa trong phần đầu ví dụ. Ngụ ý của -XLinh hoạtInstances.
[năng động]

-XUnboxedTuples
Bật bộ giá mở hộp.
[năng động]

-XUndecosystemInstances
Bật các phiên bản không thể quyết định.
[năng động]

-XUnicodeCú pháp
Bật cú pháp unicode.
[năng động]

-XUnliftedFFITypes
Kích hoạt các loại FFI không có kỹ thuật.
[năng động]

-XKhông an toàn
Bật chế độ Không an toàn Haskell An toàn.
[năng động]

-XViewPattern
Bật các kiểu xem.
[năng động]

CẢNH BÁO

-W bật cảnh báo bình thường
[năng động]

-w tắt tất cả các cảnh báo
[năng động]

-Tường bật hầu hết các cảnh báo (chi tiết trong)
[năng động]

- Lỗi
đưa ra những cảnh báo nguy hiểm
[năng động]

-Cảnh báo đưa ra các cảnh báo không gây tử vong
[năng động]

-fdefer-type-error
Biến lỗi loại thành cảnh báo, trì hoãn lỗi cho đến thời gian chạy. Ngụ ý
-fdefer-typed-lỗ.
[năng động]

-fdefer-typed-lỗ
Chuyển đổi lỗi lỗ đã nhập thành cảnh báo, trì hoãn lỗi cho đến thời gian chạy. Bao hàm
by -fdefer-type-error. Xem thêm -fwarn-typed-lỗ.
[năng động]

-fhelpful-error
Đưa ra đề xuất cho những cái tên viết sai chính tả.
[năng động]

-fwarn-notated-flags
cảnh báo về việc sử dụng cờ dòng lệnh không được dùng nữa
[năng động]

-fwarn-trùng lặp-ràng buộc
cảnh báo khi một ràng buộc xuất hiện trùng lặp trong chữ ký kiểu
[năng động]

-fwarn-trùng-xuất
cảnh báo khi một thực thể được xuất nhiều lần
[năng động]

-fwarn-hi-bóng tối
cảnh báo khi tệp .hi trong thư mục hiện tại làm bóng thư viện
[năng động]

-nhận dạng cảnh báo
cảnh báo về việc sử dụng Prelude chuyển đổi số có thể là danh tính (và
do đó có thể được bỏ qua)
[năng động]

-fwarn-ngầm-khúc dạo đầu
cảnh báo khi Prelude được nhập ngầm
[năng động]

-fwarn-không đầy đủ-mẫu
cảnh báo khi khớp mẫu có thể không thành công
[năng động]

-fwarn-chưa đầy đủ-uni-pattern
cảnh báo khi khớp mẫu trong biểu thức lambda hoặc liên kết mẫu có thể không thành công
[năng động]

-fwarn-chưa đầy đủ-hồ sơ-cập nhật
cảnh báo khi cập nhật hồ sơ có thể không thành công
[năng động]

-fwarn-lazy-notfted-bindings
(không dùng nữa) cảnh báo khi liên kết mẫu có vẻ lười biếng nhưng phải nghiêm ngặt
[năng động]

-fwarn-thiếu-lĩnh vực
cảnh báo khi các trường của bản ghi chưa được khởi tạo
[năng động]

-fwarn-thiếu-nhập-danh sách
cảnh báo khi một tờ khai nhập khẩu không liệt kê rõ ràng tất cả các tên được đưa vào
phạm vi
[năng động]

-fwarn-thiếu-phương pháp
cảnh báo khi các phương thức lớp không được xác định
[năng động]

-fwarn-thiếu-chữ ký
cảnh báo về các chức năng cấp cao nhất không có chữ ký
[năng động]

-fwarn-thiếu-xuất-sigs
cảnh báo về các chức năng cấp cao nhất không có chữ ký, chỉ khi chúng được xuất. nhận
ưu tiên hơn -fwarn-thiếu-chữ ký
[năng động]

-fwarn-thiếu-local-sigs
cảnh báo về các ràng buộc cục bộ đa hình không có chữ ký
[năng động]

-fwarn-monomorphism-hạn chế
cảnh báo khi áp dụng Hạn chế Monomorphism
[năng động]

-fwarn-name-shadowing
cảnh báo khi tên bị che
[năng động]

-trẻ mồ côi, -fwarn-auto-mồ côi
cảnh báo khi mô-đun chứa khai báo phiên bản mồ côi hoặc viết lại quy tắc
[năng động]

-fwarn-chồng chéo-mô hình
cảnh báo về các mẫu chồng chéo
[năng động]

-fwarn-tab
cảnh báo nếu có các tab trong tệp nguồn
[năng động]

-fwarn-type-mặc định
cảnh báo khi mặc định xảy ra
[năng động]

-fwarn-không được công nhận-pragmas
cảnh báo về việc sử dụng pragmas mà GHC không nhận ra
[năng động]

-fwarn-unsicked-thăng-hàm tạo
cảnh báo nếu các hàm tạo được quảng cáo không được đánh dấu
[năng động]

-fwarn-không sử dụng-ràng buộc
cảnh báo về các ràng buộc không được sử dụng
[năng động]

-fwarn-chưa sử dụng-nhập khẩu
cảnh báo về việc nhập khẩu không cần thiết
[năng động]

-fwarn-không sử dụng-phù hợp
cảnh báo về các biến trong các mẫu không được sử dụng
[năng động]

-fwarn-used-do-bind
cảnh báo về các ràng buộc làm có vẻ như loại bỏ các giá trị của các loại khác với ()
[năng động]

-fwarn-sai-do-ràng buộc
cảnh báo về những ràng buộc làm dường như loại bỏ các giá trị đơn nguyên mà bạn nên làm
thay vào đó có ràng buộc
[năng động]

-fwarn-không an toàn
cảnh báo nếu mô-đun đang được biên dịch được coi là không an toàn. Nên dùng để kiểm tra
tình trạng an toàn của các mô-đun khi sử dụng suy luận an toàn. Hoạt động trên tất cả các loại mô-đun,
ngay cả những người sử dụng chế độ Haskell An toàn rõ ràng (chẳng hạn như -X đáng tin cậy) và như vậy có thể
được sử dụng để trình biên dịch kiểm tra bất kỳ giả định nào được thực hiện.
[năng động]

-fwarn-an toàn
cảnh báo nếu mô-đun đang được biên dịch được coi là an toàn. Nên dùng để kiểm tra
tình trạng an toàn của các mô-đun khi sử dụng suy luận an toàn. Hoạt động trên tất cả các loại mô-đun,
ngay cả những người sử dụng chế độ Haskell An toàn rõ ràng (chẳng hạn như -X đáng tin cậy) và như vậy có thể
được sử dụng để trình biên dịch kiểm tra bất kỳ giả định nào được thực hiện.
[năng động]

-fwarn-đáng tin cậy-an toàn
cảnh báo nếu mô-đun đang được biên dịch được đánh dấu là -X đáng tin cậy nhưng nó có thể thay thế
được đánh dấu là -XSafe, một ràng buộc nhiều thông tin hơn. Có thể được sử dụng để phát hiện một lần Két sắt
Giới hạn Haskell có thể được cải thiện khi các phần phụ thuộc được cập nhật.
[năng động]

-fwarn-cảnh báo-không dùng nữa
cảnh báo về việc sử dụng các hàm và loại có cảnh báo hoặc pragmas không dùng nữa
[năng động]

-fwarn-amp
(không dùng nữa) cảnh báo về các định nghĩa xung đột với Đề xuất Đơn nguyên áp dụng
(AMP)
[năng động]

-fwarn-typed-lỗ
Báo cáo cảnh báo khi lỗi lỗ đã nhập được hoãn lại cho đến thời gian chạy. Nhìn thấy
-fdefer-typed-lỗ.
[năng động]

-fwarn-một phần-loại-chữ ký
cảnh báo về lỗ hổng trong chữ ký kiểu từng phần khi -XPartialTypechữ ký is
đã được kích hoạt. Không áp dụng khi -XPartialTypechữ ký không được kích hoạt, trong trường hợp đó
lỗi được tạo ra cho các lỗ như vậy. Nhìn thấy .
[năng động]

-fwarn-dẫn xuất-có thể đánh máy
cảnh báo khi gặp yêu cầu dẫn xuất một thể hiện của lớp Có thể đánh máy. Theo GHC
7.10, những khai báo như vậy là không cần thiết và bị trình biên dịch bỏ qua vì GHC
có một trình giải quyết tùy chỉnh để loại bỏ loại ràng buộc này.
[năng động]

TỐI ƯU HÓA CẤP ĐỘ

-O0 Tắt tính năng tối ưu hóa (mặc định)
[năng động]

-O or -O1
Bật tối ưu hóa cấp độ 1
[năng động]

-O2 Bật tối ưu hóa cấp độ 2
[năng động]

-Odph Bật tối ưu hóa cấp độ 2, đặt -fmax-simplefier-iterations = 20 và
-fimplifier-phase = 3.
[năng động]

CÁ NHÂN TỐI ƯU

-fcall-arity
Bật tính năng tối ưu hóa cuộc gọi. Ngụ ý của -O.
[năng động]

-fcase-hợp nhất
Bật hợp nhất chữ hoa và chữ thường. Ngụ ý của -O.
[năng động]

-fcmm-elim-chung-khối
Bật loại bỏ khối chung Cmm. Ngụ ý của -O.
[năng động]

-fcmm-chìm
Bật chìm Cmm. Ngụ ý của -O.
[năng động]

-fcpr-tắt
Tắt phân tích CPR trong trình phân tích nhu cầu.
[tĩnh]

-fcse Cho phép loại bỏ biểu thức phụ phổ biến. Ngụ ý của -O.
[năng động]

-các sắc lệnh-giá rẻ
Làm cho các biểu thức có giá trị từ điển có vẻ rẻ đối với trình tối ưu hóa.
[năng động]

-các sắc lệnh nghiêm ngặt
Làm cho từ điển trở nên nghiêm ngặt
[năng động]

-fdmd-tx-dict-sel

Sử dụng một máy biến áp nhu cầu đặc biệt cho bộ chọn từ điển. Luôn được kích hoạt bởi
mặc định.
[năng động]

-fdo-eta-giảm
Bật giảm eta. Ngụ ý của -O.
[năng động]

-fdo-lambda-eta-mở rộng
Bật mở rộng lambda eta. Luôn được bật theo mặc định.
[năng động]

-feager-đen
Bật blackholing háo hức
[năng động]

-fenable-viết lại-quy tắc
Bật tất cả các quy tắc viết lại (bao gồm các quy tắc được tạo bởi chuyên môn hóa tự động
của các chức năng quá tải). Ngụ ý của -O.
[năng động]

-fexcess-độ chính xác
Cho phép vượt quá độ chính xác trung gian
[năng động]

-féxpose-tất cả-mở ra
Phơi bày tất cả các hàm mở ra, ngay cả đối với các hàm rất lớn hoặc hàm đệ quy.
[năng động]

-float-in
Bật chuyển đổi float-in. Ngụ ý của -O.
[năng động]

-sự lười biếng
Bật chế độ lười hoàn toàn (ràng buộc trôi nổi ra bên ngoài). Ngụ ý của -O.
[năng động]

-ffun-to-thunk
Cho phép worker-wrapper chuyển đổi một hàm đóng thành một hàm nếu hàm
không sử dụng bất kỳ đối số nào của nó. Tắt theo mặc định.
[năng động]

-fignore-khẳng định
Bỏ qua các xác nhận trong nguồn. Ngụ ý của -O.
[năng động]

-fignore-giao diện-pragmas
Bỏ qua pragmas trong các tệp giao diện. Ngụ ý của -O0 chỉ
[năng động]

-phẳng-dmd-hậu môn
Chạy lại phân tích nhu cầu ở cuối quy trình đơn giản hóa
[năng động]

-fliberate-trường hợp
Bật chuyển đổi trường hợp giải phóng. Ngụ ý của -O2.
[năng động]

-fliberate-trường hợp-ngưỡng=n
Đặt ngưỡng kích thước cho chuyển đổi trường hợp giải phóng thành n (mặc định: 2000)
[động]

-floop hóa
Biến các cuộc gọi đuôi tự đệ quy bão hòa thành các bước nhảy cục bộ trong
cuộc họp. Ngụ ý của -O.
[năng động]

-fmax-nội tuyến-phân bổ-kích thước=n
Đặt kích thước tối đa của phân bổ mảng nội tuyến thành n byte (mặc định: 128). GHC
sẽ phân bổ các mảng không được ghim có kích thước tĩnh đã biết trong vườn ươm hiện tại
chặn nếu chúng không lớn hơn n byte, bỏ qua GC overheap. Giá trị này phải là
nhỏ hơn một chút so với kích thước khối (thường là: 4096).
[năng động]

-fmax-inline-memcpy-insns=n

Các cuộc gọi memcpy nội tuyến nếu chúng không tạo ra nhiều hơn n hướng dẫn giả
(mặc định: 32).
[năng động]

-fmax-inline-memset-in=n

Các lệnh gọi memset nội tuyến nếu chúng không tạo ra nhiều hơn n hướng dẫn giả
(mặc định: 32).
[năng động]

-fmax-Related-binds = n
Đặt số lượng liên kết tối đa để hiển thị trong thông báo lỗi loại (mặc định 6).
[năng động]

-fmax-simplefier-iterations = n
Đặt số lần lặp tối đa cho trình đơn giản hóa (mặc định 4).
[năng động]

-fmax-worker-args = n
Nếu một worker có nhiều đối số như vậy, không có đối số nào sẽ được giải nén nữa (mặc định: 10)
[năng động]

-fno-opt-cưỡng chế
Tắt trình tối ưu hóa cưỡng chế
[tĩnh]

-fno-pre-inline
Tắt nội tuyến trước
[năng động]

-fno-state-hack
Tắt "hack trạng thái" theo đó bất kỳ lambda nào có mã thông báo trạng thái trong thế giới thực là
đối số được coi là mục nhập đơn. Do đó OK để nội tuyến những thứ bên trong nó.
[tĩnh]

-fomit-giao diện-pragmas
Không tạo pragmas giao diện. Ngụ ý của -O0 chỉ
[năng động]

-fomit-sản lượng
Bỏ qua kiểm tra đống khi không có phân bổ nào được thực hiện.
[năng động]

-fpedantic-bottom
Làm cho GHC chính xác hơn về cách xử lý đáy của nó (nhưng xem thêm
-fno-state-hack). Đặc biệt, GHC sẽ không mở rộng eta thông qua một biểu thức trường hợp.
[năng động]

-fregs-đồ thị
Sử dụng công cụ phân bổ thanh ghi tô màu đồ thị để phân bổ thanh ghi trong bản gốc
bộ tạo mã. Ngụ ý của -O2.
[năng động]

-fregs-lặp lại
Sử dụng công cụ phân bổ thanh ghi tô màu đồ thị liên kết lặp đi lặp lại trong mã gốc
máy phát điện.
[năng động]

-fsimplifier-phase = n
Đặt số pha cho trình đơn giản hóa (mặc định 2). Bỏ qua với -O0.
[năng động]

-fsimpl-tick-factor = n
Đặt hệ số phần trăm cho tích tắc đơn giản hóa (mặc định 100)
[năng động]

-fspec-contr
Bật biến đổi SpecConstr. Ngụ ý của -O2.
[năng động]

-fspec-constr-đếm=n
Đặt thành n (mặc định: 3) số lượng chuyên môn tối đa sẽ được tạo
cho bất kỳ một chức năng nào bằng phép biến đổi SpecConstr
[năng động]

-fspec-xây dựng-ngưỡng=n
Đặt ngưỡng kích thước cho phép biến đổi SpecConstr thành n (mặc định: 2000)
[năng động]

-chuyên môn
Bật chuyên môn hóa các chức năng quá tải. Ngụ ý của -O.
[năng động]

-fstatic-đối số-biến đổi
Bật chuyển đổi đối số tĩnh.
[năng động]

-sự hạn chế
Bật phân tích mức độ nghiêm ngặt. Ngụ ý của -O.
[năng động]

-giới hạn-trước đây=n
Chạy phân tích độ nghiêm ngặt bổ sung trước giai đoạn đơn giản hóa n
[năng động]

-funbox-nhỏ-nghiêm ngặt-lĩnh vực
Làm phẳng các trường hàm tạo nghiêm ngặt bằng biểu diễn có kích thước bằng con trỏ. Ngụ ý của
-O.
[năng động]

-funbox-nghiêm ngặt-lĩnh vực
Làm phẳng các trường hàm tạo nghiêm ngặt
[năng động]

-funfolding-tạo-ngưỡng = n
Chỉnh sửa cài đặt mở ra. Mặc định: 750
[năng động]

-funfolding-dict-chiết khấu = n
Chỉnh sửa cài đặt mở ra. Mặc định: 30
[năng động]

-funfolding-fun-giảm giá = n
Chỉnh sửa cài đặt mở ra. Mặc định: 60
[năng động]

-funfolding-keeness-factor = n
Chỉnh sửa cài đặt mở ra. Mặc định: 1.5
[năng động]

-funfolding-sử dụng-ngưỡng = n
Chỉnh sửa cài đặt mở ra. Mặc định: 60
[năng động]

-tránh-tránh
Bật tính năng tránh vectorisation. Luôn được bật theo mặc định.
[năng động]

-fvector hóa
Bật vectorisation của song song dữ liệu lồng nhau
[năng động]

SƠ LƯỢC LỰA CHỌN

-prof Bật hồ sơ
[năng động]

-fprof-auto
Tự động thêm SCC vào tất cả các ràng buộc không được đánh dấu INLINE
[năng động]

-fprof-auto-top
Tự động thêm SCC vào tất cả các ràng buộc cấp cao nhất không được đánh dấu INLINE
[năng động]

-fprof-tự động xuất
Tự động thêm SCC vào tất cả các ràng buộc đã xuất không được đánh dấu INLINE
[năng động]

-fprof-cafs
Tự động thêm SCC vào tất cả CAF
[năng động]

-fno-prof-count-entry
Không thu thập số lượng mục nhập
[năng động]

-dính Bật cấu hình tích cực ticky-ticky
[năng động]

CHƯƠNG TRÌNH PHỦ SÓNG LỰA CHỌN

-fhpc Bật thiết bị đo phạm vi chương trình Haskell
[năng động]

-hpcdir dir
Thư mục để gửi các tệp .mix trong quá trình biên dịch (mặc định là .hpc)
[năng động]

HASKELL NGƯỜI CHẾ BIẾN TRƯỚC LỰA CHỌN

-F Cho phép sử dụng bộ xử lý trước (được đặt bằng -pgmF)
[năng động]

C NGƯỜI CHẾ BIẾN TRƯỚC LỰA CHỌN

-cpp Chạy bộ xử lý trước C trên các tệp nguồn Haskell
[năng động]

-Dbiểu tượng=giá trị
Xác định một ký hiệu trong bộ xử lý trước C
[năng động]

-Ubiểu tượng
Hủy xác định một ký hiệu trong bộ xử lý trước C
[năng động]

-Idir Thêm dir vào danh sách tìm kiếm thư mục cho các tệp #include
[năng động]

MÃ TẠO LỰA CHỌN

-fasm Sử dụng trình tạo mã gốc
[năng động]

-flvm Biên dịch bằng trình tạo mã LLVM
[năng động]

-fno-mã
Bỏ qua việc tạo mã
[năng động]

-fwrite-giao diện
Luôn ghi các tệp giao diện
[năng động]

-fbyte-mã
Tạo mã byte
[năng động]

-foobject-code
Tạo mã đối tượng
[năng động]

LIÊN KẾT LỰA CHỌN

-chia sẻ
Tạo một thư viện được chia sẻ (trái ngược với một thư viện thực thi)
[năng động]

-staticlib
Chỉ trên Darwin / OS X / iOS, hãy tạo một thư viện tĩnh độc lập (trái ngược với một
thực thi). Đây là cách thông thường để biên dịch cho iOS.
[năng động]

-fPIC Tạo mã độc lập vị trí (nếu có)
[năng động]

-động lực học
Sử dụng thư viện Haskell động (nếu có)
[năng động]

-động-quá
Xây dựng tệp đối tượng động cũng như tệp đối tượng tĩnh trong quá trình biên dịch
[năng động]

-dyno Đặt đường dẫn đầu ra cho các đối tượng được liên kết động
[năng động]

-dynosuf
Đặt hậu tố đầu ra cho các tệp đối tượng động
[năng động]

-dynload
Chọn một trong số các chế độ để tìm thư viện được chia sẻ trong thời gian chạy.
[năng động]

-khung tên
Chỉ trên Darwin / OS X / iOS, liên kết trong khuôn khổ tên. Tùy chọn này tương ứng với
-khung tùy chọn cho Trình liên kết của Apple.
[năng động]

-framework-path tên
Chỉ trên Darwin / OS X / iOS, hãy thêm dir vào danh sách các thư mục được tìm kiếm
các khuôn khổ. Tùy chọn này tương ứng với -F tùy chọn cho Trình liên kết của Apple.
[năng động]

-llib Liên kết trong thư viện lib
[năng động]

-Ldir Thêm dir vào danh sách các thư mục được tìm kiếm cho các thư viện
[năng động]

-chính-là
Đặt mô-đun chính và chức năng
[năng động]

--mk-dll
Chế độ tạo DLL (chỉ dành cho Windows)
[năng động]

-không có hs-chính
Đừng cho rằng chương trình này chứa main
[năng động]

-áo sơ mi, -rtsopts = {không có, một số, tất cả}
Kiểm soát xem hành vi RTS có thể được điều chỉnh thông qua cờ dòng lệnh và
Biến môi trường GHCRTS. Không sử dụng có nghĩa là không có cờ RTS nào có thể được đưa ra; một số phương tiện
chỉ có thể đưa ra tối thiểu các tùy chọn an toàn (mặc định) và tất cả (hoặc không có đối số
ở tất cả) có nghĩa là tất cả các cờ RTS đều được phép.
[năng động]

-with-rtsopts = opts
Đặt các tùy chọn RTS mặc định thành lựa chọn.
[năng động]

-không liên kết
Bỏ qua liên kết
[năng động]

-split-objs
Tách đối tượng (dành cho thư viện)
[năng động]

-mặt đứng
Sử dụng thư viện Haskell tĩnh
[năng động]

-có ren
Sử dụng thời gian chạy theo luồng
[năng động]

-gỡ lỗi Sử dụng thời gian chạy gỡ lỗi
[năng động]

-dính Đối với liên kết, điều này chỉ ngụ ý -gỡ lỗi; Thấy chưa .
[năng động]

-Nhật ký sự kiện
Bật theo dõi sự kiện thời gian chạy
[năng động]

-fno-gen-kê khai
Không tạo tệp kê khai (chỉ dành cho Windows)
[năng động]

-fno-nhúng-kê khai
Không nhúng tệp kê khai vào tệp thực thi (chỉ dành cho Windows)
[năng động]

-fno-shared-implib
Không tạo thư viện nhập cho DLL (chỉ dành cho Windows)
[năng động]

-dylib-tên cài đặt con đường
Đặt tên cài đặt (qua -install_name được chuyển đến trình liên kết của Apple), chỉ định
đường dẫn cài đặt đầy đủ của tệp thư viện. Bất kỳ thư viện hoặc tệp thực thi nào liên kết với
nó sau đó sẽ chọn đường dẫn đó làm vị trí tìm kiếm trong thời gian chạy của họ cho nó. (Darwin / OS
Chỉ X)
[năng động]

-rđộng
Điều này hướng dẫn trình liên kết thêm tất cả các ký hiệu, không chỉ những ký hiệu đã sử dụng, vào động
bảng ký hiệu. Hiện tại chỉ dành cho Linux và Windows / MinGW32. Điều này tương đương với việc sử dụng
-optl -rdynamic trên Linux và -optl -export-all-Symbol trên Windows.
[năng động]

CẮM VÀO LỰA CHỌN

-fplugin=mô-đun
Tải một plugin được xuất bởi một mô-đun nhất định
[năng động]

-fplugin-opt=mô-đun: args
Đưa ra các đối số cho một mô-đun plugin; mô-đun phải được chỉ định với -fplugin
[năng động]

THAY THẾ GIAI ĐOẠN

-pgmL cmd
Sử dụng cmd với tư cách là bộ xử lý trước hiểu biết
[năng động]

-pgmP cmd
Sử dụng cmd là bộ xử lý trước C (với -cpp chỉ)
[năng động]

-pgmc cmd
Sử dụng cmd như trình biên dịch C
[năng động]

-pgmlo cmd
Sử dụng cmd với tư cách là người tối ưu hóa LLVM
[năng động]

-pgmlc cmd
Sử dụng cmd làm trình biên dịch LLVM
[năng động]

-pgms cmd
Sử dụng cmd như bộ chia
[năng động]

-pgma cmd
Sử dụng cmd với tư cách là người lắp ráp
[năng động]

-pgml cmd
Sử dụng cmd với tư cách là người liên kết
[năng động]

-pgmdll cmd
Sử dụng cmd như trình tạo DLL
[năng động]

-pgmF cmd
Sử dụng cmd với tư cách là bộ xử lý trước (với -F chỉ)
[năng động]

-pgmwindres cmd
Sử dụng cmd làm chương trình nhúng tệp kê khai trên Windows.
[năng động]

-pgmlibtool cmd
Sử dụng cmd như lệnh cho libtool (với -staticlib chỉ có).
[năng động]

-pgmreadelf cmd
Sử dụng cmd như lệnh cho bản thân (một phần của Unix binutils)
[năng động]

CƯỠNG LỰC LỰA CHỌN ĐẾN RIÊNG GIAI ĐOẠN

-optL tùy chọn
vượt qua tùy chọn đến bộ xử lý tiền xử lý văn bản
[năng động]

-optP tùy chọn
vượt qua tùy chọn đến cpp (với -cpp chỉ)
[năng động]

-optF tùy chọn
vượt qua tùy chọn đến bộ xử lý trước tùy chỉnh
[năng động]

-optc tùy chọn
vượt qua tùy chọn sang trình biên dịch C
[năng động]

-optlo tùy chọn
vượt qua tùy chọn đến trình tối ưu hóa LLVM
[năng động]

-optlc tùy chọn
vượt qua tùy chọn sang trình biên dịch LLVM
[năng động]

-opta tùy chọn
vượt qua tùy chọn cho người lắp ráp
[năng động]

-optl tùy chọn
vượt qua tùy chọn đến trình liên kết
[năng động]

-optdll tùy chọn
vượt qua tùy chọn đến trình tạo DLL
[năng động]

-optwindres tùy chọn
vượt qua tùy chọn to gió.
[năng động]

NỀN TẢNG-CỤ THỂ LỰA CHỌN

-msse2 (chỉ x86) Sử dụng SSE2 cho dấu phẩy động
[năng động]

MÁY LỌC NỢ LỰA CHỌN

-dcore-lint
Bật kiểm tra sự tỉnh táo nội bộ
[năng động]

-dump-to-file
Dump vào các tệp thay vì stdout
[năng động]

-dump-asm
Lắp ráp bán phá giá
[năng động]

-dump-bcos
Kết xuất mã byte thông dịch viên
[năng động]

-dump-cmm
Dump C-- đầu ra
[năng động]

-dump-core-stats
In bản tóm tắt một dòng về kích thước của chương trình Core ở cuối
đường ống tối ưu hóa
[năng động]

-dump-cse
Kết xuất CSE đổ
[năng động]

-ddump-originv
Kết xuất bán phá giá
[năng động]

-dump-ds
Kết quả đầu ra của bộ giải mã dump
[năng động]

-dump-nước ngoài
Bán phá giá xuất khẩu nước ngoài
[năng động]

-dump-hpc
Đổ sau khi thiết bị đo đạc để bảo hiểm chương trình
[năng động]

-dump-inliness
Thông tin nội tuyến bán phá giá
[năng động]

-dump-llvm
Dump mã trung gian LLVM
[năng động]

-dump-xảy ra-hậu môn
Kết quả phân tích sự cố bán phá giá
[năng động]

-dump-opt-cmm
Đưa kết quả từ C-- thành C-- tối ưu hóa đường chuyền
[năng động]

-dump-parsed
Bán cây phân tích cú pháp
[năng động]

-dump-prep
Đổ lõi chuẩn bị
[năng động]

-dump-rn
Kết xuất trình đổi tên
[năng động]

-dump-rule-firings
Thông tin kích hoạt quy tắc bán phá giá
[năng động]

-dump-quy tắc-viết lại
Thông tin kích hoạt quy tắc chi tiết kết xuất
[năng động]

-dump-quy tắc
Quy tắc bán phá giá
[năng động]

-dump-vect
Dump vectoriser đầu vào và đầu ra
[năng động]

-dump-simpl
Dump đầu ra đơn giản hóa cuối cùng
[năng động]

-dump-simpl-iterations
Kết xuất đầu ra từ mỗi lần lặp lại trình đơn giản hóa
[năng động]

-dump-spec
Đầu ra đặc biệt bán phá giá
[năng động]

-dump-splices
Kết xuất các biểu thức nối TH và những gì chúng đánh giá
[năng động]

-dump-stg
Bán phá giá cuối cùng STG
[năng động]

-dump-stranal
Đầu ra của máy phân tích mức độ nghiêm ngặt
[năng động]

-dump-strsigs
Chữ ký nghiêm ngặt bán phá giá
[năng động]

-dump-tc
Kết xuất trình đánh máy kết xuất
[năng động]

-dth-dec-tệp
Hiển thị các khai báo TH đã đánh giá trong tệp .th.hs
[năng động]

-dump-các loại
Chữ ký loại bán phá giá
[năng động]

-dump-worker-wrapper
Dump worker-wrapper đầu ra
[năng động]

-dump-if-trace
Theo dõi các tệp giao diện
[năng động]

-dump-tc-trace
đánh máy dấu vết
[năng động]

-dump-vt-trace
Vectơ hóa vết
[năng động]

-dump-rn-trace
Trình đổi tên theo dõi
[năng động]

-dump-rn-stats
Số liệu thống kê về đổi tên
[năng động]

-dump-simpl-stats
Số liệu thống kê về trình đơn giản hóa kết xuất
[năng động]

-dno-debug-đầu ra
Chặn đầu ra gỡ lỗi không được yêu cầu
[tĩnh]

-dppr-gỡ lỗi
Bật tính năng in gỡ lỗi (chi tiết hơn)
[tĩnh]

-dppr-chiều dài người dùng
Đặt độ sâu để in các biểu thức trong tin nhắn lỗi
[năng động]

-dppr-colsNNN
Đặt chiều rộng của đầu ra gỡ lỗi. Ví dụ -dppr-cols200
[năng động]

-dppr-case-as-let
In các biểu thức dạng chữ hoa thay thế duy nhất dưới dạng nghiêm ngặt cho phép.
[năng động]

-dsuppress-tất cả
Trong bãi chứa lõi, ngăn chặn mọi thứ (ngoại trừ đơn vị) có thể đàn áp được.
[năng động]

-dsuppress-duy nhất
Ngăn chặn việc in các ký tự duy nhất trong đầu ra gỡ lỗi (dễ sử dụng khác biệt hơn)
[năng động]

-dsuppress-idinfo
Loại bỏ thông tin mở rộng về số nhận dạng mà chúng bị ràng buộc
[năng động]

tiền tố -dsuppress-module-
Ngăn chặn việc in tiền tố đủ điều kiện của mô-đun
[năng động]

-dsuppress-type-signature
Loại bỏ chữ ký loại
[năng động]

-dsuppress-type-apps
Loại bỏ các ứng dụng
[năng động]

-dsuppress-ép buộc
Ngăn chặn việc in các chất cưỡng chế trong các bãi chứa Core để làm cho chúng ngắn hơn
[năng động]

-dsource-thống kê
Số liệu thống kê về nguồn haskell của Dump
[năng động]

-dcmm-lint
C-- vượt qua kiểm tra sự tỉnh táo
[năng động]

-dstg-lint
Kiểm tra độ tỉnh táo vượt qua STG
[năng động]

-dstg-thống kê
Số liệu thống kê về STG của Dump
[năng động]

-dverbose-core2core
Hiển thị đầu ra từ mỗi lần vượt qua lõi-đến-lõi
[năng động]

-dverbose-stg2stg
Hiển thị đầu ra từ mỗi lần chuyển STG sang STG
[năng động]

-show-pass
In ra từng tên thẻ khi nó xảy ra
[năng động]

-dfaststring-thống kê
Hiển thị số liệu thống kê để sử dụng chuỗi nhanh khi kết thúc
[năng động]

-kiểm tra sơ bộ
Báo cáo các trang web có các quy tắc có thể đã kích hoạt nhưng không kích hoạt. Lấy một đối số chuỗi.
[năng động]

MISC MÁY LỌC LỰA CHỌN

-jN Khi biên dịch với --make, biên dịch N các mô-đun song song.
[năng động]

-fno-hi-phiên bản-kiểm tra
Đừng phàn nàn về tệp .hi không khớp
[năng động]

-kích thước lịch sử
Đặt kích thước lịch sử đơn giản hóa
[năng động]

-fno-ghci-lịch sử
Không sử dụng tải / lưu trữ lịch sử lệnh GHCi từ / đến ghci_history.
[năng động]

-fno-ghci-sandbox
Tắt hộp cát GHCi. Có nghĩa là các phép tính được chạy trong luồng chính, thay vì
hơn một chủ đề được phân nhánh.
[năng động]

Sử dụng ghc trực tuyến bằng các dịch vụ onworks.net