From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id AB20FBC0A for ; Wed, 14 Mar 2007 11:22:30 +0100 (CET) Received: from imss-1.enac.fr (imss-1.enac.fr [195.220.159.36]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l2EAMUUg015881 for ; Wed, 14 Mar 2007 11:22:30 +0100 Received: from mauve.recherche.enac.fr (imss-1.imss.interne.enac [127.0.0.1]) by imss-1.enac.fr (Postfix) with ESMTP id 062DE18B3A6 for ; Wed, 14 Mar 2007 11:22:28 +0100 (CET) Received: from [10.31.1.89] (beige.recherche.enac.fr [10.31.1.89]) by mauve.recherche.enac.fr (Postfix) with ESMTP id DB06D2FA822 for ; Wed, 14 Mar 2007 11:22:30 +0100 (CET) Message-ID: <45F7CCE6.5040500@recherche.enac.fr> Date: Wed, 14 Mar 2007 11:22:30 +0100 From: Nicolas barnier User-Agent: Icedove 1.5.0.10 (X11/20070306) MIME-Version: 1.0 To: Caml list Subject: Documentation of the labelled standard library modules Content-Type: text/plain; charset=ISO-8859-15; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 45F7CCE6.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; barnier:01 barnier:01 enac:01 ocaml:01 subsection:01 ocaml:01 morelabels:01 morelabels:01 beginners:01 modules:02 modules:02 consistent:03 library:03 library:03 chapter:04 Hello, While teaching OCaml, I often urge my student to refer to the documentation, especially the standard library section. The table of content of this section used to be quite compact and manageable for beginners, but since the introduction of the labelled versions of some modules, I think this page has become quite crippled with useless redundancies, and first year students easily get lost while browsing the manual. Could it be possible to structure the standard library section so that the labelled modules would be hidden within a special subsection (at the upper level or within the same chapter), and not flatly mixed with the core ones ? With such a structure, it would be easier to teach OCaml without having to elaborate on the label extension. Moreover, I don't really understand the special need of the "meta-module" MoreLabels. Wouldn't it be more consistent to have all labelled modules named standard_nameLabels at the first level, or all gathered in MoreLabels ? I'm probably missing something historical here... -- Nicolas