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

CHƯƠNG TRÌNH:

TÊN

ocamlc - Trình biên dịch mã byte OCaml

SYNOPSIS

ocamlc [ lựa chọn ] tên tập tin hữu ích. Cảm ơn !

ocamlc.opt [ lựa chọn ] tên tập tin hữu ích. Cảm ơn !

MÔ TẢ

Trình biên dịch mã byte OCaml ocamlc(1) biên dịch các tệp nguồn OCaml thành tệp đối tượng bytecode
và liên kết các tệp đối tượng này để tạo ra các tệp thực thi bytecode độc ​​lập. Này
các tệp thực thi sau đó được chạy bởi trình thông dịch bytecode ocamlrun(1).

Sản phẩm ocamlc(1) lệnh có giao diện dòng lệnh tương tự như giao diện của hầu hết các trình biên dịch C.
Nó chấp nhận một số loại đối số và xử lý chúng theo tuần tự:

Các đối số kết thúc bằng .mli được coi là tệp nguồn cho các giao diện đơn vị biên dịch.
Các giao diện chỉ định các tên được xuất bởi các đơn vị biên dịch: chúng khai báo các tên giá trị với
kiểu của chúng, xác định kiểu dữ liệu công khai, khai báo kiểu dữ liệu trừu tượng, v.v. Từ
hồ sơ x.mli, ocamlc(1) trình biên dịch tạo ra một giao diện được biên dịch trong tệp x.cmi.

Các đối số kết thúc bằng .ml được coi là tệp nguồn để triển khai đơn vị biên dịch.
Việc triển khai cung cấp các định nghĩa cho các tên được xuất bởi đơn vị và cũng chứa
biểu thức được đánh giá cho các tác dụng phụ của chúng. Từ tệp x.ml, ocamlc(1)
trình biên dịch tạo ra mã bytecode của đối tượng đã được biên dịch trong tệp x.cmo.

Nếu tệp giao diện x.mli tồn tại, việc triển khai x.ml được kiểm tra so với
giao diện biên dịch tương ứng x.cmi, được giả định là tồn tại. Nếu không có giao diện x.mli
được cung cấp, biên dịch của x.ml tạo ra một tệp giao diện đã biên dịch x.cmi ngoài ra
đến tệp mã đối tượng đã biên dịch x.cmo. Tập tin x.cmi được tạo ra tương ứng với một
giao diện xuất mọi thứ được xác định trong quá trình triển khai x.ml.

Các đối số kết thúc bằng .cmo được coi là mã bytecode của đối tượng được biên dịch. Các tệp này được liên kết
cùng với các tệp đối tượng thu được bằng cách biên dịch các đối số .ml (nếu có) và
thư viện tiêu chuẩn OCaml, để tạo ra một chương trình thực thi độc lập. Thứ tự trong đó
Các đối số .cmo và.ml được trình bày trên dòng lệnh là có liên quan: các đơn vị biên dịch là
được khởi tạo theo thứ tự đó tại thời điểm chạy và lỗi thời gian liên kết khi sử dụng một thành phần của
trước khi khởi tạo nó. Do đó, một xTệp .cmo phải đến trước tất cả .cmo
các tệp tham chiếu đến đơn vị x.

Các đối số kết thúc bằng .cma được coi là thư viện của đối tượng bytecode. Một thư viện của
đối tượng bytecode gói trong một tệp một tập hợp các tệp bytecode đối tượng (tệp .cmo).
Các thư viện được xây dựng với ocamlc -a (xem mô tả của -a tùy chọn bên dưới). Các
các tệp đối tượng có trong thư viện được liên kết dưới dạng tệp .cmo thông thường (xem ở trên), trong
thứ tự được chỉ định khi tệp .cma được tạo. Sự khác biệt duy nhất là nếu một đối tượng
tệp chứa trong thư viện không được tham chiếu ở bất kỳ đâu trong chương trình, thì nó không
liên kết trong.

Các đối số kết thúc bằng .c được chuyển đến trình biên dịch C, trình biên dịch này sẽ tạo ra tệp đối tượng .o.
Tệp đối tượng này được liên kết với chương trình nếu -tập quán cờ được thiết lập (xem
miêu tả về -tập quán dưới đây).

Các đối số kết thúc bằng .o hoặc .a được giả định là các tệp và thư viện đối tượng C. họ đang
được chuyển đến trình liên kết C khi liên kết trong -tập quán chế độ (xem mô tả của -tập quán
dưới đây).

Các đối số kết thúc bằng .so được giả định là thư viện chia sẻ C (DLL). Trong quá trình liên kết, họ
được tìm kiếm các hàm C bên ngoài được tham chiếu từ mã OCaml và tên của chúng là
được viết trong tệp thực thi bytecode được tạo. Hệ thống thời gian chạy ocamlrun(1) sau đó tải
chúng động tại thời điểm khởi động chương trình.

Đầu ra của giai đoạn liên kết là một tệp chứa mã bytecode đã được biên dịch có thể
được thực thi bởi trình thông dịch bytecode OCaml: lệnh ocamlrun(1). Nếu như caml.out là
tên của tệp được tạo ra bởi giai đoạn liên kết, lệnh ocamlrun caml.out
arg1 arg2 hữu ích. Cảm ơn ! tranh luận thực thi mã đã biên dịch có trong caml.out, chuyển nó như là
đối số các chuỗi ký tự arg1 đến tranh luận. (Xem ocamlrun(1) để biết thêm chi tiết.)

Trên hầu hết các hệ thống, tệp được tạo bởi giai đoạn liên kết có thể được chạy trực tiếp, như trong:
./caml.out arg1 arg2 hữu ích. Cảm ơn ! tranh luận. Tệp được tạo ra có bộ bit thực thi và nó
quản lý để khởi chạy trình thông dịch bytecode của chính nó.

ocamlc.opt là cùng một trình biên dịch như ocamlc, nhưng được biên dịch bằng trình biên dịch mã gốc
tiếng kêu(1). Do đó, nó hoạt động giống hệt như ocamlc, nhưng biên dịch nhanh hơn. ocamlc.opt có thể
không có sẵn trong tất cả các cài đặt của OCaml.

LỰA CHỌN

Các tùy chọn dòng lệnh sau được nhận dạng bởi ocamlc(1).

-a Xây dựng thư viện (tệp .cma) với các tệp đối tượng (tệp .cmo) được cung cấp trên lệnh
thay vì liên kết chúng thành một tệp thực thi. Tên của thư viện phải
được thiết lập với -o tùy chọn.

If -tập quán, -cclib or -copt các tùy chọn được chuyển trên dòng lệnh, các tùy chọn này
được lưu trữ trong thư viện .cma kết quả. Sau đó, liên kết với thư viện này
tự động thêm lại -tập quán, -cclib và -copt các tùy chọn như thể chúng đã từng
được cung cấp trên dòng lệnh, trừ khi -noautolink tùy chọn được đưa ra. Ngoài ra,
một chuỗi con $ CAMLORIGIN bên trong -copt các tùy chọn sẽ được thay thế bằng đường dẫn đầy đủ
vào thư viện .cma, ngoại trừ tên tệp. -tên Hiển thị tên tệp tuyệt đối trong
thông báo lỗi.

-chú thích Kết xuất thông tin chi tiết về quá trình biên dịch (loại, liên kết, lệnh gọi đuôi, v.v.).
Thông tin cho tệp src.ml được đưa vào tệp src.annot. Trong trường hợp của một loại
lỗi, kết xuất tất cả thông tin được suy ra bởi trình kiểm tra kiểu trước khi xảy ra lỗi. Các
src.annot tệp có thể được sử dụng với các lệnh emacs được cung cấp trong emacs / caml-styles.el đến
các kiểu hiển thị và các chú thích khác một cách tương tác.

-bin-chú thích
Kết xuất thông tin chi tiết về quá trình biên dịch (các loại, liên kết, lệnh gọi đuôi, v.v.)
ở định dạng nhị phân. Thông tin cho tệp src.ml được đưa vào tệp src.cmt. Trong
trường hợp lỗi kiểu, hãy kết xuất tất cả thông tin được suy ra bởi trình kiểm tra kiểu trước đó
lỗi. Các tệp chú thích do -bin-chú thích chứa nhiều thông tin hơn
và nhỏ gọn hơn nhiều so với các tệp do -chú thích.

-c Chỉ biên dịch. Bỏ qua giai đoạn liên kết của quá trình biên dịch. Các tệp mã nguồn là
được chuyển thành các tệp đã biên dịch, nhưng không có tệp thực thi nào được tạo ra. Tùy chọn này là
hữu ích để biên dịch các mô-đun riêng biệt.

-cc ccomp
Sử dụng ccomp làm trình liên kết C khi liên kết ở chế độ "thời gian chạy tùy chỉnh" (xem -tập quán
tùy chọn) và là trình biên dịch C để biên dịch các tệp nguồn .c.

-cclib -ltên thư viện
Vượt qua -ltên thư viện tùy chọn cho trình liên kết C khi liên kết ở chế độ "thời gian chạy tùy chỉnh"
(Xem -tập quán Lựa chọn). Điều này làm cho thư viện C đã cho được liên kết với
chương trình.

-copt tùy chọn
Vượt qua những gì đã cho tùy chọn với trình biên dịch và trình liên kết C, khi liên kết trong "tùy chỉnh
chế độ thời gian chạy "(xem -tập quán Lựa chọn). Ví dụ, -copt -Ldir gây ra C
trình liên kết để tìm kiếm thư viện C trong thư mục dir.

-compat-32
Kiểm tra xem tệp thực thi bytecode được tạo có thể chạy trên nền tảng 32 bit và báo hiệu
một lỗi nếu nó không thể. Điều này rất hữu ích khi biên dịch mã bytecode trên máy 64-bit.

-config
In số phiên bản của ocamlc(1) và tóm tắt chi tiết về cấu hình của nó,
sau đó thoát ra.

-tập quán
Liên kết ở chế độ "thời gian chạy tùy chỉnh". Trong chế độ liên kết mặc định, trình liên kết tạo ra
bytecode dự định được thực thi với hệ thống thời gian chạy được chia sẻ,
ocamlrun(1). Trong chế độ thời gian chạy tùy chỉnh, trình liên kết tạo ra tệp đầu ra
chứa cả hệ thống thời gian chạy và mã bytecode cho chương trình. Kết quả
tệp lớn hơn, nhưng nó có thể được thực thi trực tiếp, ngay cả khi ocamlrun(1) lệnh là
chưa cài đặt. Hơn nữa, chế độ "thời gian chạy tùy chỉnh" cho phép liên kết mã OCaml với
các hàm C do người dùng định nghĩa.

Không bao giờ sử dụng dải(1) lệnh trên các tệp thi hành được tạo ra bởi ocamlc -tập quán, điều này
sẽ xóa phần bytecode của tệp thực thi.

-dllib -ltên thư viện
Sắp xếp cho thư viện chia sẻ C dlltên thư viện.vì thế được tải động bởi run-
hệ thống thời gian ocamlrun(1) tại thời điểm bắt đầu chương trình.

-dllpath dir
Thêm thư mục dir đến đường dẫn tìm kiếm thời gian chạy cho các thư viện C được chia sẻ. Tại
thời gian liên kết, các thư viện được chia sẻ được tìm kiếm trong đường dẫn tìm kiếm chuẩn (đường dẫn
tương ứng với -I Lựa chọn). Các -dllpath tùy chọn chỉ đơn giản là các cửa hàng dir trong
tệp thực thi được sản xuất, nơi ocamlrun(1) có thể tìm thấy nó và sử dụng nó.

-cho-gói danh tính
Tùy chọn này được chấp nhận để tương thích với tiếng kêu(1); nó không làm gì cả.

-g Thêm thông tin gỡ lỗi trong khi biên dịch và liên kết. Tùy chọn này là bắt buộc trong
để có thể gỡ lỗi chương trình với ocamldebug(1) và để tạo ra ngăn xếp
backtraces khi chương trình kết thúc trên một ngoại lệ không có sẵn.

-i Nguyên nhân khiến trình biên dịch in tất cả các tên đã xác định (với các kiểu được suy luận của chúng hoặc
định nghĩa) khi biên dịch một triển khai (tệp .ml). Không có tệp đã biên dịch (.cmo
và các tệp .cmi) được tạo ra. Điều này có thể hữu ích để kiểm tra các loại được suy ra bởi
trình biên dịch. Ngoài ra, vì đầu ra tuân theo cú pháp của các giao diện, nó có thể giúp
bằng cách viết một giao diện rõ ràng (tệp .mli) cho một tệp: chỉ cần chuyển hướng tiêu chuẩn
đầu ra của trình biên dịch thành tệp .mli và chỉnh sửa tệp đó để xóa tất cả
khai báo tên chưa khai báo.

-I thư mục
Thêm thư mục đã cho vào danh sách thư mục được tìm kiếm cho giao diện biên dịch
tệp (.cmi), tệp mã đối tượng đã biên dịch (.cmo), thư viện (.cma) và thư viện C
được chỉ định với -cclib -lxxx . Theo mặc định, thư mục hiện tại được tìm kiếm đầu tiên,
sau đó là thư mục thư viện tiêu chuẩn. Thư mục được thêm với -I được tìm kiếm sau khi
thư mục hiện tại, theo thứ tự mà chúng được cung cấp trên dòng lệnh,
nhưng trước thư mục thư viện tiêu chuẩn. Xem thêm tùy chọn -nostdlib.

Nếu thư mục nhất định bắt đầu bằng +, nó được coi là liên quan đến thư viện tiêu chuẩn
danh mục. Ví dụ, -I + trình biên dịch-libs thêm thư mục con trình biên dịch-libs of
thư viện chuẩn cho đường dẫn tìm kiếm.

-ngụ ý tên tập tin
Biên dịch tệp tên tập tin dưới dạng tệp triển khai, ngay cả khi phần mở rộng của nó không phải là
.ml.

-intf tên tập tin
Biên dịch tệp tên tập tin dưới dạng tệp giao diện, ngay cả khi phần mở rộng của nó không phải là .mli.

hậu tố -intf chuỗi
Nhận dạng tên tệp kết thúc bằng chuỗi dưới dạng tệp giao diện (thay vì mặc định
.mli).

-giữ-tài liệu
Giữ các chuỗi tài liệu trong tệp .cmi đã tạo.

-giữ-locs
Giữ các vị trí trong tệp .cmi đã tạo.

-nhãn
Nhãn không bị bỏ qua trong các loại, nhãn có thể được sử dụng trong các ứng dụng và được dán nhãn
các tham số có thể được đưa ra theo bất kỳ thứ tự nào. Đây là mặc định.

-linkall
Buộc liên kết tất cả các mô-đun có trong thư viện. Nếu cờ này không
đã cho, các mô-đun không được tham chiếu không được liên kết trong. Khi xây dựng thư viện (tùy chọn -a),
thiết lập -linkall tùy chọn buộc tất cả các liên kết tiếp theo của các chương trình liên quan đến
thư viện để liên kết tất cả các mô-đun có trong thư viện.

-make-runtime
Xây dựng hệ thống thời gian chạy tùy chỉnh (trong tệp được chỉ định bởi tùy chọn -o) kết hợp
tệp đối tượng C và thư viện được cung cấp trên dòng lệnh. Thời gian chạy tùy chỉnh này
hệ thống có thể được sử dụng sau này để thực thi các tệp thực thi bytecode được tạo với tùy chọn
ocamlc -use-thời gian chạy tên-thời gian chạy.

-no-bí danh-deps
Không ghi lại các phụ thuộc cho bí danh mô-đun.

-no-app-chức năng
Hủy kích hoạt hành vi ứng dụng của các chức năng. Với tùy chọn này, mỗi chức năng
ứng dụng tạo ra các kiểu mới trong kết quả của nó và áp dụng cùng một bộ chức năng hai lần
đến cùng một đối số dẫn đến hai cấu trúc không tương thích.

-không khẳng định
Không biên dịch kiểm tra xác nhận. Lưu ý rằng hình thức đặc biệt khẳng định sai luôn luôn là
được biên dịch bởi vì nó được đánh máy đặc biệt. Cờ này không có hiệu lực khi liên kết
các tệp đã được biên dịch.

-noautolink
Khi liên kết các thư viện .cma, hãy bỏ qua -tập quán, -cclib và -copt các tùy chọn có khả năng
có trong các thư viện (nếu các tùy chọn này được đưa ra khi xây dựng
thư viện). Điều này có thể hữu ích nếu một thư viện chứa các thông số kỹ thuật không chính xác của C
thư viện hoặc tùy chọn C; trong trường hợp này, trong quá trình liên kết, hãy đặt -noautolink và vượt qua
chính xác thư viện C và các tùy chọn trên dòng lệnh.

-không nhãn hiệu
Bỏ qua các nhãn không tùy chọn trong các loại. Không thể sử dụng nhãn trong các ứng dụng và
thứ tự tham số trở nên nghiêm ngặt.

-nostdlib
Không tự động thêm thư mục thư viện chuẩn vào danh sách thư mục
đã tìm kiếm các tệp giao diện đã biên dịch (.cmi), các tệp mã đối tượng đã biên dịch (.cmo),
thư viện (.cma) và thư viện C được chỉ định với -cclib -lxxx . Xem thêm tùy chọn
-I.

-o tập tin thực thi
Chỉ định tên của tệp đầu ra do trình liên kết tạo ra. Tên đầu ra mặc định
is a.ra, phù hợp với truyền thống Unix. Nếu -a tùy chọn được đưa ra, chỉ định
tên của thư viện được sản xuất. Nếu -đóng gói tùy chọn được đưa ra, chỉ định tên
của tệp đối tượng đóng gói được tạo ra. Nếu -đầu ra-obj tùy chọn được đưa ra, chỉ định
tên của tệp đầu ra được tạo. Điều này cũng có thể được sử dụng khi biên dịch
giao diện hoặc tệp triển khai, không có liên kết, trong trường hợp đó nó đặt tên
của tệp cmi hoặc cmo và cũng đặt tên mô-đun thành tên tệp lên đến
dấu chấm đầu tiên.

-mở mô-đun
Mở mô-đun đã cho trước khi xử lý giao diện hoặc tệp triển khai. Nếu như
một số -mở các tùy chọn được đưa ra, chúng được xử lý theo thứ tự, giống như
tuyên bố mở! mô-đun 1;; ... mở ra! mô-đunN ;; đã được thêm vào đầu mỗi tệp.

-đầu ra-obj
Nguyên nhân khiến trình liên kết tạo tệp đối tượng C thay vì tệp thực thi bytecode.
Điều này rất hữu ích để bọc mã OCaml dưới dạng thư viện C, có thể gọi từ bất kỳ chương trình C nào. Các
tên của tệp đối tượng đầu ra phải được đặt với -o Lựa chọn. Tùy chọn này cũng có thể
được sử dụng để tạo tệp nguồn C (phần mở rộng .c) hoặc chia sẻ / động đã biên dịch
thư viện (phần mở rộng .so).

-đóng gói Xây dựng tệp đối tượng bytecode (tệp .cmo) và giao diện biên dịch liên quan của nó
(.cmi) kết hợp các tệp đối tượng được cung cấp trên dòng lệnh, làm cho chúng xuất hiện
dưới dạng các mô-đun con của tệp .cmo đầu ra. Tên của tệp .cmo đầu ra phải là
đưa ra với -o Lựa chọn. Ví dụ, ocamlc -đóng gói -o p.cmo a.cmo b.cmo c.cmo
tạo tệp đã biên dịch p.cmo và p.cmi mô tả một đơn vị biên dịch có ba
mô-đun con A, B và C, tương ứng với nội dung của tệp đối tượng a.cmo,
b.cmo và c.cmo. Những nội dung này có thể được tham chiếu như PA, PB và PC trong
phần còn lại của chương trình.

-pp lệnh
Nguyên nhân khiến trình biên dịch gọi giá trị đã cho lệnh như một bộ xử lý trước cho mỗi nguồn
tập tin. Đầu ra của lệnh được chuyển hướng đến một tệp trung gian, là
đã biên dịch. Nếu không có lỗi biên dịch, tệp trung gian sẽ bị xóa
sau đó. Tên của tệp này được tạo từ tên cơ sở của tệp nguồn
với phần mở rộng .ppi cho tệp giao diện (.mli) và .ppo để triển khai
(.ml).

-ppx lệnh
Sau khi phân tích cú pháp, viết cây cú pháp trừu tượng thông qua bộ tiền xử lý lệnh. Các
mô-đun Ast_mapper(3) triển khai giao diện bên ngoài của bộ tiền xử lý.

-hiệu trưởng
Kiểm tra đường dẫn thông tin trong khi kiểm tra loại, để đảm bảo rằng tất cả các loại
bắt nguồn từ một cách chính yếu. Khi sử dụng các đối số được gắn nhãn và / hoặc đa hình
, cờ này là bắt buộc để đảm bảo các phiên bản sau này của trình biên dịch sẽ
có thể suy ra các loại một cách chính xác, ngay cả khi các thuật toán nội bộ thay đổi. Tất cả các chương trình
được chấp nhận trong -hiệu trưởng chế độ cũng được chấp nhận ở chế độ mặc định với
các loại, nhưng các chữ ký nhị phân khác nhau và điều này có thể làm chậm quá trình kiểm tra loại; nhưng
bạn nên sử dụng nó một lần trước khi xuất bản mã nguồn.

-các kiểu
Cho phép các kiểu đệ quy tùy ý trong quá trình kiểm tra kiểu. Theo mặc định, chỉ đệ quy
các kiểu mà đệ quy đi qua một kiểu đối tượng được hỗ trợ. Lưu ý rằng một lần
bạn đã tạo giao diện sử dụng cờ này, bạn phải sử dụng lại nó cho tất cả
sự phụ thuộc.

-runtime-biến thể hậu tố
Thêm hậu tố đến tên của thư viện thời gian chạy sẽ được chương trình sử dụng. Nếu như
OCaml đã được định cấu hình với tùy chọn -với-gỡ lỗi-thời gian chạy, sau đó d hậu tố là
được hỗ trợ và cung cấp phiên bản gỡ lỗi của thời gian chạy.

-chuỗi an toàn
Thực thi sự tách biệt giữa các loại chuỗi và byte, do đó làm cho các chuỗi được đọc-
chỉ một. Điều này sẽ trở thành mặc định trong phiên bản OCaml trong tương lai.

-short-path
Khi một loại hiển thị trong một số đường dẫn mô-đun, hãy sử dụng đường dẫn ngắn nhất khi
in tên của loại trong các giao diện suy luận và các thông báo lỗi và cảnh báo.

-strict-trình tự
Buộc phần bên trái của mỗi dãy phải có đơn vị loại.

-chủ đề
Biên dịch hoặc liên kết các chương trình đa luồng, kết hợp với hệ thống "luồng"
thư viện được mô tả trong Sản phẩm OCaml người dùng nhãn hiệu.

-không an toàn
Tắt tính năng kiểm tra ràng buộc đối với các quyền truy cập vào mảng và chuỗi ( v. (i)vàs. [i]
cấu trúc). Các chương trình được biên dịch với -không an toàn do đó nhanh hơn một chút, nhưng
không an toàn: bất kỳ điều gì có thể xảy ra nếu chương trình truy cập vào một mảng hoặc chuỗi bên ngoài
giới hạn của nó.

-unsafe-chuỗi
Xác định các loại chuỗi và byte, do đó làm cho các chuỗi có thể ghi được. Vì lý do
tương thích ngược, đây là cài đặt mặc định tại thời điểm này, nhưng đây
sẽ thay đổi trong một phiên bản OCaml trong tương lai.

-use-thời gian chạy tên-thời gian chạy
Tạo tệp thực thi bytecode có thể được thực thi trong thời gian chạy tùy chỉnh
hệ thống tên-thời gian chạy, được xây dựng trước đó với ocamlc -make-runtime tên-thời gian chạy.

-v In số phiên bản của trình biên dịch và vị trí của thư viện chuẩn
thư mục, sau đó thoát.

-bèo thuyền
In tất cả các lệnh bên ngoài trước khi chúng được thực thi, đặc biệt là các lệnh gọi
trình biên dịch C và trình liên kết trong -tập quán chế độ. Hữu ích để gỡ lỗi các sự cố thư viện C.

-vmthread
Biên dịch hoặc liên kết các chương trình đa luồng, kết hợp với các luồng cấp VM
thư viện được mô tả trong Sản phẩm OCaml người dùng nhãn hiệu.

-vnum or -phiên bản
In số phiên bản của trình biên dịch ở dạng ngắn (ví dụ: "3.11.0"), sau đó thoát.

-w danh sách cảnh báo
Bật, tắt hoặc đánh dấu là nghiêm trọng đối với các cảnh báo được chỉ định bởi đối số
danh sách cảnh báo.

Mỗi cảnh báo có thể được kích hoạt or bị vô hiệu hóavà mỗi cảnh báo có thể gây tử vongor không gây tử vong.
Nếu cảnh báo bị tắt, nó sẽ không được hiển thị và không ảnh hưởng đến quá trình biên dịch trong bất kỳ
cách (ngay cả khi nó gây tử vong). Nếu một cảnh báo được bật, nó sẽ được hiển thị bình thường bằng cách
trình biên dịch bất cứ khi nào mã nguồn kích hoạt nó. Nếu nó được kích hoạt và gây tử vong,
trình biên dịch cũng sẽ dừng lại với một lỗi sau khi hiển thị nó.

Sản phẩm danh sách cảnh báo đối số là một chuỗi các từ chỉ định cảnh báo, không có dấu phân tách
giữa họ. Công cụ chỉ định cảnh báo là một trong những công cụ sau:

+num Bật số cảnh báo num.

-num Tắt số cảnh báo num.

@num Bật và đánh dấu là số cảnh báo nghiêm trọng num.

+số 1..số 2 Bật tất cả các cảnh báo giữa số 1 và số 2 (bao gồm).

-số 1..số 2 Tắt tất cả các cảnh báo giữa số 1 và số 2 (bao gồm).

@số 1..số 2 Bật và đánh dấu là nghiêm trọng tất cả các cảnh báo giữa số 1 và số 2
(bao gồm).

+bức thư Bật bộ cảnh báo tương ứng với bức thư. Lá thư có thể là
viết hoa hoặc viết thường.

-bức thư Tắt bộ cảnh báo tương ứng với bức thư. Lá thư có thể là
viết hoa hoặc viết thường.

@bức thư Bật và đánh dấu là nghiêm trọng đối với bộ cảnh báo tương ứng với bức thư.
Chữ cái có thể viết hoa hoặc viết thường.

chữ viết hoa Bật bộ cảnh báo tương ứng với chữ viết hoa.

chữ cái thường Tắt bộ cảnh báo tương ứng với chữ cái thường.

Các số cảnh báo như sau.

1 Dấu bắt đầu của nhận xét trông đáng ngờ.

2 Dấu cuối nhận xét đáng ngờ.

3 Tính năng không được dùng nữa.

4 Đối sánh mẫu mong manh: đối sánh sẽ vẫn hoàn chỉnh ngay cả khi
các hàm tạo bổ sung được thêm vào một trong các kiểu biến thể được so khớp.

5 Hàm áp dụng một phần: biểu thức mà kết quả của nó có kiểu hàm và là
mặc kệ.

6 Nhãn bị bỏ qua trong ứng dụng chức năng.

7 Phương thức được ghi đè mà không sử dụng "phương thức!" từ khóa

8 Đối sánh từng phần: các trường hợp bị thiếu trong đối sánh mẫu.

9 Thiếu các trường trong một mẫu bản ghi.

10 Biểu thức ở phía bên trái của một dãy không có kiểu đơn vị
(và đó không phải là một chức năng, xem cảnh báo số 5).

11 Trường hợp dự phòng trong một khớp mẫu (trường hợp khớp không sử dụng).

12 Mẫu phụ dự phòng trong một đối sánh mẫu.

13 Ghi đè một biến thể hiện.

14 Thoát dấu gạch chéo ngược bất hợp pháp trong một hằng chuỗi.

15 Phương thức riêng tư được công khai hoàn toàn.

16 Đối số tùy chọn không thể xóa.

17 Phương thức ảo không khai báo.

18 Loại không chính.

19 Loại không có công quốc.

20 Đối số hàm không được sử dụng.

21 Tuyên bố không trả lại.

22 Cảnh báo tiền xử lý.

23 kỷ lục vô dụng với mệnh đề.

24 Tên mô-đun không hợp lệ: tên tệp nguồn không phải là tên mô-đun OCaml hợp lệ.

25 So khớp mẫu với tất cả các mệnh đề được bảo vệ.

26 Biến không sử dụng đáng ngờ: biến không sử dụng được liên kết với cho phép or asvà
không bắt đầu bằng ký tự gạch dưới (_).

27 Biến không sử dụng vô hại: biến không sử dụng không bị ràng buộc với cho phép cũng không as,
và không bắt đầu bằng ký tự gạch dưới (_).

28 Một mẫu chứa một hàm tạo hằng được áp dụng cho dấu gạch dưới (_)
mô hình.

29 Một dòng cuối dòng không thoát được tìm thấy trong một hằng số chuỗi. Điều này có thể gây ra
vấn đề khả năng di chuyển giữa Unix và Windows.

30 Hai nhãn hoặc hàm tạo có cùng tên được định nghĩa thành hai
các kiểu đệ quy.

31 Một mô-đun được liên kết hai lần trong cùng một tệp thực thi.

32 Khai báo giá trị chưa sử dụng.

33 Câu lệnh mở chưa sử dụng.

34 Khai báo kiểu không sử dụng.

35 Chỉ mục vòng lặp không được sử dụng.

36 Biến tổ tiên không được sử dụng.

37 Hàm tạo không được sử dụng.

38 Hàm tạo phần mở rộng không được sử dụng.

39 Cờ rec không sử dụng.

40 Hàm tạo hoặc tên nhãn được sử dụng ngoài phạm vi.

41 Hàm tạo hoặc tên nhãn không rõ ràng.

42 Hàm tạo hoặc tên nhãn được phân loại.

43 Nhãn thông tin được áp dụng tùy chọn.

44 Câu lệnh mở làm bóng một mã định danh đã được xác định.

45 Câu lệnh mở làm bóng một nhãn hoặc hàm tạo đã được xác định.

46 Lỗi trong biến môi trường.

47 Tải trọng thuộc tính bất hợp pháp.

48 Loại bỏ ngầm định các đối số tùy chọn.

49 Thiếu tệp cmi khi tra cứu bí danh mô-đun.

50 Nhận xét tài liệu không mong đợi.

Các chữ cái đại diện cho các nhóm cảnh báo sau đây. Bất kỳ bức thư nào không được đề cập
ở đây tương ứng với tập hợp rỗng.

A tất cả các cảnh báo

C 1, 2

D 3

E 4

F 5

K 32, 33, 34, 35, 36, 37, 38, 39

L 6

M 7

P 8

R 9

S 10

U 11, 12

V 13

X 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 30

Y 26

Z 27

Cài đặt mặc định là -w +a-4-6-7-9-27-29-32..39-41-42-44-45-48-50. Lưu ý rằng
cảnh báo 5 và 10 không phải lúc nào cũng được kích hoạt, tùy thuộc vào bên trong của loại
người kiểm tra.

-có lỗi danh sách cảnh báo
Đánh dấu là lỗi các cảnh báo được chỉ định trong đối số danh sách cảnh báo. Trình biên dịch
sẽ dừng lại khi có lỗi khi một trong các cảnh báo này được phát ra. Các danh sách cảnh báo
có cùng nghĩa với -w tùy chọn: a + dấu (hoặc một ký tự viết hoa)
các cảnh báo tương ứng là nguy hiểm, a - dấu (hoặc một chữ thường) biến chúng
quay lại cảnh báo không gây tử vong và @ ký cả hai cho phép và đánh dấu là nghiêm trọng
cảnh báo tương ứng.

Lưu ý: không khuyến khích sử dụng -có lỗi tùy chọn trong mã sản xuất,
vì nó gần như chắc chắn sẽ ngăn việc biên dịch chương trình của bạn với các phiên bản sau
của OCaml khi họ thêm các cảnh báo mới hoặc sửa đổi các cảnh báo hiện có.

Cài đặt mặc định là -có lỗi -a (tất cả các cảnh báo đều không gây tử vong).

-mẹ-giúp đỡ
Hiển thị mô tả của tất cả các số cảnh báo có sẵn.

-ở đâu In vị trí của thư viện chuẩn, sau đó thoát.

- hồ sơ Quy trình xét duyệt hồ sơ dưới dạng tên tệp, ngay cả khi nó bắt đầu bằng ký tự gạch ngang (-).

-Cứu giúp or --Cứu giúp
Hiển thị tóm tắt sử dụng ngắn và thoát.

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