camllight escape

camllight escape

[Vincent PROSPER]

							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 (   )
                   @@                                   (  )  ) /
                 \(  )/                                  \ ( (_/
                 ^ ^^ ^                                   \_)