ocamlc - Online in the Cloud

프로그램:

이름

ocamlc - OCaml 바이트코드 컴파일러

개요

Ocamlc [ 옵션 ] 파일 이름 ...

ocamlc.opt [ 옵션 ] 파일 이름 ...

기술

OCaml 바이트코드 컴파일러 Ocamlc(1) OCaml 소스 파일을 바이트코드 객체 파일로 컴파일합니다.
그리고 이러한 객체 파일을 연결하여 독립형 바이트코드 실행 파일을 생성합니다. 이것들
실행 파일은 바이트코드 인터프리터에 의해 실행됩니다. 오캄룬(1).

The Ocamlc(1) 명령에는 대부분의 C 컴파일러 중 하나와 유사한 명령줄 인터페이스가 있습니다.
여러 유형의 인수를 허용하고 이를 순차적으로 처리합니다.

.mli로 끝나는 인수는 컴파일 단위 인터페이스의 소스 파일로 간주됩니다.
인터페이스는 컴파일 단위에서 내보낸 이름을 지정합니다.
유형, 공용 데이터 유형 정의, 추상 데이터 유형 선언 등. 로부터
파일 x.mli, Ocamlc(1) 컴파일러는 파일에 컴파일된 인터페이스를 생성합니다. x.cmi.

.ml로 끝나는 인수는 컴파일 단위 구현을 위한 소스 파일로 간주됩니다.
구현은 장치에서 내보낸 이름에 대한 정의를 제공하고 다음을 포함합니다.
부작용을 평가할 표현입니다. 파일에서 x.ml, Ocamlc(1)
컴파일러는 파일에 컴파일된 객체 바이트코드를 생성합니다. x.cmo.

인터페이스 파일의 경우 x.mli가 존재하며 구현 x.ml은 다음과 비교하여 확인됩니다.
해당 컴파일된 인터페이스 x.cmi가 존재하는 것으로 간주됩니다. 인터페이스가 없는 경우 x.mli
제공되며, x.ml은 컴파일된 인터페이스 파일을 생성합니다. x.cmi 추가
컴파일된 개체 코드 파일에 x.cmo. 파일 x생성된 .cmi는 다음에 해당합니다.
구현에 정의된 모든 것을 내보내는 인터페이스 x.ml

.cmo로 끝나는 인수는 컴파일된 객체 바이트코드로 간주됩니다. 이 파일들은 링크되어 있습니다
.ml 인수(있는 경우)를 컴파일하여 얻은 개체 파일과 함께
독립 실행형 실행 프로그램을 생성하기 위한 OCaml 표준 라이브러리. 그 순서는
.cmo 및 .ml 인수는 명령줄에 표시됩니다. 컴파일 단위는 다음과 같습니다.
런타임에 해당 순서대로 초기화되었으며,
장치를 초기화하기 전에. 따라서 주어진 x.cmo 파일은 모든 .cmo 앞에 와야 합니다.
장치를 참조하는 파일 x.

.cma로 끝나는 인수는 객체 바이트코드의 라이브러리로 간주됩니다. 도서관
객체 바이트코드는 객체 바이트코드 파일(.cmo 파일) 세트를 단일 파일에 압축합니다.
라이브러리는 다음과 같이 구축됩니다. Ocamlc -a (설명 참조 -a 아래 옵션). 그만큼
라이브러리에 포함된 개체 파일은 일반 .cmo 파일(위 참조)로 링크됩니다.
.cma 파일이 빌드될 때 지정된 순서입니다. 유일한 차이점은 객체가
라이브러리에 포함된 파일은 프로그램의 어느 곳에서도 참조되지 않습니다.
연결되어 있습니다.

.c로 끝나는 인수는 .o 개체 파일을 생성하는 C 컴파일러로 전달됩니다.
이 개체 파일은 다음과 같은 경우 프로그램과 연결됩니다. -커스텀 플래그가 설정되었습니다(참조:
설명 -커스텀 아래).

.o 또는 .a로 끝나는 인수는 C 개체 파일 및 라이브러리로 간주됩니다. 그들은
링크할 때 C 링커로 전달됨 -커스텀 모드(설명 참조) -커스텀
아래).

.so로 끝나는 인수는 C 공유 라이브러리(DLL)로 간주됩니다. 연결하는 동안 그들은
OCaml 코드에서 참조된 외부 C 함수를 검색하고 해당 이름은 다음과 같습니다.
생성된 바이트코드 실행 파일에 기록됩니다. 런타임 시스템 오캄룬(1) 그런 다음로드
프로그램 시작 시 동적으로 표시됩니다.

연결 단계의 출력은 컴파일된 바이트코드가 포함된 파일입니다.
OCaml 바이트코드 인터프리터에 의해 실행됨: 명령 오캄룬(1). 만약에 캠 아웃 이다
연결 단계에서 생성된 파일 이름, 명령 오캄룬 캠 아웃
arg1 arg2 ... 아르간 다음에 포함된 컴파일된 코드를 실행합니다. 캠 아웃, 다음과 같이 전달합니다.
문자열을 인수로 사용 arg1 에 아르간. (만나다 오캄룬(1) 자세한 내용은.)

대부분의 시스템에서 연결 단계에서 생성된 파일은 다음과 같이 직접 실행할 수 있습니다.
./caml.out arg1 arg2 ... 아르간. 생성된 파일에는 실행 가능한 비트 세트가 있으며,
바이트코드 인터프리터를 자체적으로 실행합니다.

ocamlc.opt 와 같은 컴파일러입니다. Ocamlc, 그러나 네이티브 코드 컴파일러로 컴파일됨
오캄 롭트(1). 따라서 다음과 같이 정확하게 동작합니다. Ocamlc, 그러나 컴파일 속도가 더 빠릅니다. ocamlc.opt ５월
모든 OCaml 설치에서 사용할 수 있는 것은 아닙니다.

옵션

다음 명령줄 옵션은 다음에서 인식됩니다. Ocamlc(1).

-a 명령에 제공된 개체 파일(.cmo 파일)을 사용하여 라이브러리(.cma 파일)를 빌드합니다.
행을 실행 파일에 연결하는 대신. 도서관 이름은 반드시
로 설정되다 -o 옵션을 선택합니다.

If -커스텀, -cclib or -콥트 옵션은 명령줄에서 전달되며, 이러한 옵션은
결과 .cma 라이브러리에 저장됩니다. 그런 다음 이 라이브러리와 연결
자동으로 다시 추가 -커스텀, -cclib 그리고 -콥트 마치 그랬던 것처럼 옵션
명령줄에 제공되지 않는 한 -노오토링크 옵션이 주어집니다. 추가적으로,
하위 문자열 $CAMLORIGIN 내부 -콥트 옵션은 전체 경로로 대체됩니다
파일 이름을 제외하고 .cma 라이브러리로 이동합니다. -absname 절대 파일 이름 표시
오류 메시지.

-주석 컴파일에 대한 자세한 정보(유형, 바인딩, 마무리 호출 등)를 덤프합니다.
파일 정보 SRC.ml이 파일에 저장됩니다. SRC.annot. 타입의 경우
오류가 발생하면 오류 이전에 유형 검사기가 유추한 모든 정보를 덤프합니다. 그만큼
SRC.annot 파일은 다음에 제공된 emacs 명령과 함께 사용할 수 있습니다. emacs/caml-types.el 에
유형 및 기타 주석을 대화식으로 표시합니다.

-bin-annot
컴파일에 대한 자세한 정보 덤프(유형, 바인딩, 마무리 호출 등)
바이너리 형식으로. 파일 정보 SRC.ml이 파일에 저장됩니다. SRC.cmt. ~ 안에
타입 오류가 발생하면 이전에 타입 검사기가 유추한 모든 정보를 덤프합니다.
오류. 에서 생성한 주석 파일 -bin-annot 더 많은 정보를 포함
에서 생성한 파일보다 훨씬 더 작습니다. -주석.

-c 컴파일만 합니다. 컴파일의 연결 단계를 억제합니다. 소스 코드 파일은
컴파일된 파일로 바뀌었지만 실행 파일이 생성되지 않습니다. 이 옵션은
모듈을 별도로 컴파일하는 데 유용합니다.

-cc ccomp
ccomp "사용자 정의 런타임" 모드에서 연결할 때 C 링커로 사용(참조: -커스텀
옵션) 및 .c 소스 파일을 컴파일하기 위한 C 컴파일러로 사용됩니다.

-cclib -l라이브러리 이름
통과 -l라이브러리 이름 "사용자 정의 런타임" 모드에서 링크할 때 C 링커에 대한 옵션
(참조 -커스텀 옵션). 이로 인해 주어진 C 라이브러리가 다음과 연결됩니다.
프로그램)

-콥트 option
주어진 것을 통과하십시오 option "custom"에서 링크할 때 C 컴파일러 및 링커에
런타임' 모드(참조: -커스텀 옵션). 예를 들어, -콥트 -LDIR C를 유발한다
디렉토리에서 C 라이브러리를 검색하는 링커 DIR.

-compat-32
생성된 바이트코드 실행 파일이 32비트 플랫폼에서 실행될 수 있는지 확인하고 신호를 보냅니다.
그렇지 않으면 오류가 발생합니다. 이는 64비트 시스템에서 바이트코드를 컴파일할 때 유용합니다.

-구성
의 버전 번호를 인쇄하십시오. Ocamlc(1) 및 해당 구성에 대한 자세한 요약,
그런 다음 종료합니다.

-커스텀
"사용자 정의 런타임" 모드로 링크하세요. 기본 연결 모드에서 링커는 다음을 생성합니다.
공유 런타임 시스템과 함께 실행되도록 의도된 바이트코드,
오캄룬(1). 사용자 정의 런타임 모드에서 링커는 다음과 같은 출력 파일을 생성합니다.
런타임 시스템과 프로그램의 바이트코드가 모두 포함되어 있습니다. 결과
파일이 더 크지만, 오캄룬(1) 명령은
설치되지 않았습니다. 또한 "사용자 정의 런타임" 모드를 사용하면 OCaml 코드를 다음과 연결할 수 있습니다.
사용자 정의 C 함수.

사용하지 마십시오 조각(1) 다음에 의해 생성된 실행 파일에 대한 명령 Ocamlc -커스텀이
실행 파일의 바이트 코드 부분을 제거합니다.

-dllib -l라이브러리 이름
C 공유 라이브러리 준비 dll을라이브러리 이름.그래서 실행에 의해 동적으로 로드됩니다.
시간 체계 오캄룬(1) 프로그램 시작 시.

-dll 경로 DIR
디렉토리를 추가합니다 DIR 공유 C 라이브러리의 런타임 검색 경로로 이동합니다. ~에
링크 타임, 공유 라이브러리는 표준 검색 경로(하나)에서 검색됩니다.
에 해당하는 -I 옵션). 그만큼 -dll 경로 옵션은 단순히 저장 DIR 인간을
생성된 실행 파일 오캄룬(1) 찾아서 사용할 수 있습니다.

-팩용 ident
이 옵션은 다음과의 호환성을 위해 허용됩니다. 오캄 롭트(1) ; 아무것도 하지 않습니다.

-g 컴파일 및 링크하는 동안 디버깅 정보를 추가합니다. 이 옵션은 다음에서 필요합니다.
프로그램을 디버깅할 수 있도록 ocamldbug(1) 그리고 스택을 생성하기 위해
포착되지 않은 예외로 인해 프로그램이 종료될 때 역추적합니다.

-i 컴파일러가 정의된 모든 이름(추론된 유형 또는 해당 이름과 함께)을 인쇄하도록 합니다.
정의) 구현(.ml 파일)을 컴파일할 때. 컴파일된 파일(.cmo
및 .cmi 파일)이 생성됩니다. 이는 다음에 의해 유추된 유형을 확인하는 데 유용할 수 있습니다.
컴파일러. 또한 출력이 인터페이스의 구문을 따르기 때문에 도움이 될 수 있습니다.
파일에 대한 명시적 인터페이스(.mli 파일)를 작성할 때: 표준을 리디렉션하기만 하면 됩니다.
컴파일러의 출력을 .mli 파일로 변환하고 해당 파일을 편집하여 모두 제거합니다.
내보내지 않은 이름의 선언.

-I 예배 규칙서
컴파일된 인터페이스를 검색한 디렉토리 목록에 지정된 디렉토리 추가
파일(.cmi), 컴파일된 개체 코드 파일(.cmo), 라이브러리(.cma) 및 C 라이브러리
로 지정 -cclib -l트리플 엑스 . 기본적으로 현재 디렉터리를 먼저 검색하고,
그런 다음 표준 라이브러리 디렉토리입니다. 다음으로 추가된 디렉토리 -I 이후에 검색됩니다
현재 디렉토리(명령줄에 제공된 순서대로)
하지만 표준 라이브러리 디렉토리 앞에 있습니다. 옵션도 참조하세요 -nostdlib.

주어진 디렉토리가 다음으로 시작하는 경우 +, 표준 라이브러리를 기준으로 합니다.
예배 규칙서. 예를 들어, -I +컴파일러 라이브러리 하위 디렉토리를 추가합니다 컴파일러 라이브러리 of
표준 라이브러리를 검색 경로에 추가합니다.

-impl 파일 이름
파일 컴파일 파일 이름 확장자가 아닌 경우에도 구현 파일로
.ml

-intf 파일 이름
파일 컴파일 파일 이름 확장자가 .mli가 아니더라도 인터페이스 파일로 사용할 수 있습니다.

-intf-접미사 현
로 끝나는 파일 이름 인식 현 인터페이스 파일로(기본값 대신
.mli).

-문서 유지
생성된 .cmi 파일에 문서 문자열을 보관합니다.

-keep-locs
생성된 .cmi 파일에 위치를 유지합니다.

-라벨
레이블은 유형에서 무시되지 않으며 레이블은 응용 프로그램에서 사용될 수 있으며 레이블이 지정됩니다.
매개변수는 임의의 순서로 제공될 수 있습니다. 이것이 기본값입니다.

-링크올
라이브러리에 포함된 모든 모듈이 링크되도록 강제합니다. 이 플래그가
주어지면 참조되지 않은 모듈은 링크되지 않습니다. 라이브러리를 구축할 때(옵션 -a),
설정 -링크올 옵션은 해당 프로그램과 관련된 모든 후속 프로그램 링크를 강제합니다.
라이브러리에 포함된 모든 모듈을 연결하는 라이브러리.

-Make-런타임
사용자 정의 런타임 시스템 구축(옵션으로 지정된 파일에서) -o) 통합
명령줄에 제공된 C 개체 파일 및 라이브러리. 이 사용자 정의 런타임
시스템은 나중에 옵션으로 생성된 바이트코드 실행 파일을 실행하는 데 사용될 수 있습니다.
Ocamlc -사용 런타임 런타임 이름.

-별칭 없음-뎁스
모듈 별칭에 대한 종속성을 기록하지 마세요.

-앱 기능 없음
펑터의 적용 동작을 비활성화합니다. 이 옵션을 사용하면 각 펑터
응용 프로그램은 결과에 새 유형을 생성하고 동일한 함수를 두 번 적용합니다.
동일한 인수에 대해 두 개의 호환되지 않는 구조가 생성됩니다.

-노어설트
어설션 검사를 컴파일하지 마십시오. 참고로 특별한 형태는 단언하다 그릇된 항상
특수하게 입력되었기 때문에 컴파일되었습니다. 링크할 때 이 플래그는 효과가 없습니다.
이미 컴파일된 파일.

-노오토링크
.cma 라이브러리를 연결할 때 무시하십시오. -커스텀, -cclib 그리고 -콥트 잠재적인 옵션
라이브러리에 포함된
도서관). 이는 라이브러리에 잘못된 C 사양이 포함되어 있는 경우 유용할 수 있습니다.
라이브러리 또는 C 옵션; 이 경우 연결 중에 다음을 설정합니다. -노오토링크 그리고 통과
명령줄에서 C 라이브러리 및 옵션을 수정하십시오.

-nolabels
유형에서 선택 사항이 아닌 레이블을 무시합니다. 레이블은 응용 프로그램에서 사용할 수 없으며
매개변수 순서가 엄격해집니다.

-nostdlib
표준 라이브러리 디렉토리를 디렉토리 목록에 자동으로 추가하지 않음
컴파일된 인터페이스 파일(.cmi), 컴파일된 개체 코드 파일(.cmo),
라이브러리(.cma) 및 다음으로 지정된 C 라이브러리 -cclib -l트리플 엑스 . 옵션도 참조하세요
-I.

-o 실행 파일
링커에서 생성된 출력 파일의 이름을 지정합니다. 기본 출력 이름
is 아웃, 유닉스 전통을 유지합니다. 만약 -a 옵션이 주어지면 지정
생성된 라이브러리의 이름입니다. 만약 -팩 옵션이 주어지면 이름을 지정하십시오
생성된 압축된 개체 파일의 만약 -출력-OBJ 옵션이 주어지면 지정
생성된 출력 파일의 이름입니다. 이는 컴파일할 때도 사용할 수 있습니다.
링크가 없는 인터페이스 또는 구현 파일. 이 경우 이름이 설정됩니다.
cmi 또는 cmo 파일의 모듈 이름을 파일 이름까지 설정합니다.
첫 번째 점.

-오픈 모듈
인터페이스 또는 구현 파일을 처리하기 전에 지정된 모듈을 엽니다. 만약에
몇몇의 -오픈 옵션이 주어지면 순서대로 처리됩니다.
진술이 열립니다! 모듈1;; ... 열려 있는! 모듈ㄴ;; 각 파일의 상단에 추가되었습니다.

-출력-OBJ
링커가 바이트코드 실행 파일 대신 C 개체 파일을 생성하도록 합니다.
이는 OCaml 코드를 C 프로그램에서 호출할 수 있는 C 라이브러리로 래핑하는 데 유용합니다. 그만큼
출력 개체 파일의 이름은 다음과 같이 설정되어야 합니다. -o 옵션. 이 옵션은 또한
C 소스 파일(.c 확장자) 또는 컴파일된 공유/동적 파일을 생성하는 데 사용됩니다.
라이브러리(.so 확장자).

-팩 바이트코드 개체 파일(.cmo 파일) 및 관련 컴파일된 인터페이스 빌드
(.cmi) 명령줄에 제공된 개체 파일을 결합하여 표시되도록 합니다.
출력 .cmo 파일의 하위 모듈로. 출력 .cmo 파일의 이름은 다음과 같아야 합니다.
주어진 -o 옵션. 예를 들어, Ocamlc -팩 -o p.cmo a.cmo b.cmo c.cmo
세 개의 컴파일 단위를 설명하는 컴파일된 파일 p.cmo 및 p.cmi를 생성합니다.
개체 파일 a.cmo의 내용에 해당하는 하위 모듈 A, B 및 C,
b.cmo 및 c.cmo. 해당 내용은 PA, PB, PC로 참조할 수 있습니다.
프로그램의 나머지 부분.

-pp 명령
컴파일러가 주어진 것을 호출하도록 합니다. 명령 각 소스의 전처리기로
파일. 의 출력 명령 중간 파일로 리디렉션됩니다.
컴파일. 컴파일 오류가 없으면 중간 파일이 삭제됩니다.
나중에. 이 파일의 이름은 소스 파일의 기본 이름으로 구성됩니다.
인터페이스(.mli) 파일의 경우 확장자가 .ppi이고 구현의 경우 확장자가 .ppo입니다.
(.ml) 파일입니다.

-ppx 명령
구문 분석 후 전처리기를 통해 추상 구문 트리를 파이프합니다. 명령. 그만큼
모듈 Ast_mapper(3) 전처리기의 외부 인터페이스를 구현합니다.

-주요한
유형 검사 중 정보 경로를 확인하여 모든 유형이 올바른지 확인하십시오.
주요 방법으로 파생됩니다. 레이블이 지정된 인수 및/또는 다형성을 사용하는 경우
이 플래그는 컴파일러의 향후 버전이
내부 알고리즘이 변경되더라도 유형을 올바르게 유추할 수 있습니다. 모든 프로그램
에 합격 -주요한 모드는 동등한 기본 모드에서도 허용됩니다.
유형이지만 이진 서명이 다르기 때문에 유형 검사 속도가 느려질 수 있습니다. 아직
소스 코드를 게시하기 전에 한 번 사용하는 것이 좋습니다.

-rectypes
유형 검사 중에 임의의 재귀 유형을 허용합니다. 기본적으로 재귀
재귀가 객체 유형을 통과하는 유형이 지원됩니다. 일단 참고하세요
이 플래그를 사용하여 인터페이스를 생성했습니다. 모든 작업에 대해 다시 사용해야 합니다.
종속성.

-런타임 변형 접미사
추가 접미사 프로그램에서 사용할 런타임 라이브러리의 이름에. 만약에
OCaml은 옵션으로 구성되었습니다. -디버그 런타임, 그 다음에 d 접미사는
지원되며 런타임의 디버그 버전을 제공합니다.

-안전 문자열
유형 간 분리 적용 현 그리고 바이트, 따라서 문자열을 읽습니다.
오직. 이것은 향후 OCaml 버전에서 기본값이 될 것입니다.

-짧은 경로
여러 모듈 경로 아래에 유형이 표시되면 가장 짧은 것을 사용하십시오.
유추된 인터페이스와 오류 및 경고 메시지에 유형의 이름을 인쇄합니다.

-엄격한 시퀀스
각 시퀀스의 왼쪽 부분이 유형 단위를 갖도록 합니다.

-실
시스템 "스레드"와 결합하여 멀티스레드 프로그램을 컴파일하거나 링크합니다.
에 설명된 라이브러리 The 오캄 사용자 조작.

-위험한
배열 및 문자열 액세스에 대한 경계 검사를 해제합니다( v.(i)그리고시]
구조). 로 컴파일된 프로그램 -위험한 따라서 약간 더 빠르지만
안전하지 않음: 프로그램이 외부의 배열이나 문자열에 액세스하면 모든 일이 발생할 수 있습니다.
그 경계.

-안전하지 않은 문자열
유형 식별 현 그리고 바이트, 따라서 문자열을 쓰기 가능하게 만듭니다. 이유로
이전 버전과의 호환성을 위해 현재로서는 이것이 기본 설정이지만
향후 버전의 OCaml에서 변경됩니다.

-사용 런타임 런타임 이름
커스텀 런타임에서 실행될 수 있는 바이트코드 실행 파일 생성
체계 런타임 이름, 이전에 구축된 Ocamlc -Make-런타임 런타임 이름.

-v 컴파일러의 버전 번호와 표준 라이브러리의 위치를 ​​인쇄합니다.
디렉터리를 선택한 다음 종료합니다.

-말 수가 많은
모든 외부 명령이 실행되기 전에 인쇄합니다.
C 컴파일러와 링커 -커스텀 방법. C 라이브러리 문제를 디버깅하는 데 유용합니다.

-vmthread
VM 수준 스레드와 결합하여 다중 스레드 프로그램을 컴파일하거나 연결합니다.
에 설명된 라이브러리 The 오캄 사용자 조작.

-vnum or -번역
짧은 형식(예: "3.11.0")으로 컴파일러의 버전 번호를 인쇄한 다음 종료합니다.

-w 경고 목록
인수로 지정된 경고를 활성화, 비활성화 또는 치명적으로 표시합니다.
경고 목록.

각 경고는 다음과 같습니다. 사용 가능 or 사용, 각 경고는 치명적인or 치명적이지 않은.
경고가 비활성화되면 표시되지 않으며 컴파일에 영향을 주지 않습니다.
방법(치명적이라 할지라도). 경고가 활성화된 경우 다음과 같이 정상적으로 표시됩니다.
소스 코드가 트리거할 때마다 컴파일러. 활성화되어 있고 치명적인 경우,
컴파일러는 이를 표시한 후 오류와 함께 중지됩니다.

The 경고 목록 인수는 구분 기호가 없는 일련의 경고 지정자입니다.
그들 사이에. 경고 지정자는 다음 중 하나입니다.

+NUM 경고 번호 활성화 NUM.

-NUM 경고 번호 비활성화 NUM.

@NUM 치명적인 경고 번호를 활성화하고 표시합니다. NUM.

+숫자 1..숫자 2 다음 사이의 모든 경고를 활성화합니다. 숫자 1 그리고 숫자 2 (포함한).

-숫자 1..숫자 2 사이의 모든 경고를 비활성화합니다. 숫자 1 그리고 숫자 2 (포함한).

@숫자 1..숫자 2 다음 사이의 모든 경고를 활성화하고 치명적으로 표시합니다. 숫자 1 그리고 숫자 2
(포함한).

+편지 다음에 해당하는 경고 세트를 활성화합니다. 편지. 편지는 다음과 같습니다.
대문자 또는 소문자.

-편지 다음에 해당하는 경고 세트를 비활성화합니다. 편지. 편지는 다음과 같습니다.
대문자 또는 소문자.

@편지 다음에 해당하는 경고 세트를 활성화하고 치명적으로 표시합니다. 편지.
문자는 대문자일 수도 있고 소문자일 수도 있습니다.

대문자 다음에 해당하는 경고 세트를 활성화합니다. 대문자.

소문자 다음에 해당하는 경고 세트를 비활성화합니다. 소문자.

경고 번호는 다음과 같습니다.

1 의심스러워 보이는 주석 시작 표시.

2 의심스러워 보이는 주석 끝 표시.

3 더 이상 사용되지 않는 기능입니다.

4 취약한 패턴 매칭: 매칭이 실패하더라도 완전하게 유지됩니다.
일치하는 변형 유형 중 하나에 추가 생성자가 추가됩니다.

5 부분 적용 함수: 결과가 함수 유형을 갖고 다음과 같은 표현식입니다.
무시되었습니다.

6 함수 적용 시 라벨이 생략되었습니다.

7 "method!"를 사용하지 않고 메서드가 재정의되었습니다. 예어

8 부분 일치: 패턴 일치에서 사례가 누락되었습니다.

9 레코드 패턴에서 필드가 누락되었습니다.

10 유형이 없는 시퀀스의 왼쪽에 있는 표현식 단위
(그리고 그것은 기능이 아닙니다. 경고 번호 5를 참조하십시오).

11 패턴 일치의 중복 사례(사용되지 않은 일치 사례).

12 패턴 일치의 중복 하위 패턴입니다.

13 인스턴스 변수를 재정의합니다.

14 문자열 상수에서 잘못된 백슬래시가 이스케이프되었습니다.

15 비공개 메소드가 암시적으로 공개되었습니다.

16 지울 수 없는 선택적 인수입니다.

17 선언되지 않은 가상 메소드입니다.

18 비주체 유형.

19 공국이 없는 유형.

20 사용되지 않은 함수 인수입니다.

21 반환되지 않는 진술.

22 전처리기 경고.

23 쓸모없는 기록 과 절.

24 잘못된 모듈 이름: 소스 파일 이름이 유효한 OCaml 모듈 이름이 아닙니다.

25 모든 절이 보호된 패턴 일치.

26 의심스러운 미사용 변수: 다음과 결합된 미사용 변수 하자 or as및
밑줄(_) 문자로 시작하지 않습니다.

27 무해한 미사용 변수: 와 결합되지 않은 미사용 변수 하자 ...도 아니다 as,
밑줄(_) 문자로 시작하지 않습니다.

28 패턴에는 밑줄(_)에 적용된 상수 생성자가 포함되어 있습니다.
패턴입니다.

29 문자열 상수에서 이스케이프되지 않은 줄 끝이 발견되었습니다. 이로 인해 다음이 발생할 수 있습니다.
Unix와 Windows 간의 이식성 문제.

30 동일한 이름의 두 레이블 또는 생성자가 두 개로 서로 정의됩니다.
재귀 유형.

31 동일한 실행 파일에서 모듈이 두 번 링크되었습니다.

32 사용되지 않은 값 선언.

33 사용되지 않은 공개문입니다.

34 사용되지 않은 유형 선언입니다.

35 사용되지 않은 for-loop 인덱스입니다.

36 사용되지 않은 조상 변수입니다.

37 사용되지 않은 생성자입니다.

38 사용되지 않은 확장 생성자.

39 사용되지 않은 Rec 플래그.

40 범위를 벗어난 생성자 또는 레이블 이름이 사용되었습니다.

41 생성자 또는 레이블 이름이 모호합니다.

42 명확한 생성자 또는 레이블 이름입니다.

43 선택사항이 아닌 라벨이 선택사항으로 적용되었습니다.

44 Open 문은 이미 정의된 식별자를 숨깁니다.

45 Open 문은 이미 정의된 레이블이나 생성자를 숨깁니다.

46 환경변수에 오류가 있습니다.

47 잘못된 속성 페이로드입니다.

48 선택적 인수를 암시적으로 제거합니다.

49 모듈 별칭을 검색할 때 cmi 파일이 누락되었습니다.

50 예상치 못한 문서 설명입니다.

문자는 다음과 같은 경고 세트를 나타냅니다. 언급되지 않은 모든 편지
여기서는 빈 세트에 해당합니다.

A 모든 경고

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

기본 설정은 다음과 같습니다. -w +a-4-6-7-9-27-29-32..39-41-42-44-45-48-50. 그 주
경고 5 그리고 10 유형의 내부에 따라 항상 트리거되는 것은 아닙니다.
체커.

-경고 오류 경고 목록
인수에 지정된 경고를 오류로 표시 경고 목록. 컴파일러
이러한 경고 중 하나가 발생하면 오류와 함께 중지됩니다. 그만큼 경고 목록
와 같은 의미를 갖는다. -w 옵션: + 기호(또는 대문자) 표시
해당 경고는 치명적입니다. - 기호(또는 소문자)는
치명적이지 않은 경고로 돌아가고 @ 활성화하고 치명적으로 표시하는 서명
해당 경고.

참고: 사용하지 않는 것이 좋습니다. -경고 오류 프로덕션 코드의 옵션,
이후 버전으로 프로그램을 컴파일하는 것을 거의 확실하게 방지하기 때문입니다.
새로운 경고를 추가하거나 기존 경고를 수정할 때 OCaml의

기본 설정은 다음과 같습니다. -경고 오류 -a (모든 경고는 치명적이지 않습니다).

-경고-도움말
사용 가능한 모든 경고 번호에 대한 설명을 표시합니다.

-어디 표준 라이브러리의 위치를 ​​인쇄한 다음 종료합니다.

- 파일 방법 파일 대시(-) 문자로 시작하더라도 파일 이름으로 사용됩니다.

-도움 or --도움
간단한 사용 요약을 표시하고 종료합니다.

Use ocamlc online using onworks.net services