From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jonathandeanharrop@googlemail.com>
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 3ADFBBBAF
	for <caml-list@yquem.inria.fr>; Wed, 11 Aug 2010 15:02:59 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Av4BAOs7YkxKfVK0kGdsb2JhbACUPotdCBUBAQEBCQkMBxEDH6BMiyEBBY8lAQSFOg
X-IronPort-AV: E=Sophos;i="4.55,352,1278280800"; 
   d="scan'208";a="56970051"
Received: from mail-wy0-f180.google.com ([74.125.82.180])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 11 Aug 2010 15:02:58 +0200
Received: by wya21 with SMTP id 21so112646wya.39
        for <caml-list@yquem.inria.fr>; Wed, 11 Aug 2010 06:02:58 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlemail.com; s=gamma;
        h=domainkey-signature:received:received:from:to:cc:references
         :in-reply-to:subject:date:organization:message-id:mime-version
         :content-type:content-transfer-encoding:x-mailer:thread-index
         :content-language;
        bh=f4ec4Rw+7CtwlKrhzquBIL9cYrXYMvqPqOmMSxSggIg=;
        b=u3QuX389uXwWqVDhu9ZRbMUkYkr0RWHv3EoIlheJjTng1ROZn92EyD8JaGesKytgl9
         fBzPjCejdvslujNXFu0UtWVNDzsmIUyM9fxxGh2FfjjG+OYRPVAF4/sesMmcEQRhbC1D
         kwsxnU3G6DDQKukLdrx5rUdRw6HFe48WV1hKw=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=googlemail.com; s=gamma;
        h=from:to:cc:references:in-reply-to:subject:date:organization
         :message-id:mime-version:content-type:content-transfer-encoding
         :x-mailer:thread-index:content-language;
        b=e4Dw+Yhx87z6F4nlzeHPsgjRGP1qG4HDDlBPYPH8tZU8+CzUIdxFB+MrXezRmVGbSz
         UnGL4m/JktkNK9/47JiAnfOQJEfoYNqaFjcIzR1mVuFJyQkmKMKsUtLoKSVnZACjt7TU
         yfN99sglafUSgKNQ4s9NlObDz4tT0/kXw7vRQ=
Received: by 10.227.153.15 with SMTP id i15mr16355436wbw.211.1281531778379;
        Wed, 11 Aug 2010 06:02:58 -0700 (PDT)
Received: from WinEight ([87.113.155.108])
        by mx.google.com with ESMTPS id l55sm54534weq.41.2010.08.11.06.02.57
        (version=SSLv3 cipher=RC4-MD5);
        Wed, 11 Aug 2010 06:02:57 -0700 (PDT)
From: Jon Harrop <jonathandeanharrop@googlemail.com>
To: "'Jeremy Bem'" <jeremy1@gmail.com>,
	"'bluestorm'" <bluestorm.dylc@gmail.com>
Cc: "'caml-list List'" <caml-list@yquem.inria.fr>,
	"'Florian Weimer'" <fw@deneb.enyo.de>
References: <AANLkTi=UuefVu9CmwwomimGzMqFrks5SZ+227Znv5r+z@mail.gmail.com>	<877hk1m1df.fsf@mid.deneb.enyo.de>	<AANLkTi=L07p_xN7DCZQn0j+iy=-_7FzCrTm6KOf6oaJU@mail.gmail.com>	<87bp9dkkca.fsf@mid.deneb.enyo.de>	<4c5f194e.8644d80a.7fef.69e6@mx.google.com>	<AANLkTinPp4njJm+PH1EfURubPcKi-Y8UZd1p7yODjAJ7@mail.gmail.com>	<AANLkTimoAn8PNOW2X+eTYPQneKQertH-K__Q63mU9T7x@mail.gmail.com> <AANLkTimob_iCJiwqJ8S4EYe94vPUzjnd7xKwUxAo0q_D@mail.gmail.com>
In-Reply-To: <AANLkTimob_iCJiwqJ8S4EYe94vPUzjnd7xKwUxAo0q_D@mail.gmail.com>
Subject: RE: [Caml-list] interest in a much simpler, but modern, Caml?
Date: Wed, 11 Aug 2010 14:02:31 +0100
Organization: Flying Frog Consultancy
Message-ID: <03fb01cb3955$76093770$621ba650$@com>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Mailer: Microsoft Office Outlook 12.0
Thread-Index: Acs3UaYspL+x22R0Sn2U0vLgMVIP5QCA43SA
Content-Language: en-gb
X-Spam: no; 0.00; cheers:01 ints:01 caml-list:01 int:01 int:01 caml:02 types:05 simpler:05 indeed:07 approach:08 refers:08 assumption:08 inventing:09 might:12 happens:13 

> > if Int.(x = 42) then ... else ...

> This approach is very nice indeed

What happens when you do:

  if Int.(x = 42 || x = 45) then ... else ...

Presumably it either barfs on the assumption that "||" refers to bitwise-or
between ints, or we're back to inventing progressively more absurd operator
names for each individual combination of types over which they might work.

Cheers,
Jon.