ocamlc - Online în cloud

PROGRAM:

NUME

ocamlc - Compilatorul OCaml bytecode

REZUMAT

ocamlc [ Opțiuni ] nume de fișier ...

ocamlc.opt [ Opțiuni ] nume de fișier ...

DESCRIERE

Compilatorul OCaml bytecode ocamlc(1) compilează fișierele sursă OCaml în fișiere obiect cod bytecode
și leagă aceste fișiere obiect pentru a produce fișiere executabile de cod de octet autonom. Aceste
fișierele executabile sunt apoi rulate de interpretul bytecode ocamlrun(1).

ocamlc(1) comanda are o interfață de linie de comandă similară cu cea a majorității compilatoarelor C.
Acceptă mai multe tipuri de argumente și le procesează secvenţial:

Argumentele care se termină în .mli sunt considerate fișiere sursă pentru interfețele unității de compilare.
Interfețele specifică numele exportate de unitățile de compilare: ele declară nume de valoare cu
tipurile lor, definesc tipuri de date publice, declară tipuri de date abstracte și așa mai departe. De la
fişier x.mli, cel ocamlc(1) compilatorul produce o interfață compilată în fișier x.cmi.

Argumentele care se termină în .ml sunt considerate fișiere sursă pentru implementările unităților de compilare.
Implementările oferă definiții pentru numele exportate de unitate și, de asemenea, conțin
expresii care trebuie evaluate pentru efectele lor secundare. Din dosar x.ml, cel ocamlc(1)
compilatorul produce bytecode obiect compilat în fișier x.cmo.

Dacă fișierul de interfață x.mli există, implementarea x.ml este verificat față de
interfața compilată corespunzătoare x.cmi, care se presupune că există. Dacă nu există interfață x.mli
este prevăzută, compilarea x.ml produce un fișier de interfață compilat x.cmi in plus
la fișierul cod obiect compilat x.cmo. Fișierul x.cmi produs corespunde unui
interfață care exportă tot ceea ce este definit în implementare x.ml.

Argumentele care se termină în .cmo sunt considerate ca obiect bytecode compilat. Aceste fișiere sunt legate
împreună, împreună cu fișierele obiect obținute prin compilarea argumentelor .ml (dacă există) și
biblioteca standard OCaml, pentru a produce un program executabil independent. Ordinea în care
Argumentele .cmo și.ml sunt prezentate pe linia de comandă este relevantă: unitățile de compilare sunt
inițializat în acea ordine în timpul execuției și este o eroare de conectare să folosești o componentă a a
unitatea înainte de a o inițializa. Prin urmare, un dat xFișierul .cmo trebuie să apară înaintea tuturor .cmo
fișiere care se referă la unitate x.

Argumentele care se termină în .cma sunt considerate biblioteci de bytecode obiect. O bibliotecă de
obiect bytecode pachete într-un singur fișier un set de fișiere obiect bytecode (fișiere .cmo).
Bibliotecile sunt construite cu ocamlc -a (vezi descrierea -a opțiunea de mai jos). The
fișierele obiect conținute în bibliotecă sunt legate ca fișiere .cmo obișnuite (vezi mai sus), în fișierul
ordinea specificată când a fost creat fișierul .cma. Singura diferență este că dacă un obiect
fișierul conținut într-o bibliotecă nu este referit nicăieri în program, atunci nu este
legat în.

Argumentele care se termină în .c sunt transmise compilatorului C, care generează un fișier obiect .o.
Acest fișier obiect este legat de program dacă -personalizat steag este setat (vezi
descrierea -personalizat de mai jos).

Argumentele care se termină în .o sau .a sunt presupuse a fi fișiere obiect C și biblioteci. Sunt
transmis la linker-ul C la conectarea -personalizat modul (vezi descrierea -personalizat
de mai jos).

Argumentele care se termină în .so sunt presupuse a fi biblioteci partajate C (DLL-uri). În timpul conectării, ei
sunt căutate funcții externe C la care se face referire din codul OCaml, iar numele lor sunt
scris în executabilul bytecode generat. Sistemul de rulare ocamlrun(1) apoi incarca
ele dinamic la momentul pornirii programului.

Ieșirea fazei de conectare este un fișier care conține bytecode compilat care poate fi
executat de interpretul de bytecode OCaml: comanda ocamlrun(1). Dacă caml.out este
numele fișierului produs de faza de legătură, comanda ocamlrun caml.out
arg1 arg2 ... argn execută codul compilat conținut în caml.out, trecându-l ca
argumentează șirurile de caractere arg1 la argn. (Vedea ocamlrun(1) pentru mai multe detalii.)

Pe majoritatea sistemelor, fișierul produs de faza de conectare poate fi rulat direct, ca în:
./caml.out arg1 arg2 ... argn. Fișierul produs are bitul executabil setat și acesta
reușește să lanseze interpretul de bytecode de la sine.

ocamlc.opt este același compilator ca ocamlc, dar compilat cu compilatorul de cod nativ
ocamlopt(1). Astfel, se comportă exact ca ocamlc, dar se compilează mai repede. ocamlc.opt Mai
nu va fi disponibil în toate instalările OCaml.

OPŢIUNI

Următoarele opțiuni de linie de comandă sunt recunoscute de ocamlc(1).

-a Construiți o bibliotecă (fișier .cma) cu fișierele obiect (fișiere .cmo) date în comandă
linie, în loc să le conectăm într-un fișier executabil. Numele bibliotecii trebuie
fi setat cu -o opțiune.

If -personalizat, -cclib or -ccopt opțiunile sunt transmise pe linia de comandă, aceste opțiuni
sunt stocate în biblioteca .cma rezultată. Apoi, conectarea cu această bibliotecă
adaugă automat înapoi -personalizat, -cclib și -ccopt opțiuni de parcă ar fi fost
furnizate pe linia de comandă, cu excepția cazului în care -noautolink este dată opțiunea. În plus,
un subșir $CAMLORIGIN în interiorul unui -ccopt opțiunile vor fi înlocuite cu calea completă
în biblioteca .cma, excluzând numele fișierului. -absnume Afișați numele absolute de fișiere în
mesaje de eroare.

-nu Descarcă informații detaliate despre compilare (tipuri, legături, apeluri de coadă etc.).
Informațiile pentru dosar src.ml este pus în fișier src.nu. În cazul unui tip
eroare, aruncați toate informațiile deduse de verificatorul de tip înainte de eroare. The
srcFișierul .annot poate fi folosit cu comenzile emacs date în emacs/caml-types.el la
afișați interactiv tipurile și alte adnotări.

-bin-annot
Descarcă informații detaliate despre compilare (tipuri, legături, apeluri de coadă etc.)
în format binar. Informațiile pentru dosar src.ml este pus în fișier src.cmt. În
în cazul unei erori de tip, aruncați toate informațiile deduse anterior de verificatorul de tip
eroarea. Fișierele de adnotări produse de -bin-annot conțin mai multe informații
și sunt mult mai compacte decât fișierele produse de -nu.

-c Compilați doar. Suprimați faza de conectare a compilației. Fișierele de cod sursă sunt
transformate în fișiere compilate, dar nu este produs niciun fișier executabil. Această opțiune este
util pentru a compila module separat.

-cc ccomp
Utilizare ccomp ca linker C atunci când se conectează în modul „execuție personalizată” (vezi -personalizat
opțiunea) și ca compilator C pentru compilarea fișierelor sursă .c.

-cclib -llibname
Treceți -llibname opțiunea către linkerul C atunci când conectați în modul „timpul de rulare personalizat”.
(A se vedea -personalizat opțiune). Acest lucru face ca biblioteca C dată să fie conectată cu
programul.

-ccopt opțiune
Treci ce este dat opțiune la compilatorul și linkerul C, atunci când conectați în „custom
modul runtime" (vezi -personalizat opțiune). De exemplu, -ccopt -Ldir provoacă C
linker pentru a căuta biblioteci C în director dir.

-compat-32
Verificați dacă executabilul bytecode generat poate rula pe platforme pe 32 de biți și semnal
o eroare dacă nu se poate. Acest lucru este util atunci când compilați bytecode pe o mașină pe 64 de biți.

-config
Tipăriți numărul versiunii de ocamlc(1) și un rezumat detaliat al configurației sale,
apoi iesi.

-personalizat
Link în modul „timpul de rulare personalizat”. În modul de conectare implicit, linker-ul produce
bytecode care este destinat să fie executat cu sistemul de rulare partajat,
ocamlrun(1). În modul de rulare personalizat, linker-ul produce un fișier de ieșire care
conține atât sistemul de rulare, cât și bytecode pentru program. Rezultați
fișierul este mai mare, dar poate fi executat direct, chiar dacă ocamlrun(1) comanda este
nu este instalat. În plus, modul „timpul de rulare personalizat” permite conectarea codului OCaml cu
funcții C definite de utilizator.

Nu folosiți niciodată strip(1) comandă pentru executabilele produse de ocamlc -personalizat, Acest
ar elimina partea bytecode a executabilului.

-dllib -llibname
Aranjați biblioteca partajată C dlllibname.asa de să fie încărcat dinamic de rulare
sistem de timp ocamlrun(1) la ora pornirii programului.

-dllpath dir
Adaugă directorul dir la calea de căutare în timpul execuției pentru bibliotecile C partajate. La
link-time, bibliotecile partajate sunt căutate în calea de căutare standard (cea
corespunzând -I opțiune). The -dllpath opțiunea pur și simplu stochează dir în
produs fișier executabil, unde ocamlrun(1) îl poate găsi și utiliza.

-pentru-pachet identitate
Această opțiune este acceptată pentru compatibilitate cu ocamlopt(1) ; nu face nimic.

-g Adăugați informații de depanare în timp ce compilați și conectați. Această opțiune este necesară în
pentru a putea depana programul cu ocamldebug(1) și pentru a produce stiva
face înapoi când programul se termină la o excepție neprinsă.

-i Determină compilatorul să imprime toate numele definite (cu tipurile lor deduse sau
definiții) la compilarea unei implementări (fișier .ml). Niciun fișier compilat (.cmo
și fișierele .cmi) sunt produse. Acest lucru poate fi util pentru a verifica tipurile deduse
compilatorul. De asemenea, deoarece rezultatul urmează sintaxa interfețelor, poate ajuta
în scrierea unei interfețe explicite (fișier .mli) pentru un fișier: doar redirecționați standardul
ieșirea compilatorului într-un fișier .mli și editați acel fișier pentru a elimina tot
declarații de nume neexportate.

-I director
Adăugați directorul dat la lista de directoare căutate pentru interfața compilată
fișiere (.cmi), fișiere de cod obiect compilat (.cmo), biblioteci (.cma) și biblioteci C
specificat cu -cclib -lXXX . În mod implicit, directorul curent este căutat mai întâi,
apoi directorul bibliotecii standard. Directoare adăugate cu -I sunt căutate
directorul curent, în ordinea în care au fost date pe linia de comandă,
dar înaintea directorului standard al bibliotecii. Vezi și opțiunea -nostdlib.

Dacă directorul dat începe cu +, este luat în raport cu biblioteca standard
director. De exemplu, -I +compiler-libs adaugă subdirectorul compilator-libs of
biblioteca standard la calea de căutare.

-impl nume de fișier
Compilați fișierul nume de fișier ca fișier de implementare, chiar dacă extensia sa nu este
.ml.

-intf nume de fișier
Compilați fișierul nume de fișier ca fișier de interfață, chiar dacă extensia sa nu este .mli.

-intf-sufix şir
Recunoașteți numele fișierelor care se termină cu şir ca fișiere de interfață (în loc de fișierele implicite
.mli).

-keep-docs
Păstrați șirurile de documentație în fișierele .cmi generate.

-keep-locs
Păstrați locațiile în fișierele .cmi generate.

-etichete
Etichetele nu sunt ignorate în tipuri, etichetele pot fi folosite în aplicații și etichetate
parametrii pot fi dați în orice ordine. Aceasta este valoarea implicită.

-linkall
Forțați toate modulele conținute în biblioteci să fie conectate. Dacă acest indicator nu este
date, modulele fără referință nu sunt conectate. Când construiți o bibliotecă (opțiune -a),
setarea -linkall opțiunea forțează toate legăturile ulterioare ale programelor care implică asta
bibliotecă pentru a lega toate modulele conținute în bibliotecă.

-make-runtime
Construiți un sistem de rulare personalizat (în fișierul specificat de opțiune -o) încorporând
fișierele obiect C și bibliotecile date pe linia de comandă. Acest timp de rulare personalizat
sistemul poate fi folosit ulterior pentru a executa executabile bytecode produse cu opțiunea
ocamlc -use-runtime runtime-name.

-no-alias-deps
Nu înregistrați dependențe pentru aliasurile modulelor.

-no-app-funct
Dezactivează comportamentul aplicativ al functorilor. Cu această opțiune, fiecare functor
aplicația generează noi tipuri în rezultatul său și aplicând același functor de două ori
la același argument dă două structuri incompatibile.

-noassert
Nu compilați verificări de afirmații. Rețineți că forma specială afirma fals Este mereu
compilat deoarece este tastat special. Acest steag nu are efect la conectare
fișiere deja compilate.

-noautolink
Când conectați bibliotecile .cma, ignorați -personalizat, -cclib și -ccopt opțiuni potențial
conținute în biblioteci (dacă aceste opțiuni au fost date la construirea fișierului
biblioteci). Acest lucru poate fi util dacă o bibliotecă conține specificații incorecte pentru C
biblioteci sau opțiuni C; în acest caz, în timpul conectării, setați -noautolink și treceți
bibliotecile și opțiunile C corecte pe linia de comandă.

-noetichete
Ignorați etichetele neopționale în tipuri. Etichetele nu pot fi folosite în aplicații și
ordinea parametrilor devine strictă.

-nostdlib
Nu adăugați automat directorul bibliotecii standard la lista de directoare
a căutat fișiere de interfață compilate (.cmi), fișiere de cod obiect compilat (.cmo),
biblioteci (.cma) și biblioteci C specificate cu -cclib -lXXX . Vezi și opțiunea
-I.

-o exec-file
Specificați numele fișierului de ieșire produs de linker. Numele implicit de ieșire
is a.out, în conformitate cu tradiția Unix. Dacă -a este dată opțiunea, specificați
numele bibliotecii produse. Dacă -ambalaj este dată opțiunea, specificați numele
a fișierului obiect împachetat produs. Dacă -output-obj este dată opțiunea, specificați
numele fișierului de ieșire produs. Acesta poate fi folosit și la compilarea unui
interfață sau fișier de implementare, fără legătură, caz în care setează numele
a fișierului cmi sau cmo și setează, de asemenea, numele modulului la numele fișierului până la
primul punct.

-deschis modul
Deschide modulul dat înainte de procesarea interfeței sau a fișierelor de implementare. Dacă
câteva -deschis sunt date opțiuni, sunt procesate în ordine, la fel ca și cum ar fi
declaratii deschise! modulul 1;; ... deschis! modulN;; au fost adăugate în partea de sus a fiecărui fișier.

-output-obj
Determină linker-ul să producă un fișier obiect C în loc de un fișier executabil bytecode.
Acest lucru este util pentru a împacheta codul OCaml ca o bibliotecă C, apelabilă din orice program C. The
numele fișierului obiect de ieșire trebuie setat cu -o opțiune. Această opțiune poate, de asemenea
poate fi folosit pentru a produce un fișier sursă C (extensie .c) sau un fișier partajat/dinamic compilat
bibliotecă (extensia .so).

-ambalaj Construiți un fișier obiect bytecode (fișier .cmo) și interfața compilată asociată acestuia
(.cmi) care combină fișierele obiect date pe linia de comandă, făcându-le să apară
ca sub-module ale fișierului .cmo de ieșire. Numele fișierului de ieșire .cmo trebuie să fie
dat cu -o opțiune. De exemplu, ocamlc -ambalaj -o p.cmo a.cmo b.cmo c.cmo
generează fișiere compilate p.cmo și p.cmi care descriu o unitate de compilare având trei
sub-modulele A, B și C, corespunzătoare conținutului fișierelor obiect a.cmo,
b.cmo și c.cmo. Acest conținut poate fi referit ca PA, PB și PC în
restul programului.

-pp comandă
Determină compilatorul să apeleze date comandă ca preprocesor pentru fiecare sursă
fişier. Ieșirea de comandă este redirecționat către un fișier intermediar, adică
compilate. Dacă nu există erori de compilare, fișierul intermediar este șters
după aceea. Numele acestui fișier este construit din numele de bază al fișierului sursă
cu extensia .ppi pentru un fișier de interfață (.mli) și .ppo pentru o implementare
(.ml) fișier.

-ppx comandă
După parsare, treceți arborele de sintaxă abstractă prin preprocesor comandă.
modul Ast_mapper(3) implementează interfața externă a unui preprocesor.

-principal
Verificați calea informațiilor în timpul verificării tipului, pentru a vă asigura că toate tipurile sunt
derivate în mod principal. Când se folosesc argumente etichetate și/sau polimorfe
metode, acest indicator este necesar pentru a asigura că versiunile viitoare ale compilatorului vor fi
capabil să deducă tipurile corect, chiar dacă algoritmii interni se modifică. Toate programele
acceptat în -principal mod sunt de asemenea acceptate în modul implicit cu echivalent
tipuri, dar semnături binare diferite, iar acest lucru poate încetini verificarea tipului; inca
este o idee bună să-l utilizați o dată înainte de a publica codul sursă.

-rectipuri
Permite tipuri recursive arbitrare în timpul verificării tipului. Implicit, doar recursiv
sunt acceptate tipurile în care recursiunea trece printr-un tip de obiect. Rețineți că o dată
ați creat o interfață folosind acest steag, trebuie să o utilizați din nou pentru toți
dependențe.

-varianta de rulare sufix
Adăuga sufix la numele bibliotecii de rulare care va fi folosită de program. Dacă
OCaml a fost configurat cu opțiunea -cu-debug-runtime, apoi d sufixul este
suportat și oferă o versiune de depanare a runtime.

-safe-string
Implementați separarea între tipuri şir și bytes, făcând astfel șirurile de caractere citite-
numai. Acesta va deveni implicit într-o versiune viitoare a OCaml.

-cai-scurte
Când un tip este vizibil sub mai multe căi de modul, utilizați cel mai scurt când
tipărirea numelui tipului în interfețe deduse și mesaje de eroare și avertizare.

-secventa-strict
Forțați partea din stânga a fiecărei secvențe să aibă unitatea de tip.

-fir
Compilați sau legați programe multithreaded, în combinație cu „threads” de sistem
biblioteca descrisă în OCAML utilizatorului manual.

-nesigure
Dezactivați verificarea legată pentru accesul la matrice și șir de caractere (the v.(i)șisi]
constructe). Programe compilate cu -nesigure sunt deci puțin mai rapide, dar
nesigur: orice se poate întâmpla dacă programul accesează o matrice sau un șir din afara
limitele sale.

-unsafe-string
Identificați tipurile şir și bytes, făcând astfel șirurile de caractere inscriptibile. Pentru motive
de compatibilitate inversă, aceasta este setarea implicită pentru moment, dar aceasta
se va schimba într-o versiune viitoare a OCaml.

-use-runtime runtime-name
Generați un fișier executabil bytecode care poate fi executat pe runtime personalizat
sistem runtime-name, construit mai devreme cu ocamlc -make-runtime runtime-name.

-v Tipăriți numărul versiunii compilatorului și locația bibliotecii standard
director, apoi ieșiți.

-verbos
Tipăriți toate comenzile externe înainte de a fi executate, în special invocările de
compilatorul C și linkerul în -personalizat modul. Util pentru depanarea problemelor bibliotecii C.

-vmthread
Compilați sau legați programe cu mai multe fire, în combinație cu firele de execuție la nivel de VM
biblioteca descrisă în OCAML utilizatorului manual.

-vnum or -versiune
Tipăriți numărul versiunii compilatorului în formă scurtă (de ex. „3.11.0”), apoi ieșiți.

-w lista de avertizare
Activați, dezactivați sau marcați ca fatale avertismentele specificate de argument
lista de avertizare.

Fiecare avertisment poate fi activat or invalid, și fiecare avertisment poate fi fatalor nefatale.
Dacă o avertizare este dezactivată, aceasta nu este afișată și nu afectează compilarea în niciuna
mod (chiar dacă este fatal). Dacă o avertizare este activată, aceasta este afișată în mod normal de
compilatorul ori de câte ori codul sursă îl declanșează. Dacă este activat și fatal,
compilatorul se va opri și cu o eroare după afișarea acestuia.

lista de avertizare argumentul este o secvență de specificatori de avertizare, fără separatori
între ele. Un specificator de avertizare este unul dintre următoarele:

+o Activați numărul de avertizare o.

-o Dezactivați numărul de avertizare o.

@o Activați și marcați ca număr de avertizare fatală o.

+NUM1..NUM2 Activați toate avertismentele între NUM1 și NUM2 (inclusiv).

-NUM1..NUM2 Dezactivați toate avertismentele între NUM1 și NUM2 (inclusiv).

@NUM1..NUM2 Activați și marcați ca fatale toate avertismentele dintre NUM1 și NUM2
(inclusiv).

+scrisoare Activați setul de avertismente corespunzător scrisoare. Scrisoarea poate fi
litere mari sau mici.

-scrisoare Dezactivați setul de avertismente corespunzător scrisoare. Scrisoarea poate fi
litere mari sau mici.

@scrisoare Activați și marcați ca fatal setul de avertismente corespunzător scrisoare.
Litera poate fi majuscule sau mici.

majusculă Activați setul de avertismente corespunzător majusculă.

litera mica Dezactivați setul de avertismente corespunzător litera mica.

Numerele de avertizare sunt după cum urmează.

1 semn de început al comentariului cu aspect suspect.

2 Semn de sfârșit de comentariu cu aspect suspect.

3 Caracteristică depreciată.

4 Potrivire model fragil: potrivire care va rămâne completă chiar dacă
constructori suplimentari sunt adăugați la unul dintre tipurile de variante potrivite.

5 Funcție parțial aplicată: expresie al cărei rezultat are tip de funcție și este
ignorat.

6 Etichetă omisă în aplicația funcției.

7 Metoda înlocuită fără a utiliza „metoda!” cuvânt cheie

8 Potrivire parțială: cazuri lipsă în potrivirea modelului.

9 Câmpuri lipsă dintr-un model de înregistrare.

10 Expresie din partea stângă a unei secvențe care nu are tip unitate
(și aceasta nu este o funcție, vezi avertismentul numărul 5).

11 Cazuri redundante într-o potrivire de tipar (cazuri de potrivire neutilizate).

12 Sub-model redundant într-un model de potrivire.

13 Suprascrierea unei variabile de instanță.

14 Escape ilegală de bară oblică inversă într-o constantă șir.

15 Metodă privată făcută publică implicit.

16 Argument opțional de neșters.

17 Metoda virtuală nedeclarată.

18 Tip non-principal.

19 Tip fără principat.

20 Argumentul funcției neutilizate.

21 Declarație de nereturnare.

22 Avertizare preprocesor.

23 Înregistrare inutilă cu clauză.

24 Nume modul greșit: numele fișierului sursă nu este un nume valid de modul OCaml.

25 Potrivirea modelului cu toate clauzele protejate.

26 Variabilă neutilizată suspectă: variabilă neutilizată cu care este legată lăsa or as, și
nu începe cu un caracter de subliniere (_).

27 Variabilă inofensivă neutilizată: variabilă neutilizată cu care nu este legată lăsa nici as,
și nu începe cu un caracter de subliniere (_).

28 Un model conține un constructor constant aplicat caracterului de subliniere (_)
model.

29 Un capăt de linie fără escape a fost găsit într-o constantă șir. Acest lucru poate cauza
probleme de portabilitate între Unix și Windows.

30 Două etichete sau constructori cu același nume sunt definiți în doi reciproc
tipuri recursive.

31 Un modul este conectat de două ori în același executabil.

32 Declarație de valoare neutilizată.

33 Declarație deschisă nefolosită.

34 Declarație de tip neutilizat.

35 Index for-loop neutilizat.

36 Variabila strămoș nefolosită.

37 Constructor nefolosit.

38 Constructor de extensie neutilizat.

39 Steagul rec nefolosit.

40 Numele constructorului sau al etichetei folosit în afara domeniului de aplicare.

41 Constructor ambiguu sau nume de etichetă.

42 Constructor dezambiguat sau nume de etichetă.

43 Etichetă neopțională aplicată ca opțional.

44 Instrucțiunea Open umbrește un identificator deja definit.

45 Instrucțiunea Open umbrează o etichetă sau un constructor deja definit.

46 Eroare în variabila de mediu.

47 Sarcina utilă a atributului ilegal.

48 Eliminarea implicită a argumentelor opționale.

49 Lipsește fișierul cmi la căutarea alias-ului modulului.

50 Comentariu neașteptat asupra documentației.

Literele reprezintă următoarele seturi de avertismente. Orice scrisoare nemenționată
aici corespunde setului gol.

A toate avertismentele

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

Setarea implicită este -w +a-4-6-7-9-27-29-32..39-41-42-44-45-48-50. Rețineți că
avertismente 5 și 10 nu sunt întotdeauna declanșate, în funcție de elementele interne ale tipului
verificator.

-warn-eroare lista de avertizare
Marcați ca erori avertismentele specificate în argument lista de avertizare. Compilatorul
se va opri cu o eroare atunci când este emis unul dintre aceste avertismente. The lista de avertizare
are aceeași semnificație ca și pentru -w varianta: a + semne (sau o literă mare).
avertismentele corespunzătoare ca fatale, a - semnul (sau o literă mică) le transformă
înapoi în avertismente non-fatale și a @ semnul permite și marchează ca fatal
avertismentele corespunzătoare.

Notă: nu se recomandă utilizarea -warn-eroare opțiune în codul de producție,
deoarece aproape sigur va împiedica compilarea programului dvs. cu versiuni ulterioare
de OCaml atunci când adaugă avertismente noi sau modifică avertismentele existente.

Setarea implicită este -warn-eroare -a (toate avertismentele sunt nefatale).

-avertizează-ajută
Afișați descrierea tuturor numerelor de avertizare disponibile.

-Unde Tipăriți locația bibliotecii standard, apoi ieșiți.

- fişier Proces fişier ca nume de fișier, chiar dacă începe cu un caracter liniuță (-).

-Ajutor or --Ajutor
Afișați un scurt rezumat al utilizării și ieșiți.

Utilizați ocamlc online folosind serviciile onworks.net