ocaml

PROGRAMMA:

NAAM

ocaml - Het interactieve OCaml-topniveau

KORTE INHOUD

ocaml [ opties ] [ object-bestanden ] [ Script bestand ]

PRODUCTBESCHRIJVING

De ocaml(1) command is het topniveausysteem voor OCaml, dat interactief gebruik van de
OCaml-systeem via een lees-eval-print-lus. In deze modus leest het systeem herhaaldelijk
OCaml verwerkt de invoer, controleert het type, compileert en evalueert ze, en drukt ze vervolgens af
het afgeleide type en de resultaatwaarde, indien van toepassing. Het systeem drukt vooraf een # (scherpe) prompt af
elke zin lezen.

Een zin op het hoogste niveau kan meerdere regels beslaan. Het wordt beëindigd door ;; (een dubbele puntkomma). De
De syntaxis van zinnen op het hoogste niveau is als volgt.

Het topniveausysteem wordt gestart door het commando ocaml(1). Zinnen worden standaard gelezen
invoer, resultaten worden afgedrukt op standaarduitvoer, fouten op standaardfout. Einde van bestand ingeschakeld
standaardinvoer eindigt ocaml(1).

Als een of meer object-bestanden (eindigend op .cmo of .cma) worden gegeven, worden ze stil geladen
voordat u met het hoogste niveau begint.

Als een Script bestand wordt gegeven, zinnen worden stil uit het bestand gelezen, fouten worden afgedrukt
standaardfout. ocaml(1) wordt afgesloten na de uitvoering van de laatste zin.

OPTIES

De volgende opdrachtregelopties worden herkend door: ocaml(1).

-absnaam
Toon absolute bestandsnamen in foutmeldingen.

-I directory
Voeg de opgegeven map toe aan de lijst met mappen die op bron zijn doorzocht en gecompileerd
bestanden. Standaard wordt eerst de huidige map doorzocht en daarna de standaard
bibliotheek map. Mappen toegevoegd met -I worden achter de stroom gezocht
directory, in de volgorde waarin ze op de opdrachtregel zijn opgegeven, maar eerder
de standaardbibliotheekmap.

Als de opgegeven map begint met +, wordt het genomen ten opzichte van de standaardbibliotheek
map. Bijvoorbeeld, -I +compiler-libs voegt de submap toe compiler-libs of
de standaardbibliotheek naar het zoekpad.

Directory's kunnen ook aan het zoekpad worden toegevoegd zodra het topniveau actief is
the #map Richtlijn.

-in het filet
Laad het opgegeven bestand in plaats van het standaard initialisatiebestand. Het standaardbestand
is .ocamlinit in de huidige map als deze bestaat, anders .ocamlinit in de
homedirectory van de gebruiker.

-etiketten
Labels worden niet genegeerd in typen, labels kunnen in toepassingen worden gebruikt en gelabeld
parameters kunnen in willekeurige volgorde worden opgegeven. Dit is de standaardinstelling.

-geen-app-functie
Deactiveert het applicatieve gedrag van functors. Met deze optie wordt elke functor
applicatie genereert nieuwe typen in het resultaat en past dezelfde functor twee keer toe
hetzelfde argument levert twee incompatibele structuren op.

-nobevestigen
Stel geen assertion checks samen. Merk op dat het speciale formulier beweren vals is altijd
samengesteld omdat het speciaal is getypt.

-geenlabels
Negeer niet-optionele labels in typen. Labels kunnen niet worden gebruikt in toepassingen, en
parametervolgorde wordt strikt.

-geen prompt
Geef geen prompt weer tijdens het wachten op invoer.

-geenpromptcont
Geef de secundaire prompt niet weer tijdens het wachten op vervolgregels in meerdere
lijningangen. Dit moet bijvoorbeeld worden gebruikt tijdens het hardlopen ocaml(1) in een emacs(1) raam.

-nostlib
Neem de standaardbibliotheekmap niet op in de lijst met doorzochte mappen
voor bronbestanden en gecompileerde bestanden.

-Open module
Opent de gegeven module voordat het topniveau wordt gestart. Indien meerdere -Open opties zijn
gegeven, worden ze op volgorde verwerkt, net alsof de uitspraken worden geopend! module 1;; ...
open! moduleN;; waren ingevoerd.

-ppx commando
Leid na het ontleden de abstracte syntaxisboom door de preprocessor commando. De
module Ast_mapper(3) implementeert de externe interface van een preprocessor.

-voornaam
Controleer het informatiepad tijdens typecontrole, om er zeker van te zijn dat alle typen zijn
op een principiële manier afgeleid. Bij gebruik van gelabelde argumenten en/of polymorphic
methoden, is deze vlag vereist om ervoor te zorgen dat toekomstige versies van de compiler dat ook zullen zijn
in staat om typen correct af te leiden, zelfs als interne algoritmen veranderen. Alle programma's
geaccepteerd in -voornaam modus worden ook geaccepteerd in de standaardmodus met equivalent
typen, maar verschillende binaire handtekeningen, en dit kan de typecontrole vertragen; nog
het is een goed idee om het een keer te gebruiken voordat u de broncode publiceert.

-rectypen
Sta willekeurige recursieve typen toe tijdens typecontrole. Standaard alleen recursief
typen waarbij de recursie door een objecttype gaat, worden ondersteund.

-veilige tekenreeks
Dwing de scheiding tussen typen af snaar en bytes, waardoor strings gelezen worden
alleen. Dit wordt de standaard in een toekomstige versie van OCaml.

-korte paden
Wanneer een type zichtbaar is onder meerdere modulepaden, gebruik dan de kortste
de naam van het type afdrukken in afgeleide interfaces en fout- en waarschuwingsberichten.

-standaard Lees de standaardinvoer als een scriptbestand in plaats van een interactief bestand te starten
sessie.

-strikte volgorde
Forceer het linkerdeel van elke reeks om het type eenheid te hebben.

-onveilig
Schakel gebonden controles uit bij toegang tot arrays en tekenreeksen (de v.(ik)ensi]
constructies). Programma's samengesteld met -onveilig zijn dus iets sneller, maar
onveilig: er kan van alles gebeuren als het programma toegang krijgt tot een array of string buiten
zijn grenzen.

-onveilige tekenreeks
Identificeer de soorten snaar en bytes, waardoor strings beschrijfbaar worden. Om redenen
van achterwaartse compatibiliteit, dit is momenteel de standaardinstelling, maar dit
zal veranderen in een toekomstige versie van OCaml.

-versie
Print versie string en sluit af.

-v num Druk het korte versienummer af en sluit af.

-w waarschuwingslijst
Schakel waarschuwingen in of uit op basis van het argument waarschuwingslijst. Zien ocamlc(1)
voor de syntaxis van de waarschuwingslijst argument.

-waarschuwingsfout waarschuwingslijst
Markeer de waarschuwingen die door het argument worden beschreven als fataal waarschuwingslijst. Merk op dat een
waarschuwing wordt niet geactiveerd (en veroorzaakt geen fout) als deze wordt uitgeschakeld door de
-w optie. Zien ocamlc(1) voor de syntaxis van de waarschuwingslijst argument.

-waarschuw-help
Toon de beschrijving van alle beschikbare waarschuwingsnummers.

- filet Gebruiken filet als scriptbestandsnaam, zelfs als deze begint met een koppelteken (-).

-Help or --help
Geef een kort gebruiksoverzicht weer en sluit af.

MILIEU VARIABELEN

LC_CTYPE
Indien ingesteld op iso_8859_1, worden tekens met accenten (uit de ISO Latin-1-tekenset) ingevoegd
tekenreeks- en tekenletterlijke waarden worden afgedrukt zoals ze zijn; anders worden ze afgedrukt als
decimale escape-reeksen.

TERMIJN Bij het afdrukken van foutmeldingen probeert het topniveausysteem visueel te onderstrepen
de locatie van de fout. Het raadpleegt de TERM-variabele om het type te bepalen
output terminal en zoek de mogelijkheden ervan op in de terminaldatabase.

Gebruik ocaml online met behulp van onworks.net-services