ocaml - En ligne dans le Cloud

PROGRAMME:

Nom

ocaml - Le niveau supérieur interactif d'OCaml

SYNOPSIS

ocaml [ Options ] [ fichiers-objets ] [ Fichier de script ]

DESCRIPTION

La ocaml(1) commande est le système de niveau supérieur pour OCaml, qui permet une utilisation interactive du
Système OCaml via une boucle read-eval-print. Dans ce mode, le système lit à plusieurs reprises
Phrases OCaml de l'entrée, puis typechecks, compile et évalue, puis imprime
le type inféré et la valeur du résultat, le cas échéant. Le système imprime une invite # (nette) avant
lire chaque phrase.

Une phrase de niveau supérieur peut s'étendre sur plusieurs lignes. Il se termine par ;; (un double point-virgule). Les
la syntaxe des phrases de niveau supérieur est la suivante.

Le système de niveau supérieur est démarré par la commande ocaml(1). Les phrases sont lues en standard
entrée, les résultats sont imprimés sur la sortie standard, les erreurs sur l'erreur standard. Fin de dossier le
l'entrée standard se termine ocaml (1).

Si un ou plusieurs fichiers-objets (se terminant par .cmo ou .cma) sont donnés, ils sont chargés silencieusement
avant de commencer le toplevel.

Si un Fichier de script est donné, les phrases sont lues silencieusement à partir du fichier, les erreurs sont imprimées sur
erreur standard. ocaml(1) se termine après l'exécution de la dernière phrase.

OPTIONS

Les options de ligne de commande suivantes sont reconnues par ocaml (1).

-nomabs
Afficher les noms de fichiers absolus dans les messages d'erreur.

-I annuaire
Ajouter le répertoire donné à la liste des répertoires recherchés pour la source et compilés
des dossiers. Par défaut, le répertoire courant est recherché en premier, puis le répertoire standard
répertoire de la bibliothèque. Répertoires ajoutés avec -I sont recherchés après le courant
répertoire, dans l'ordre dans lequel ils ont été donnés sur la ligne de commande, mais avant
le répertoire de bibliothèque standard.

Si le répertoire donné commence par +, il est pris par rapport à la bibliothèque standard
annuaire. Par exemple, -I +compilateur-libs ajoute le sous-répertoire bibliothèques-compilateur of
la bibliothèque standard au chemin de recherche.

Les répertoires peuvent également être ajoutés au chemin de recherche une fois que le niveau supérieur est exécuté avec
le #annuaire Directive.

-initialisation filet
Chargez le fichier donné au lieu du fichier d'initialisation par défaut. Le fichier par défaut
is .ocamlinit dans le répertoire courant s'il existe, sinon .ocamlinit dans le
répertoire personnel de l'utilisateur.

-Étiquettes
Les étiquettes ne sont pas ignorées dans les types, les étiquettes peuvent être utilisées dans les applications et étiquetées
les paramètres peuvent être donnés dans n'importe quel ordre. C'est la valeur par défaut.

-no-app-fonction
Désactive le comportement applicatif des foncteurs. Avec cette option, chaque foncteur
l'application génère de nouveaux types dans son résultat et applique deux fois le même foncteur
au même argument donne deux structures incompatibles.

-noassert
Ne compilez pas les contrôles d'assertion. Notez que la forme spéciale affirmer non est toujours
compilé car il est typé spécialement.

-pas d'étiquettes
Ignorez les étiquettes non facultatives dans les types. Les étiquettes ne peuvent pas être utilisées dans les applications, et
l'ordre des paramètres devient strict.

-pas d'invite
N'affiche aucune invite lors de l'attente d'une entrée.

-nopromptcont
Ne pas afficher l'invite secondaire lors de l'attente de lignes de continuation en multi-
entrées ligne. Cela devrait être utilisé par exemple lors de l'exécution ocaml(1) dans un emacs(1) fenêtre.

-nostdlib
Ne pas inclure le répertoire de bibliothèque standard dans la liste des répertoires recherchés
pour les fichiers source et compilés.

-ouvrir module
Ouvre le module donné avant de démarrer le toplevel. Si plusieurs -ouvrir les options sont
donnés, ils sont traités dans l'ordre, comme si les relevés s'ouvraient ! module 1;; ...
ouvert! moduleN;; ont été saisies.

-ppx commander
Après l'analyse, redirigez l'arbre de syntaxe abstraite via le préprocesseur commanderL’
module Ast_mapper(3) implémente l'interface externe d'un préprocesseur.

-directeur
Vérifiez le chemin des informations lors de la vérification de type, pour vous assurer que tous les types sont
dérivé de manière principale. Lors de l'utilisation d'arguments étiquetés et/ou polymorphes
méthodes, cet indicateur est requis pour garantir que les futures versions du compilateur seront
capable de déduire correctement les types, même si les algorithmes internes changent. Tous les programmes
accepté dans -directeur sont également acceptés dans le mode par défaut avec l'équivalent
types, mais des signatures binaires différentes, ce qui peut ralentir la vérification des types ; encore
c'est une bonne idée de l'utiliser une fois avant de publier le code source.

-rectypes
Autoriser les types récursifs arbitraires lors de la vérification de type. Par défaut, uniquement récursif
les types où la récursivité passe par un type d'objet sont pris en charge.

-chaîne-sûre
Faire respecter la séparation entre les types un magnifique et octets, rendant ainsi les chaînes read-
seul. Cela deviendra la valeur par défaut dans une future version d'OCaml.

-courts-chemins
Lorsqu'un type est visible sous plusieurs chemins de modules, utilisez le plus court lorsque
impression du nom du type dans les interfaces inférées et les messages d'erreur et d'avertissement.

-stdin Lire l'entrée standard en tant que fichier de script plutôt que de démarrer un
session.

-séquence-stricte
Forcer la partie gauche de chaque séquence à avoir une unité de type.

-peu sûr
Désactivez la vérification liée aux accès aux tableaux et aux chaînes (le v.(je)et si]
constructions). Programmes compilés avec -peu sûr sont donc légèrement plus rapides, mais
unsafe : tout peut arriver si le programme accède à un tableau ou à une chaîne en dehors de
ses limites.

-chaîne-non sécurisée
Identifier les types un magnifique et octets, rendant ainsi les chaînes inscriptibles. Pour des raisons
de compatibilité descendante, c'est le paramètre par défaut pour le moment, mais ce
changera dans une future version d'OCaml.

-version
Imprimer la chaîne de version et quitter.

-numéro virtuel Imprimer le numéro de version court et quitter.

-w liste d'avertissement
Activer ou désactiver les avertissements selon l'argument liste d'avertissement. Voir ocamlc(1)
pour la syntaxe du liste d'avertissement argument.

-avertissement-erreur liste d'avertissement
Marquer comme fatals les avertissements décrits par l'argument liste d'avertissement. Notez qu'un
l'avertissement n'est pas déclenché (et ne déclenche pas d'erreur) s'il est désactivé par le
-w option. Voir ocamlc(1) pour la syntaxe du liste d'avertissement argument.

-avertir-aide
Affiche la description de tous les numéros d'avertissement disponibles.

- filet Utilisez filet comme nom de fichier de script, même s'il commence par un tiret (-).

-Aide or --Aidez-moi
Affichez un bref résumé d'utilisation et quittez.

ENVIRONNEMENT VARIABLES

LC_CTYPE
Si défini sur iso_8859_1, les caractères accentués (du jeu de caractères ISO Latin-1) dans
les littéraux de chaîne et de caractère sont imprimés tels quels ; sinon, ils sont imprimés comme
séquences d'échappement décimales.

TERME Lors de l'impression des messages d'erreur, le système de niveau supérieur tente de souligner visuellement
l'emplacement de l'erreur. Il consulte la variable TERM pour déterminer le type de
terminal de sortie et recherchez ses capacités dans la base de données du terminal.

Utiliser ocaml en ligne en utilisant les services onworks.net