camllight escape

Vincent PROSPER (vince@litp.ibp.fr)
Tue, 13 Feb 1996 17:33:13 +0100 (MET)

From: Vincent PROSPER <vince@litp.ibp.fr>
Message-Id: <199602131633.RAA21133@cadillac.ibp.fr>
Subject: camllight escape
To: caml-list@margaux.inria.fr (camllist)
Date: Tue, 13 Feb 1996 17:33:13 +0100 (MET)

Paris, le 13 fevrier 96.

==============================================================================
Bonjour,

je suis en train d'ecrire un petit toplevel en camllight et j'aimerais savoir
comment lancer une commande camllight dans ce langage.
Par exemple, si mon prompt est ">>" et que la directive d'acces aux commandes
camllight est "#", je voudrais avoir:

>> ... (commandes propres a mon logiciel)
>> #print_string "caml escape";; (lancement commande camllight)
caml escape- : unit = ()
>> ... (retour au logiciel)

J'ai uniquement besoin de savoir si une des fonctions de la librairie "io" par
exemple me permet de realiser cela.

Merci d'avance.

==============================================================================
Hello,

I am developping a little toplevel software in camllight and I would like to
know wether there is any way to invoque a camllight command within it or not.
For instance, assuming that my prompt is ">>" and that the character "#"
permits me to access camllight commands, I would like to get:

>> ... (stuff proper to my software)
>> #print_string "caml escape";; (camllight escape)
caml escape- : unit = ()
>> ... (back to the software)

I only need to know if there exists such a tool (e.g. in "io" library).

Thank you very much.

-- 
						-- Vincent Prosper --

__\/__ . / ~ ___\ . |\| (o) . |/| __________________________________________.OOOo|___oo___|oOOO.__ / Vincent PROSPER \ | Universite' Paris VII | | LITP | | Bureau 203/205, Couloir 45-55, 2e e'tage | | 2 place Jussieu | | 75251 PARIS Cedex 05 / FRANCE | |-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=| | Phone: (33)(1) 44-27-70-30 / (33)(1) 44-27-61-99 | | URL: http://cadillac.ibp.fr:8000/~vince | \_____________________________________________________Oooo.______/ .oooO ( ) @@ ( ) ) / \( )/ \ ( (_/ ^ ^^ ^ \_)