NOM¶

ocaml - Le toplevel interactif d'Objective Caml

SYNOPSIS¶

ocaml [ -unsafe ] [ -I lib-dir ] [ object-files ] [ script-file ]

DESCRIPTION¶

La commande ocaml(1) est le système de toplevel pour Objective Caml. Cela permet d'interargir avec Objective Caml avec le système lire-evaluer-afficher. En ce mode, le système lit à plusieurs reprises des expressions de Caml sur l'entrée standard, puis les types, les compile et évalue, puis imprime la valeur du type et du résultat éventuel. Le système affiche un # avant de lire chaque expression.

Une expression de toplevel peut enjamber plusieurs lignes. Elle est terminée par ;; (un double point-virgule). La syntaxe des expressions de toplevel est comme suit.

Le systeme de toplevel est lancé par la commande ocaml(1). Les expressions sont lues sur l'entrée standard, les résultats sont imprimées sur la sortie standard et les erreurs sur l'erreur standard.

ocaml(1).

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

Si un fichier-script est donné, les expressions sont lues silencieusement à partir du dossier et les erreurs imprimées sur l'erreur type. ocaml(1) sort après l'exécution de la dernière expression.

OPTIONS¶

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

-I directory

Ajoute le répertoire donné à la liste des répertoires de recherche de la source et des fichiers compilés. Par défaut, le répertoire courant est la première recherche, puis le répertoire de la bibliothèque standard. Les répertoires ajoutés avec -I sont recherchés après le répertoire courant, dans l'ordre dans lequel ils ont été donnés sur la ligne de commande mais avant le répertoire de la bibliothèque standard.

-unsafe

Les verifications sont limitées pour les tableaux et les mots (les constructions v.(i) et s.[i]). Les programmes compilés avec -unsafe sont légèrement plus rapides, mais peu surs : quelque chose peut se produire si le programme accède à un tableau ou à un mot en dehors de ses limites.

VARIABLES D'ENVIRONNEMENT¶

LC_CTYPE

Si iso_8859_1 est precisé, les caractères accentués (de l' ISO Latin-1) comme mots et caractères littéraux sont affichés tels quels ; autrement, ils sont affichés comme des séquences d'espaces décimaux.

TERM

En imprimant des messages d'erreur, le système de toplevel essaye de souligner visuellement l'endroit de l'erreur. Il consulte la variable TERM pour determiner le type de sortie du terminal et recherche ses possibilités dans la base de données terminale.

VOIR AUSSI¶

ocamlc(1)
The Objective Caml user's manual, chapitre "The toplevel system".

TRADUCTION¶

Ce document est une traduction, réalisée par Velleine Jerome, velleine.jerome@wanadoo.fr, le 12/04/07.

L'équipe de traduction a fait le maximum pour réaliser une adaptation française de qualité.

La version anglaise la plus à jour de ce document est toujours consultable via la commande : LANGUAGE=en man ocaml.

N'hésitez pas à signaler à l'auteur ou au traducteur, selon le cas, toute erreur dans cette page de manuel.