From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA08886 for caml-redistribution; Tue, 2 Sep 1997 19:53:03 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA04688 for ; Tue, 2 Sep 1997 15:57:52 +0200 (MET DST) Received: from xn1-gw.atlas.fr (xn1-b.atlas.fr [194.51.9.50]) by concorde.inria.fr (8.8.7/8.8.5) with ESMTP id PAA05630 for ; Tue, 2 Sep 1997 15:57:50 +0200 (MET DST) X400-Received: by /PRMD=INTERNET/ADMD=ATLAS/C=FR/; Relayed; Mon, 1 Sep 1997 18:16:00 +0200 X400-Received: by mta xn1-gw.atlas.fr in /PRMD=INTERNET/ADMD=ATLAS/C=FR/; Relayed; Mon, 1 Sep 1997 18:16:00 +0200 X400-Received: by /ADMD=ATLAS/C=FR/; Relayed; Mon, 1 Sep 1997 18:15:12 +0200 X400-Received: by /PRMD=cnet/ADMD=atlas/C=fr/; Relayed; Mon, 1 Sep 1997 17:24:45 +0200 Date: Mon, 1 Sep 1997 17:24:45 +0200 X400-Originator: latu@lannion.cnet.fr X400-Recipients: non-disclosure:; X400-MTS-Identifier: [/PRMD=cnet/ADMD=atlas/C=fr/;873127487@x400.lannion.cnet.fr] X400-Content-Type: P2-1984 (2) Content-Identifier: Pretty-printer a Alternate-Recipient: Allowed From: "Guillaume LATU - STAGIAIRE A FT.BD/CNET/DTL/MSV" Message-ID: <199709011524.RAA06592@lsun24.lannion.cnet.fr> To: caml-list@pauillac.inria.fr Subject: Pretty-printer and tabulation boxes Sender: weis Bonjour, Travaillant `a la r'ealisation d'un pretty-printer en Objective Caml, je souhaiterais utiliser toutes les possibilit'ees offertes par le module "Format". Je suis `a la recherche de quelques exemples d'impl'ementation de pretty-printer mettant en oeuvre -si possible- les bo^ites de tabulation (c'est `a dire utilisant 'open_tbox' et 'close_tbox'). N.B: je poss`ede la documentation et le manuel utilisateur de "The Objective Caml system release 1.05". Merci d'avance. ----------- Hello, Working at the realisation in Objective Caml of a Pretty-Printer, I would like to use all possibilities provided by the "Format" module. I'm looking for some existing pretty-printer examples. I'm interesting in finding a few which use the tabulation boxes (i.e invoking the functions 'open_tbox' and 'close_tbox'). N.B: I already have the documentation and the user's manual of "The Objective Caml system release 1.05". Thanks. -- LATU Guillaume "Stagiaire au CNET Lannion du 01-06-97 au 28-10-97 a FT.BD/CNET/DTL/MSV sous la responsabilite de Mr Olivier DUBUISSON " EMail: latu@lannion.cnet.fr