From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <damien.doligez@inria.fr>
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by yquem.inria.fr (Postfix) with ESMTP id 7FCA2BC37
	for <caml-list@yquem.inria.fr>; Mon, 25 Jan 2010 18:42:39 +0100 (CET)
X-IronPort-AV: E=Sophos;i="4.49,340,1262559600"; 
   d="scan'208";a="42445345"
Received: from bne75-9-88-168-234-79.fbx.proxad.net (HELO [192.168.0.62]) ([88.168.234.79])
  by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 25 Jan 2010 18:42:38 +0100
Cc: Alexander Voinov <avoinov@gmail.com>, caml-list@yquem.inria.fr
Message-Id: <EE2570EB-ECDF-4E22-8554-B84827173C2A@inria.fr>
From: Damien Doligez <damien.doligez@inria.fr>
To: blue storm <bluestorm.dylc@gmail.com>
In-Reply-To: <527cf6bc1001170024r1e74b0dal38c92924037f2788@mail.gmail.com>
Content-Type: text/plain; charset=US-ASCII; format=flowed
Content-Transfer-Encoding: 7bit
Mime-Version: 1.0 (Apple Message framework v936)
Subject: Re: [Caml-list] A syntax extension to simplify List manipulation
Date: Mon, 25 Jan 2010 18:42:38 +0100
References: <4b523e9c.0d67f10a.06ab.ffffced7@mx.google.com> <003801ca9702$a72e2b30$f58a8190$@com> <527cf6bc1001170024r1e74b0dal38c92924037f2788@mail.gmail.com>
X-Mailer: Apple Mail (2.936)
X-Spam: no; 0.00; damien:01 damien:01 syntax:01 syntax:01 stdlib:01 stdlib:01 struct:01 storm:98 doligez:01 doligez:01 wrote:01 caml-list:01 override:03 module:03 module:03 


On 2010-01-17, at 09:24, blue storm wrote:

> 2) The use of the Extlib module is hardcoded in the syntax extension.
> I would find it nicer if you only referred to "List.map" instead of
> "Extlib.List.map", and let the user "open Extlib" if he wants to
> override the stdlib. That would allow one to use other implementations
> of List.


You can do this if you want to use the stdlib instead of extlib:

     module Extlib = struct module List = List end;;

Rather ugly, but it should work...

-- Damien