From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id E49327EF5E for ; Mon, 25 Jul 2016 21:03:51 +0200 (CEST) IronPort-PHdr: 9a23:DPPJXxa/5NmuHLtzjq+wD5H/LSx+4OfEezUN459isYplN5qZpcm/bnLW6fgltlLVR4KTs6sC0LuO9f65EjVbud6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JXvkb7rsMSIO01hv3mUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD88Qa6tVYXK7mU6M9RL1eRHR6YiFmrPHs4BLKSA/K4noHTk0XlABJCk7L9kLURJD05wv3sOZn2SrSF8rxSPhgWTmk471qSzf0jz8ANngh92bOzMd3ifQI81qauxVjztuMM8muP/1kc/aBLN4= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=hendrik@topoi.pooq.com; spf=None smtp.mailfrom=hendrik@topoi.pooq.com; spf=None smtp.helo=postmaster@april.topoi.pooq.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=pra; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=mailfrom; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@april.topoi.pooq.com) identity=helo; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="postmaster@april.topoi.pooq.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BbGwBGYZZX/4aDpUVchBVKATGnKZE/gXwkhXkCgXoTAQEBAQEBAQFcJ4IyBAOCIwEBBAEyATsbCxgJBCEPBRgZPYgEAw8IDrFIA4QYAQsBJIp3hQyCYIISHQWGVwyNA4VChheITgpogVKNBUiPWSADMYQPIDIBiQwBAQE X-IPAS-Result: A0BbGwBGYZZX/4aDpUVchBVKATGnKZE/gXwkhXkCgXoTAQEBAQEBAQFcJ4IyBAOCIwEBBAEyATsbCxgJBCEPBRgZPYgEAw8IDrFIA4QYAQsBJIp3hQyCYIISHQWGVwyNA4VChheITgpogVKNBUiPWSADMYQPIDIBiQwBAQE X-IronPort-AV: E=Sophos;i="5.28,420,1464645600"; d="scan'208";a="185908035" Received: from topoi.pooq.com (HELO april.topoi.pooq.com) ([69.165.131.134]) by mail3-smtp-sop.national.inria.fr with ESMTP; 25 Jul 2016 21:03:49 +0200 Received: by april.topoi.pooq.com (Postfix, from userid 1001) id 8C407C20BF; Mon, 25 Jul 2016 15:03:46 -0400 (EDT) Date: Mon, 25 Jul 2016 15:03:46 -0400 From: Hendrik Boom To: caml-list@inria.fr Message-ID: <20160725190346.GA8823@topoi.pooq.com> References: <20160725183532.GA8529@topoi.pooq.com> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: User-Agent: Mutt/1.5.23 (2014-03-12) Subject: Re: [Caml-list] Filename.split_extension On Mon, Jul 25, 2016 at 08:43:46PM +0200, Daniel Bünzli wrote: > Le lundi, 25 juillet 2016 à 20:35, Hendrik Boom a écrit : > > Where should I be looking? > > Here http://caml.inria.fr/pub/docs/manual-ocaml/stdlib.html I see. There's a funcction to test for a particulat extension (check_suffix), and functions to chop the suffix off (chop_suffix if you know what it is and chop_extension if you don't) but none to return the extension. OK. I can manage with that. -- hendrik > > Best, > > Daniel > Thanks. > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs