From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA08149; Wed, 25 Apr 2001 09:00:42 +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 JAA08106 for ; Wed, 25 Apr 2001 09:00:41 +0200 (MET DST) Received: from cremant.inria.fr (cremant.inria.fr [128.93.8.143]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f3P70aX04819; Wed, 25 Apr 2001 09:00:36 +0200 (MET DST) Received: (from lefessan@localhost) by cremant.inria.fr (8.11.0/8.11.0) id f3P70bJ08552; Wed, 25 Apr 2001 09:00:37 +0200 X-Authentication-Warning: cremant.inria.fr: lefessan set sender to fabrice.le_fessant@inria.fr using -f From: Fabrice Le Fessant MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15078.30227.957952.321807@cremant.inria.fr> Date: Wed, 25 Apr 2001 09:00:35 +0200 (CEST) To: Brian Rogoff , caml-list@inria.fr Subject: Re: [Caml-list] Petty complaints References: <15078.29902.668799.50975@cremant.inria.fr> X-Mailer: VM 6.75 under Emacs 20.7.1 Reply-To: fabrice.le_fessant@inria.fr Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > You can create a module Types, where you define all the Pervasives > types, like this: > > type char = char > type int = int > and so on... > > Then, you can use Types.char instead of char, no ? Sorry, you should probably do something like: type my_char = char type char = my_char and so on... since type definitions are recusive. - Fabrice ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr