ocaml

PROGRAM:

IMIĘ

ocaml - interaktywny najwyższy poziom OCaml

STRESZCZENIE

ocaml [ Opcje ] [ pliki-obiektowe ] [ plik-skryptu ]

OPIS

ocaml(1) polecenie to system najwyższego poziomu dla OCamla, który umożliwia interaktywne użycie
System OCaml poprzez pętlę odczytu i wydruku. W tym trybie system wielokrotnie odczytuje
OCaml frazy z danych wejściowych, następnie sprawdza typy, kompiluje i ocenia je, a następnie drukuje
wywnioskowany typ i wartość wyniku, jeśli istnieje. System drukuje znak # (ostry) przed
czytanie każdej frazy.

Fraza najwyższego poziomu może obejmować kilka linii. Jest zakończony przez ;; (podwójny średnik). ten
składnia fraz najwyższego poziomu jest następująca.

System najwyższego poziomu jest uruchamiany przez polecenie ocaml(1). Zwroty są czytane w standardzie
wejście, wyniki są drukowane na standardowym wyjściu, błędy na standardowym błędzie. Koniec pliku włączony
standardowe wejście kończy się ocaml(1).

Jeśli jeden lub więcej pliki-obiektowe (zakończone na .cmo lub .cma) są ładowane po cichu
przed rozpoczęciem najwyższego poziomu.

Jeśli plik-skryptu podane, frazy są odczytywane po cichu z pliku, błędy są drukowane
Standardowy błąd. ocaml(1) wychodzi po wykonaniu ostatniej frazy.

OPCJE

Następujące opcje wiersza poleceń są rozpoznawane przez ocaml(1).

-nazwa abs
Pokaż bezwzględne nazwy plików w komunikatach o błędach.

-I katalog
Dodaj podany katalog do listy katalogów wyszukanych i skompilowanych
pliki. Domyślnie najpierw przeszukiwany jest bieżący katalog, a następnie standardowy
katalog biblioteki. Katalogi dodane za pomocą -I są przeszukiwane po bieżącym
katalog, w kolejności, w jakiej zostały podane w wierszu poleceń, ale wcześniej
katalog biblioteki standardowej.

Jeśli podany katalog zaczyna się od +, jest brany pod uwagę względem standardowej biblioteki
informator. Na przykład, -I +biblioteki-kompilatora dodaje podkatalog biblioteki-kompilatora of
standardowej biblioteki do ścieżki wyszukiwania.

Katalogi można również dodawać do ścieżki wyszukiwania, gdy na najwyższym poziomie działa
dotychczasowy #informator Dyrektywa.

-w tym filet
Załaduj podany plik zamiast domyślnego pliku inicjującego. Domyślny plik
is ocamlinit w bieżącym katalogu, jeśli istnieje, w przeciwnym razie ocamlinit
katalog domowy użytkownika.

-etykiety
Etykiety nie są ignorowane w typach, etykiety mogą być używane w aplikacjach i oznakowane
parametry można podać w dowolnej kolejności. To jest ustawienie domyślne.

-brak funkcji aplikacji
Dezaktywuje aplikacyjne zachowanie funktorów. Dzięki tej opcji każdy funktor
aplikacja generuje w wyniku nowe typy i dwukrotnie stosuje ten sam funktor
ten sam argument daje dwie niezgodne struktury.

-brak potwierdzenia
Nie kompiluj kontroli asercji. Zwróć uwagę, że specjalny formularz zapewniać fałszywy jest zawsze
skompilowany, ponieważ jest wpisany specjalnie.

-noetykiety
Ignoruj ​​nieopcjonalne etykiety w typach. Etykiety nie mogą być używane w aplikacjach i
kolejność parametrów staje się ścisła.

-nopropt
Nie wyświetlaj żadnego monitu podczas oczekiwania na dane wejściowe.

-noproptcont
Nie wyświetlaj dodatkowego monitu podczas oczekiwania na wiersze kontynuacji w wielu
wejścia liniowe. Powinno to być używane np. podczas biegania ocaml(1) w an emacs(1) okno.

-nostdlib
Nie umieszczaj standardowego katalogu biblioteki na liście przeszukiwanych katalogów
dla plików źródłowych i skompilowanych.

-otwarty moduł
Otwiera dany moduł przed rozpoczęciem najwyższego poziomu. Jeśli kilka -otwarty opcje są
podane, są przetwarzane w kolejności, tak jakby wyciągi były otwarte! moduł 1;; ...
otwarty! modułN;; zostały wprowadzone.

-ppks komenda
Po przeanalizowaniu przepuść drzewo składni abstrakcyjnej przez preprocesor komenda,
moduł Ast_mapper(3) implementuje zewnętrzny interfejs preprocesora.

-główny
Sprawdź ścieżkę informacji podczas sprawdzania typu, aby upewnić się, że wszystkie typy są
wywodzi się w zasadniczy sposób. Używając argumentów oznaczonych i/lub polimorficznych
metod, ta flaga jest wymagana, aby zapewnić, że przyszłe wersje kompilatora będą
w stanie poprawnie wywnioskować typy, nawet jeśli wewnętrzne algorytmy się zmienią. Wszystkie programy
zaakceptowane w -główny tryby są również akceptowane w trybie domyślnym z ekwiwalentem
typy, ale różne sygnatury binarne, co może spowolnić sprawdzanie typów; już
dobrym pomysłem jest użycie go raz przed opublikowaniem kodu źródłowego.

- rectypes
Zezwalaj na dowolne typy rekurencyjne podczas sprawdzania typu. Domyślnie tylko cykliczne
obsługiwane są typy, w których rekursja przechodzi przez typ obiektu.

-bezpieczna-struna
Wymuś rozdział między typami ciąg i bajtów, dzięki czemu ciągi są odczytywane
tylko. Będzie to ustawienie domyślne w przyszłej wersji OCamla.

-krótkie ścieżki
Gdy typ jest widoczny pod kilkoma ścieżkami modułów, użyj najkrótszej, gdy
drukowanie nazwy typu w wywnioskowanych interfejsach oraz komunikatach o błędach i ostrzeżeniach.

-stdin Czytaj standardowe wejście jako plik skryptu, zamiast uruchamiać interaktywne
sesja.

-ścisła sekwencja
Wymuś lewą część każdej sekwencji, aby miała jednostkę typu.

-niebezpieczny
Wyłącz sprawdzanie powiązań przy dostępie do tablic i ciągów ( v.(i)isi]
konstrukcje). Programy skompilowane z -niebezpieczny są zatem nieco szybsze, ale
niebezpieczne: wszystko może się zdarzyć, jeśli program uzyska dostęp do tablicy lub łańcucha poza
jego granice.

-niebezpieczny-string
Zidentyfikuj typy ciąg i bajtów, dzięki czemu ciągi są zapisywalne. Z powodów
kompatybilności wstecznej, jest to w tej chwili domyślne ustawienie, ale to
zmieni się w przyszłej wersji OCamla.

-wersja
Wydrukuj ciąg wersji i wyjdź.

-liczb Wydrukuj krótki numer wersji i wyjdź.

-w lista ostrzeżeń
Włącz lub wyłącz ostrzeżenia zgodnie z argumentem lista ostrzeżeń. Zobaczyć ocamlc(1)
dla składni lista ostrzeżeń argumenty.

-ostrzegaj-błąd lista ostrzeżeń
Oznacz jako fatalne ostrzeżenia opisane w argumencie lista ostrzeżeń. Zauważ, że
ostrzeżenie nie jest wyzwalane (i nie wywołuje błędu), jeśli jest wyłączone przez
-w opcja. Widzieć ocamlc(1) dla składni lista ostrzeżeń argumenty.

-ostrzegaj-pomoc
Pokaż opis wszystkich dostępnych numerów ostrzeżeń.

- filet Zastosowanie filet jako nazwę pliku skryptu, nawet jeśli zaczyna się od łącznika (-).

-Pomoc or --help
Wyświetl krótkie podsumowanie użytkowania i wyjdź.

ŚRODOWISKO ZMIENNE

LC_CTYPE
Jeśli ustawione na iso_8859_1, znaki akcentowane (z zestawu znaków ISO Latin-1) w
literały łańcuchowe i znakowe są wypisywane bez zmian; w przeciwnym razie są drukowane jako
dziesiętne sekwencje specjalne.

TERM Podczas drukowania komunikatów o błędach system najwyższego poziomu próbuje wizualnie podkreślić
lokalizacja błędu. Sprawdza zmienną TERM, aby określić typ
wypisz terminal i sprawdź jego możliwości w bazie danych terminala.

Korzystaj z ocaml online za pomocą usług onworks.net