From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p2Q4UDHv017394 for ; Sat, 26 Mar 2011 05:30:13 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoQCAGRrjU3RVaE2kGdsb2JhbACERKEUCBQBAQEBCQkNBxQEIadOihg8giGEfS+IXAEBAwWEbXcEjHWJCjqDFA X-IronPort-AV: E=Sophos;i="4.63,246,1299452400"; d="scan'208";a="103652237" Received: from mail-fx0-f54.google.com ([209.85.161.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 26 Mar 2011 05:30:08 +0100 Received: by fxm11 with SMTP id 11so2658651fxm.27 for ; Fri, 25 Mar 2011 21:30:08 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=Bmddw4+xTs3ANwVn1AFClieEf0zc10WueTG/83u6mYw=; b=Xjbs1iJj8RWIY9F2lRs3bfLfZnSsC6oQD03Id6mdCHnsjTl1/3j+8ySGE+FN2twilN 4ZPfWSEDI09FsT2UD1dn+bP3VboM1mt+O/bDGQUNjoe4+fLwljwjXsoujFTfzqNTbEzT xhQMIcicpWTONynZ8zmBOOxVJKrWLParNiIO8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; b=nhVf4T+kCaczbbc9QcdyBUTdBLeLkDhkBVBeT3130VzZ19V7uRIWWDGAW0/Z8iNLS1 4NMy7iCQZzKLCtz0x6SIn2yXWEL4vFC7QPfzvE7yemX49OVdeCjyeR4paXsa/Q5jOL6/ Iel18ryFhdlyK+Xgr83QDIGbkf2zURqP+cjms= MIME-Version: 1.0 Received: by 10.223.78.193 with SMTP id m1mr1784770fak.45.1301113808088; Fri, 25 Mar 2011 21:30:08 -0700 (PDT) Received: by 10.223.151.9 with HTTP; Fri, 25 Mar 2011 21:30:08 -0700 (PDT) In-Reply-To: References: <20110326011208.GA3915@melkinpaasi.cs.helsinki.fi> Date: Sat, 26 Mar 2011 14:30:08 +1000 Message-ID: From: Steven Shaw To: Mike Lin Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=20cf3054a58757eea5049f5b2ad1 Subject: Re: [Caml-list] What are "Language extensions"? --20cf3054a58757eea5049f5b2ad1 Content-Type: text/plain; charset=UTF-8 Perhaps it doesn't mean much when there's only one implementation of Objective Caml. However, if a second implementation came along then I guess it may only implement the core language without extensions (and still be considered a valid "Objective Caml"). --20cf3054a58757eea5049f5b2ad1 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Perhaps it doesn't mean much when there's only one implementation o= f Objective Caml. However, if a second implementation came along then I gue= ss it may only implement the core language without extensions (and still be= considered a valid "Objective Caml"). --20cf3054a58757eea5049f5b2ad1--