ocamlc - Dalam talian di Awan

JADUAL:

NAMA

ocamlc - Pengkompil bytecode OCaml

SINOPSIS

ocamlc [ pilihan ] nama fail ...

ocamlc.opt [ pilihan ] nama fail ...

DESCRIPTION

Penyusun kod bait OCaml ocamlc(1) menyusun fail sumber OCaml kepada fail objek bytecode
dan memautkan fail objek ini untuk menghasilkan fail boleh laku bytecode tersendiri. Ini
fail boleh laku kemudiannya dijalankan oleh jurubahasa bytecode ocamlrun(1).

. ocamlc(1) arahan mempunyai antara muka baris arahan yang serupa dengan salah satu daripada kebanyakan penyusun C.
Ia menerima beberapa jenis hujah dan memprosesnya secara berurutan:

Argumen yang berakhir dengan .mli diambil sebagai fail sumber untuk antara muka unit kompilasi.
Antara muka menentukan nama yang dieksport oleh unit kompilasi: mereka mengisytiharkan nama nilai dengan
jenis mereka, menentukan jenis data awam, mengisytiharkan jenis data abstrak, dan sebagainya. Daripada
fail x.mli, yang ocamlc(1) pengkompil menghasilkan antara muka yang disusun dalam fail x.cmi.

Argumen yang berakhir dengan .ml diambil sebagai fail sumber untuk pelaksanaan unit kompilasi.
Pelaksanaan memberikan definisi untuk nama yang dieksport oleh unit, dan juga mengandungi
ungkapan untuk dinilai untuk kesan sampingannya. Daripada fail x.ml, yang ocamlc(1)
pengkompil menghasilkan kod bait objek yang disusun dalam fail x.cmo.

Jika fail antara muka x.mli wujud, pelaksanaan x.ml disemak terhadap
antara muka tersusun yang sepadan x.cmi, yang diandaikan wujud. Jika tiada antara muka x.mli
disediakan, kompilasi daripada x.ml menghasilkan fail antara muka yang disusun x.cmi sebagai tambahan
ke fail kod objek yang disusun x.cmo. Fail x.cmi yang dihasilkan sepadan dengan an
antara muka yang mengeksport semua yang ditakrifkan dalam pelaksanaan x.ml.

Argumen yang berakhir dengan .cmo diambil untuk disusun kod bait objek. Fail ini dipautkan
bersama-sama, bersama-sama dengan fail objek yang diperoleh dengan menyusun argumen .ml (jika ada), dan
perpustakaan standard OCaml, untuk menghasilkan program boleh laku kendiri. Urutan di mana
Argumen .cmo dan.ml dibentangkan pada baris arahan adalah relevan: unit kompilasi adalah
dimulakan dalam susunan itu pada masa jalan, dan ia adalah ralat masa pautan untuk menggunakan komponen a
unit sebelum memulakannya. Oleh itu, diberikan xFail .cmo mesti didahulukan sebelum semua .cmo
fail yang merujuk kepada unit x.

Argumen yang berakhir dengan .cma dianggap sebagai perpustakaan kod bait objek. Sebuah perpustakaan daripada
objek bytecode pek dalam satu fail satu set fail bytecode objek (.cmo files).
Perpustakaan dibina dengan ocamlc -a (lihat penerangan tentang -a pilihan di bawah). The
fail objek yang terkandung dalam perpustakaan dipautkan sebagai fail .cmo biasa (lihat di atas), dalam
pesanan ditentukan apabila fail .cma dibina. Satu-satunya perbezaan ialah jika objek
fail yang terkandung dalam perpustakaan tidak dirujuk di mana-mana dalam program, maka ia tidak
dipautkan masuk.

Argumen yang berakhir dengan .c dihantar kepada pengkompil C, yang menjana fail objek .o.
Fail objek ini dipautkan dengan program jika fail -adat bendera ditetapkan (lihat
Penerangan tentang -adat di bawah).

Hujah yang berakhir dengan .o atau .a diandaikan sebagai fail dan perpustakaan objek C. Mereka adalah
dihantar ke pemaut C apabila memaut masuk -adat mod (lihat penerangan tentang -adat
di bawah).

Hujah yang berakhir dengan .so diandaikan sebagai perpustakaan kongsi C (DLL). Semasa memaut, mereka
dicari untuk fungsi C luaran yang dirujuk daripada kod OCaml, dan nama mereka adalah
ditulis dalam bytecode yang dijana boleh laku. Sistem masa jalan ocamlrun(1) kemudian dimuatkan
mereka secara dinamik pada masa permulaan program.

Output fasa pemautan ialah fail yang mengandungi kod bait terkumpul yang boleh
dilaksanakan oleh jurubahasa bytecode OCaml: arahan ocamlrun(1). Jika caml.out adalah
nama fail yang dihasilkan oleh fasa pemautan, arahan ocamlrun caml.out
arg1 arg2 ... argn melaksanakan kod terkumpul yang terkandung dalam caml.out, lulus sebagai
hujah rentetan aksara arg1 kepada argn. (Lihat ocamlrun(1) untuk maklumat lanjut.)

Pada kebanyakan sistem, fail yang dihasilkan oleh fasa pemautan boleh dijalankan secara langsung, seperti dalam:
./caml.out arg1 arg2 ... argn. Fail yang dihasilkan mempunyai set bit boleh laku, dan ia
berjaya melancarkan penterjemah bytecode dengan sendirinya.

ocamlc.opt adalah penyusun yang sama seperti ocamlc, tetapi disusun dengan pengkompil kod asli
ocamlopt(1). Oleh itu, ia berkelakuan sama seperti ocamlc, tetapi menyusun lebih cepat. ocamlc.opt mungkin
tidak tersedia dalam semua pemasangan OCaml.

PILIHAN

Pilihan baris arahan berikut diiktiraf oleh ocamlc(1).

-a Bina perpustakaan (fail .cma) dengan fail objek (fail.cmo) yang diberikan pada arahan
baris, bukannya memautkannya ke dalam fail boleh laku. Nama perpustakaan mesti
ditetapkan dengan -o pilihan.

If -adat, -cclib or -ccopt pilihan diluluskan pada baris arahan, pilihan ini
disimpan dalam perpustakaan .cma yang terhasil. Kemudian, menghubungkan dengan perpustakaan ini
secara automatik menambah semula -adat, -cclib and -ccopt pilihan seolah-olah mereka telah
disediakan pada baris arahan, melainkan jika -noautolink pilihan diberi. Selain itu,
subrentetan $CAMLORIGIN di dalam a -ccopt pilihan akan digantikan dengan laluan penuh
ke pustaka .cma, tidak termasuk nama fail. -absname Tunjukkan nama fail mutlak dalam
mesej ralat.

-annot Buang maklumat terperinci tentang kompilasi (jenis, pengikatan, panggilan ekor, dll).
Maklumat untuk fail src.ml dimasukkan ke dalam fail src.annot. Dalam kes jenis
ralat, buang semua maklumat yang disimpulkan oleh penyemak jenis sebelum ralat. The
srcFail .annot boleh digunakan dengan arahan emacs yang diberikan dalam emacs/caml-types.el kepada
memaparkan jenis dan anotasi lain secara interaktif.

-bin-annot
Buang maklumat terperinci tentang kompilasi (jenis, pengikatan, panggilan ekor, dll)
dalam format binari. Maklumat untuk fail src.ml dimasukkan ke dalam fail src.cmt. Dalam
kes ralat jenis, buang semua maklumat yang disimpulkan oleh penyemak jenis sebelum ini
kesalahan. Fail anotasi yang dihasilkan oleh -bin-annot mengandungi lebih banyak maklumat
dan jauh lebih padat daripada fail yang dihasilkan oleh -annot.

-c Susun sahaja. Sekat fasa pemautan kompilasi. Fail kod sumber ialah
bertukar menjadi fail yang disusun, tetapi tiada fail boleh laku dihasilkan. Pilihan ini adalah
berguna untuk menyusun modul secara berasingan.

-cc komp
Penggunaan komp sebagai pemaut C apabila memaut dalam mod "masa jalan tersuai" (lihat -adat
pilihan) dan sebagai pengkompil C untuk menyusun fail sumber .c.

-cclib -llibname
Lulus -llibname pilihan kepada pemaut C apabila memaut dalam mod "masa jalan tersuai".
(Lihat -adat pilihan). Ini menyebabkan perpustakaan C yang diberikan dikaitkan dengan
program.

-ccopt pilihan
Lulus yang diberi pilihan kepada pengkompil dan pemaut C, apabila memaut dalam "custom
mod masa jalan" (lihat -adat pilihan). Sebagai contoh, -ccopt -Ldir menyebabkan C
penghubung untuk mencari perpustakaan C dalam direktori dir.

-compat-32
Semak bahawa kod bait boleh laku yang dijana boleh dijalankan pada platform dan isyarat 32-bit
ralat jika tidak dapat. Ini berguna apabila menyusun bytecode pada mesin 64-bit.

-config
Cetak nombor versi ocamlc(1) dan ringkasan terperinci konfigurasinya,
kemudian keluar.

-adat
Pautan dalam mod "masa jalan tersuai". Dalam mod pemautan lalai, pemaut menghasilkan
bytecode yang bertujuan untuk dilaksanakan dengan sistem runtime yang dikongsi,
ocamlrun(1). Dalam mod masa jalan tersuai, pemaut menghasilkan fail output yang
mengandungi kedua-dua sistem runtime dan bytecode untuk program. Yang terhasil
fail adalah lebih besar, tetapi ia boleh dilaksanakan secara langsung, walaupun jika fail ocamlrun(1) perintah ialah
tidak dipasang. Selain itu, mod "masa jalan tersuai" membolehkan memautkan kod OCaml dengan
fungsi C yang ditentukan pengguna.

Jangan sekali-kali menggunakan jalur(1) arahan pada boleh laku yang dihasilkan oleh ocamlc -adat, Ini
akan mengalih keluar bahagian bytecode bagi executable.

-dllib -llibname
Susun pustaka kongsi C dlllibname.so untuk dimuatkan secara dinamik oleh larian-
sistem masa ocamlrun(1) pada masa permulaan program.

-dllpath dir
Menambah direktori dir ke laluan carian masa jalan untuk pustaka C kongsi. Pada
masa pautan, perpustakaan kongsi dicari dalam laluan carian standard (yang
sepadan dengan -I pilihan). The -dllpath pilihan hanya menyimpan dir dalam
menghasilkan fail boleh laku, di mana ocamlrun(1) boleh mencari dan menggunakannya.

-untuk-pek ident
Pilihan ini diterima untuk keserasian dengan ocamlopt(1) ; ia tidak melakukan apa-apa.

-g Tambahkan maklumat penyahpepijatan semasa menyusun dan memaut. Pilihan ini diperlukan dalam
agar dapat menyahpepijat program dengan ocamldebug(1) dan untuk menghasilkan tindanan
jejak belakang apabila program ditamatkan pada pengecualian yang tidak ditangkap.

-i Menyebabkan pengkompil mencetak semua nama yang ditakrifkan (dengan jenis yang disimpulkan atau
takrifan) semasa menyusun pelaksanaan (fail .ml). Tiada fail yang disusun (.cmo
dan fail .cmi) dihasilkan. Ini berguna untuk menyemak jenis yang disimpulkan oleh
penyusun. Selain itu, kerana output mengikut sintaks antara muka, ia boleh membantu
dalam menulis antara muka eksplisit (fail.mli) untuk fail: hanya ubah hala standard
output pengkompil ke fail .mli dan edit fail itu untuk mengalih keluar semua
pengisytiharan nama yang tidak dieksport.

-I direktori
Tambahkan direktori yang diberikan pada senarai direktori yang dicari untuk antara muka yang disusun
fail (.cmi), fail kod objek yang disusun (.cmo), perpustakaan (.cma) dan perpustakaan C
ditentukan dengan -cclib -lxxx . Secara lalai, direktori semasa dicari dahulu,
kemudian direktori perpustakaan standard. Direktori ditambah dengan -I sedang dicari
direktori semasa, mengikut susunan yang diberikan pada baris arahan,
tetapi sebelum direktori perpustakaan standard. Lihat juga pilihan -nostdlib.

Jika direktori yang diberikan bermula dengan +, ia diambil secara relatif kepada perpustakaan standard
direktori. Sebagai contoh, -I +penyusun-libs menambah subdirektori compiler-libs of
perpustakaan standard ke laluan carian.

-impl nama fail
Susun fail nama fail sebagai fail pelaksanaan, walaupun sambungannya tidak
.ml.

-intf nama fail
Susun fail nama fail sebagai fail antara muka, walaupun sambungannya bukan .mli.

-intf-akhiran rentetan
Kenali nama fail yang berakhir dengan rentetan sebagai fail antara muka (bukannya fail lalai
.mli).

-simpan-dokumen
Simpan rentetan dokumentasi dalam fail .cmi yang dijana.

-simpan-locs
Simpan lokasi dalam fail .cmi yang dijana.

-label
Label tidak diabaikan dalam jenis, label boleh digunakan dalam aplikasi dan dilabel
parameter boleh diberikan dalam sebarang susunan. Ini adalah lalai.

-linkall
Paksa semua modul yang terkandung dalam perpustakaan dipautkan masuk. Jika bendera ini tidak
diberikan, modul yang tidak dirujuk tidak dipautkan masuk. Apabila membina perpustakaan (pilihan -a),
menetapkan -linkall pilihan memaksa semua pautan program seterusnya yang melibatkan itu
perpustakaan untuk menghubungkan semua modul yang terkandung dalam perpustakaan.

-buat-runtime
Bina sistem masa jalan tersuai (dalam fail yang ditentukan oleh pilihan -o) menggabungkan
fail dan perpustakaan objek C yang diberikan pada baris arahan. Masa jalan tersuai ini
sistem boleh digunakan kemudian untuk melaksanakan boleh laku bytecode yang dihasilkan dengan pilihan
ocamlc -guna-masa jalan nama-masa jalan.

-tiada-alias-deps
Jangan rekod kebergantungan untuk alias modul.

-tiada-fungsi-aplikasi
Menyahaktifkan gelagat aplikatif functors. Dengan pilihan ini, setiap fungsi
aplikasi menjana jenis baharu dalam keputusannya dan menggunakan fungsi yang sama dua kali
kepada hujah yang sama menghasilkan dua struktur yang tidak serasi.

-noassert
Jangan susun semakan penegasan. Perhatikan bahawa borang khas menegaskan palsu sentiasa ada
disusun kerana ditaip khas. Bendera ini tidak mempunyai kesan apabila memaut
fail yang telah disusun.

-noautolink
Apabila memautkan perpustakaan .cma, abaikan -adat, -cclib and -ccopt pilihan berpotensi
terkandung dalam perpustakaan (jika pilihan ini diberikan semasa membina
perpustakaan). Ini boleh berguna jika perpustakaan mengandungi spesifikasi C yang salah
perpustakaan atau pilihan C; dalam kes ini, semasa memaut, tetapkan -noautolink dan lulus
perpustakaan dan pilihan C yang betul pada baris arahan.

-nolabel
Abaikan label bukan pilihan dalam jenis. Label tidak boleh digunakan dalam aplikasi, dan
susunan parameter menjadi ketat.

-nostdlib
Jangan tambah direktori perpustakaan standard secara automatik pada senarai direktori
mencari fail antara muka yang disusun (.cmi), fail kod objek yang disusun (.cmo),
perpustakaan (.cma), dan perpustakaan C yang ditentukan dengan -cclib -lxxx . Lihat juga pilihan
-I.

-o fail exec
Nyatakan nama fail output yang dihasilkan oleh pemaut. Nama output lalai
is a. keluar, selaras dengan tradisi Unix. Sekiranya -a pilihan diberikan, nyatakan
nama perpustakaan yang dihasilkan. Sekiranya -pek pilihan diberikan, nyatakan nama
daripada fail objek yang dibungkus yang dihasilkan. Sekiranya -output-obj pilihan diberikan, nyatakan
nama fail output yang dihasilkan. Ini juga boleh digunakan semasa menyusun an
antara muka atau fail pelaksanaan, tanpa memaut, dalam hal ini ia menetapkan nama
daripada fail cmi atau cmo, dan juga menetapkan nama modul kepada nama fail sehingga
titik pertama.

-buka modul
Membuka modul yang diberikan sebelum memproses antara muka atau fail pelaksanaan. Jika
beberapa -buka pilihan diberikan, ia diproses mengikut urutan, sama seperti yang
kenyataan terbuka! modul1;; ... buka! modulN;; telah ditambahkan di bahagian atas setiap fail.

-output-obj
Menyebabkan pemaut menghasilkan fail objek C dan bukannya fail boleh laku bytecode.
Ini berguna untuk membungkus kod OCaml sebagai perpustakaan C, boleh dipanggil daripada mana-mana program C. The
nama fail objek output mesti ditetapkan dengan -o pilihan. Pilihan ini juga boleh
digunakan untuk menghasilkan fail sumber C (sambungan .c) atau kongsi/dinamik yang disusun
perpustakaan (.so sambungan).

-pek Bina fail objek bytecode (fail.cmo) dan antara muka tersusun yang berkaitan
(.cmi) yang menggabungkan fail objek yang diberikan pada baris arahan, menjadikannya kelihatan
sebagai sub-modul fail .cmo output. Nama fail .cmo output mestilah
diberikan dengan -o pilihan. Sebagai contoh, ocamlc -pek -o p.cmo a.cmo b.cmo c.cmo
menjana fail tersusun p.cmo dan p.cmi yang menerangkan unit kompilasi yang mempunyai tiga
sub-modul A, B dan C, sepadan dengan kandungan fail objek a.cmo,
b.cmo dan c.cmo. Kandungan ini boleh dirujuk sebagai PA, PB dan PC dalam
baki program.

-pp arahan
Menyebabkan pengkompil memanggil yang diberikan arahan sebagai prapemproses bagi setiap sumber
fail. Keluaran daripada arahan dihalakan semula ke fail perantaraan, iaitu
disusun. Jika tiada ralat penyusunan, fail perantaraan dipadamkan
selepas itu. Nama fail ini dibina daripada nama asas fail sumber
dengan sambungan .ppi untuk fail antara muka (.mli) dan .ppo untuk pelaksanaan
(.ml) fail.

-ppx arahan
Selepas menghuraikan, paipkan pokok sintaks abstrak melalui prapemproses arahan. Yang
modul Ast_mapper(3) melaksanakan antara muka luaran prapemproses.

-pengetua
Semak laluan maklumat semasa pemeriksaan jenis, untuk memastikan bahawa semua jenis adalah
diperoleh dengan cara utama. Apabila menggunakan hujah berlabel dan/atau polimorfik
kaedah, bendera ini diperlukan untuk memastikan versi masa hadapan pengkompil akan
dapat membuat kesimpulan jenis dengan betul, walaupun algoritma dalaman berubah. Semua program
diterima masuk -pengetua mod juga diterima dalam mod lalai dengan setara
jenis, tetapi tandatangan binari yang berbeza, dan ini mungkin melambatkan pemeriksaan jenis; belum lagi
adalah idea yang baik untuk menggunakannya sekali sebelum menerbitkan kod sumber.

-recttypes
Benarkan jenis rekursif sewenang-wenangnya semasa pemeriksaan jenis. Secara lalai, hanya rekursif
jenis di mana rekursi melalui jenis objek disokong. Perhatikan bahawa sekali
anda telah mencipta antara muka menggunakan bendera ini, anda mesti menggunakannya semula untuk semua
kebergantungan.

-varian masa jalan akhiran
Tambah akhiran kepada nama pustaka runtime yang akan digunakan oleh program. Jika
OCaml telah dikonfigurasikan dengan pilihan -dengan-debug-runtime, maka d akhiran ialah
disokong dan memberikan versi nyahpepijat masa jalan.

-tali selamat
Menguatkuasakan pengasingan antara jenis rentetan and bait, dengan itu membuat rentetan dibaca-
sahaja. Ini akan menjadi lalai dalam versi OCaml yang akan datang.

-jalan pendek
Apabila sesuatu jenis kelihatan di bawah beberapa laluan modul, gunakan yang terpendek apabila
mencetak nama jenis dalam antara muka yang disimpulkan dan mesej ralat dan amaran.

-urutan yang ketat
Paksa bahagian kiri setiap urutan mempunyai unit jenis.

-benang
Susun atau pautkan atur cara berbilang benang, digabungkan dengan "benang" sistem
perpustakaan yang diterangkan dalam . OCaml pengguna manual.

-tidak selamat
Matikan semakan terikat untuk akses tatasusunan dan rentetan (the v.(i)ands.[i]
binaan). Program yang disusun dengan -tidak selamat oleh itu lebih cepat sedikit, tetapi
tidak selamat: apa-apa boleh berlaku jika program mengakses tatasusunan atau rentetan di luar
sempadannya.

-rentetan tidak selamat
Kenal pasti jenis rentetan and bait, dengan itu menjadikan rentetan boleh ditulis. Atas sebab-sebab
keserasian ke belakang, ini ialah tetapan lalai buat masa ini, tetapi ini
akan berubah dalam versi masa hadapan OCaml.

-guna-masa jalan nama-masa jalan
Hasilkan fail boleh laku kod byte yang boleh dilaksanakan pada masa jalan tersuai
sistem nama-masa jalan, dibina lebih awal dengan ocamlc -buat-runtime nama-masa jalan.

-v Cetak nombor versi pengkompil dan lokasi perpustakaan standard
direktori, kemudian keluar.

-berkata-kata
Cetak semua arahan luaran sebelum ia dilaksanakan, khususnya seruan
pengkompil dan pemaut C masuk -adat mod. Berguna untuk menyahpepijat masalah perpustakaan C.

-vmthread
Susun atau pautkan atur cara berbilang benang, dalam kombinasi dengan urutan peringkat VM
perpustakaan yang diterangkan dalam . OCaml pengguna manual.

-vnum or -turun
Cetak nombor versi pengkompil dalam bentuk pendek (cth "3.11.0"), kemudian keluar.

-w senarai amaran
Dayakan, lumpuhkan atau tandakan sebagai maut amaran yang ditentukan oleh hujah
senarai amaran.

Setiap amaran boleh membolehkan or orang kurang upaya, dan setiap amaran boleh mautor tidak membawa maut.
Jika amaran dilumpuhkan, ia tidak dipaparkan dan tidak menjejaskan kompilasi dalam mana-mana
cara (walaupun ia membawa maut). Jika amaran didayakan, ia dipaparkan seperti biasa oleh
pengkompil apabila kod sumber mencetuskannya. Jika ia didayakan dan membawa maut, yang
pengkompil juga akan berhenti dengan ralat selepas memaparkannya.

. senarai amaran hujah ialah urutan penentu amaran, tanpa pemisah
antara mereka. Penentu amaran ialah salah satu daripada yang berikut:

+num Dayakan nombor amaran num.

-num Lumpuhkan nombor amaran num.

@num Dayakan dan tandakan sebagai nombor amaran maut num.

+num1..num2 Dayakan semua amaran antara num1 and num2 (termasuk).

-num1..num2 Lumpuhkan semua amaran antara num1 and num2 (termasuk).

@num1..num2 Dayakan dan tandai sebagai maut semua amaran antara num1 and num2
(termasuk).

+surat Dayakan set amaran yang sepadan dengannya surat. Surat itu mungkin
huruf besar atau huruf kecil.

-surat Lumpuhkan set amaran yang sepadan dengannya surat. Surat itu mungkin
huruf besar atau huruf kecil.

@surat Dayakan dan tandai sebagai maut set amaran yang sepadan dengannya surat.
Huruf itu mungkin huruf besar atau huruf kecil.

huruf besar Dayakan set amaran yang sepadan dengannya huruf besar.

huruf kecil Lumpuhkan set amaran yang sepadan dengannya huruf kecil.

Nombor amaran adalah seperti berikut.

1 Tanda permulaan komen yang kelihatan mencurigakan.

2 Tanda akhir ulasan yang kelihatan mencurigakan.

3 Ciri ditamatkan.

4 Padanan corak rapuh: padanan yang akan kekal lengkap walaupun
pembina tambahan ditambahkan pada salah satu jenis varian yang dipadankan.

5 Fungsi separa digunakan: ungkapan yang hasilnya mempunyai jenis fungsi dan ialah
diabaikan.

6 Label ditinggalkan dalam aplikasi fungsi.

7 Kaedah ditindih tanpa menggunakan "kaedah!" kata kunci

8 Padanan separa: kes yang hilang dalam padanan corak.

9 Medan hilang dalam corak rekod.

10 Ungkapan di sebelah kiri urutan yang tidak mempunyai jenis unit
(dan itu bukan fungsi, lihat amaran nombor 5).

11 Sarung lewah dalam padanan corak (sarung padanan yang tidak digunakan).

12 Sub-corak berlebihan dalam padanan corak.

13 Mengatasi pembolehubah kejadian.

14 Melarikan garisan belakang yang tidak sah dalam pemalar rentetan.

15 Kaedah persendirian didedahkan kepada umum secara tersirat.

16 Hujah pilihan yang tidak boleh dipadamkan.

17 Kaedah maya yang tidak diisytiharkan.

18 Jenis bukan prinsipal.

19 Jenis tanpa kerajaan.

20 Argumen fungsi yang tidak digunakan.

21 Penyata tidak kembali.

22 Amaran prapemproses.

23 Rekod yang tidak berguna bersama Klausa.

24 Nama modul buruk: nama fail sumber bukan nama modul OCaml yang sah.

25 Padanan corak dengan semua klausa dijaga.

26 Pembolehubah tidak digunakan yang mencurigakan: pembolehubah tidak digunakan yang terikat dengan biarkan or as, dan
tidak bermula dengan aksara garis bawah (_).

27 Pembolehubah tidak digunakan yang tidak berbahaya: pembolehubah tidak digunakan yang tidak terikat dengan biarkan tidak as,
dan tidak bermula dengan aksara garis bawah (_).

28 Corak mengandungi pembina tetap yang digunakan pada garis bawah (_)
.

29 Garis hujung yang tidak terlepas ditemui dalam pemalar rentetan. Ini mungkin menyebabkan
masalah mudah alih antara Unix dan Windows.

30 Dua label atau pembina dengan nama yang sama ditakrifkan dalam dua secara bersama
jenis rekursif.

31 Modul dipautkan dua kali dalam boleh laku yang sama.

32 Perisytiharan nilai yang tidak digunakan.

33 Penyata terbuka yang tidak digunakan.

34 Pengisytiharan jenis yang tidak digunakan.

35 Indeks untuk gelung yang tidak digunakan.

36 Pembolehubah nenek moyang yang tidak digunakan.

37 Pembina yang tidak digunakan.

38 Pembina sambungan yang tidak digunakan.

39 Bendera rec yang tidak digunakan.

40 Nama pembina atau label yang digunakan di luar skop.

41 Pembina atau nama label yang tidak jelas.

42 Nyahkekaburan nama pembina atau label.

43 Label bukan pilihan digunakan sebagai pilihan.

44 Penyataan terbuka membayangi pengecam yang telah ditetapkan.

45 Penyataan terbuka membayangi label atau pembina yang telah ditetapkan.

46 Ralat dalam pembolehubah persekitaran.

47 Muatan atribut haram.

48 Penghapusan tersirat hujah pilihan.

49 Fail cmi hilang semasa mencari alias modul.

50 Komen dokumentasi yang tidak dijangka.

Huruf itu bermaksud set amaran berikut. Mana-mana surat yang tidak disebut
di sini sepadan dengan set kosong.

A semua amaran

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

Tetapan lalai adalah -w +a-4-6-7-9-27-29-32..39-41-42-44-45-48-50. Perhatikan bahawa
amaran 5 and 10 tidak selalu dicetuskan, bergantung pada dalaman jenis
penyemak.

-amaran-kesilapan senarai amaran
Tandai sebagai ralat amaran yang dinyatakan dalam hujah senarai amaran. Penyusun
akan berhenti dengan ralat apabila salah satu daripada amaran ini dikeluarkan. The senarai amaran
mempunyai maksud yang sama seperti untuk -w pilihan: a + tanda (atau huruf besar) tanda
amaran yang sepadan sebagai maut, a - tanda (atau huruf kecil) mengubahnya
kembali kepada amaran tidak membawa maut, dan a @ menandatangani kedua-dua membolehkan dan menandakan sebagai maut
amaran yang sepadan.

Nota: tidak disyorkan untuk menggunakan -amaran-kesilapan pilihan dalam kod pengeluaran,
kerana ia hampir pasti akan menghalang penyusunan program anda dengan versi yang lebih baru
daripada OCaml apabila mereka menambah amaran baharu atau mengubah suai amaran sedia ada.

Tetapan lalai adalah -amaran-kesilapan -a (semua amaran tidak membawa maut).

-amaran-bantuan
Tunjukkan perihalan semua nombor amaran yang tersedia.

-di mana Cetak lokasi perpustakaan standard, kemudian keluar.

- fail Proses fail sebagai nama fail, walaupun ia bermula dengan aksara sempang (-).

-membantu or - membantu
Paparkan ringkasan penggunaan ringkas dan keluar.

Gunakan ocamlc dalam talian menggunakan perkhidmatan onworks.net