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=2.3 required=5.0 tests=AWL,DNS_FROM_RFC_POST, HTML_MESSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3 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 54435BBAF for ; Fri, 9 Oct 2009 16:45:08 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: An4BAA/pzkpKfU4Yimdsb2JhbACCKSyObYkDPwEBAQoJDAcRBa5OgTuPWQEDAwWEJQQ X-IronPort-AV: E=Sophos;i="4.44,533,1249250400"; d="scan'208,217";a="34607008" Received: from ey-out-2122.google.com ([74.125.78.24]) by mail2-smtp-roc.national.inria.fr with ESMTP; 09 Oct 2009 16:45:08 +0200 Received: by ey-out-2122.google.com with SMTP id 22so1492146eye.31 for ; Fri, 09 Oct 2009 07:45:07 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:cc:message-id:from:to :in-reply-to:content-type:mime-version:subject:date:references :x-mailer; bh=zzjC8OmydG5fN11kj52MC66oaf56kcIbc2c5dwQaonA=; b=kiHwyqKB0xmTW0TlzdKZqGz4n3UZXxr9j9CpfYvhNmfxJiQXLunVZjH+Vkfy+aiHjr MfgaCZY9T8UxESTV+P0WY1I/PQskg+KIKkbx7LVorbi+jFkHte3smpQGyHp89pSsRjbh B354KaBThHQkunH1A+Pnq66YT5OR1KAecmCJU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=cc:message-id:from:to:in-reply-to:content-type:mime-version:subject :date:references:x-mailer; b=UqUZwcWsW0XxFJ6hekTlysOf5VOUJolTIVqajoTNVmQj9pKPmENwdPM8LcofxB4vgT Zh/DuAL3PphSrjwsMGTSjWx98z33lmGea+QISUpGFCaVV6FaFrvdhchsJRSUcW8h2vjv U5xP2j8urd2bCgbU2A++zv3hOQi1F2PL7V63k= Received: by 10.216.89.11 with SMTP id b11mr938463wef.171.1255099507613; Fri, 09 Oct 2009 07:45:07 -0700 (PDT) Received: from ?192.168.0.11? (tui75-1-81-57-73-233.fbx.proxad.net [81.57.73.233]) by mx.google.com with ESMTPS id 28sm287033eyg.36.2009.10.09.07.45.01 (version=TLSv1/SSLv3 cipher=RC4-MD5); Fri, 09 Oct 2009 07:45:05 -0700 (PDT) Cc: "caml-list@yquem.inria.fr" Message-Id: <906B3DB3-5804-4C62-9044-EF5F3968AB4B@gmail.com> From: Vincent Aravantinos To: "Damien Guichard" In-Reply-To: <200910091618143281094@orange.fr> Content-Type: multipart/alternative; boundary=Apple-Mail-7--233091359 Mime-Version: 1.0 (Apple Message framework v936) Subject: Re: [Caml-list] Improving OCaml's choice of type to display Date: Fri, 9 Oct 2009 16:44:59 +0200 References: <891bd3390910081840p37e8c786g60b2c15d2c06ae60@mail.gmail.com>, <7d8707de0910090033q4a14a108w62f13d7735994923@mail.gmail.com>, <891bd3390910090258l61aa7947p67a10c4adcc3312a@mail.gmail.com> <200910091618143281094@orange.fr> X-Mailer: Apple Mail (2.936) X-Spam: no; 0.00; ocaml's:01 damien:01 guichard:01 damien:01 guichard:01 verdana:98 verdana:98 caml-list:01 int:01 int:01 color:97 color:97 black:96 black:96 let:03 --Apple-Mail-7--233091359 Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable Hi, can't you just say that you spotted a problem in the proposed solution =20= instead of being so aggressive? Removing all the useless sentences of your message just leave this: Le 9 oct. 09 =E0 16:18, Damien Guichard a =E9crit : > Imagine my code is: > > type color =3D int > > let black : color =3D 0 > > Then, following your proposition, evaluating black should give me an =20= > int rather than a color because int is shorter and therefore nicer. which is indeed relevant and exposes a problem not faced in the =20 previous mails. Thanks, V.= --Apple-Mail-7--233091359 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Imagine my code is:
 
  type color =3D int
 
  let black = : color =3D 0 
 
Then,= following your proposition, evaluating black should = give me an int rather than a color because int is shorter and therefore = nicer.

which is indeed relevant and exposes a problem not faced in = the previous = mails.

Thanks,
V.
= --Apple-Mail-7--233091359--