From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id AC184BC37 for ; Fri, 12 Feb 2010 10:25:44 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkoDAHetdEuNOQkUgWdsb2JhbACDBZAjh28BARYkI68qj0eBL4EmgShbBA X-IronPort-AV: E=Sophos;i="4.49,458,1262559600"; d="scan'208";a="44538567" Received: from present.imn.htwk-leipzig.de (HELO smtp.imn.htwk-leipzig.de) ([141.57.9.20]) by mail2-smtp-roc.national.inria.fr with ESMTP; 12 Feb 2010 10:25:44 +0100 Received: from webmail.imn.htwk-leipzig.de (webmail [141.57.9.241]) by smtp.imn.htwk-leipzig.de (Postfix) with ESMTP id D4AEDAEE1 for ; Fri, 12 Feb 2010 10:25:43 +0100 (CET) To: Subject: =?UTF-8?B?UmU6IFtDYW1sLWxpc3RdIGRlZmluZSBpbmNvbXBhdGlibGUgdHlwZQ==?= From: Date: Fri, 12 Feb 2010 10:25:43 +0100 Reply-To: Errors-To: X-Priority: 3 (Normal) User-Agent: NOCC MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 8bit Message-Id: <20100212092543.D4AEDAEE1@smtp.imn.htwk-leipzig.de> X-Spam: no; 0.00; ocaml:01 typexpr:01 typexpr:01 substituted:01 foo:01 foo:01 substituted:01 0530:98 wrote:01 typing:01 incompatible:01 caml-list:01 int:01 int:01 define:02 On Fri, 12 Feb 2010 13:13:33 +0530 Grégoire Seux wrote: > too bad it does not exist ! >>From ocaml language definition: > The optional type equation "= typexpr" makes the defined type > equivalent to the type expression "typexpr" on the right of the "=" > sign: one can be substituted for the other during typing. When "type foo = int" then foo is just a type alias for int and therefor it can/will be substituted by int. _____________________________________________ HTWK Leipzig FbIMN Webmail, https://webmail.imn.htwk-leipzig.de