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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 432757EC41 for ; Fri, 19 Oct 2012 23:13:40 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of yminsky@janestreet.com) identity=pra; client-ip=38.105.200.112; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of yminsky@janestreet.com designates 38.105.200.112 as permitted sender) identity=mailfrom; client-ip=38.105.200.112; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@nyc-dmz-mxout1.janestreet.com) identity=helo; client-ip=38.105.200.112; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="postmaster@nyc-dmz-mxout1.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnoHABDBgVAmachwl2dsb2JhbABFhU2CercgAQECAQECfysBAQEBAQgWBzuCOQIFJwEBOCVdEgEFAVeHYgOdYAkDimuEMwEFgTONdwaPJoMjlXKOVxYphC2BfA X-IronPort-AV: E=Sophos;i="4.80,617,1344204000"; d="scan'208";a="178072771" Received: from mx1.janestreet.com (HELO nyc-dmz-mxout1.janestreet.com) ([38.105.200.112]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 19 Oct 2012 23:13:39 +0200 Received: from nyc-qsv-mail1.delacy.com ([172.25.22.57]) by nyc-dmz-mxout1.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1TPJsu-00059P-Tf for caml-list@inria.fr; Fri, 19 Oct 2012 17:13:36 -0400 Received: from nyc-dmz-mxgoog1.delacy.com ([172.25.224.109] helo=mxgoog1.janestreet.com) by nyc-qsv-mail1.delacy.com with esmtps (TLSv1:AES256-SHA:256) (Exim 4.76) (envelope-from ) id 1TPJsu-0005n0-SK for caml-list@inria.fr; Fri, 19 Oct 2012 17:13:36 -0400 Received: from mail-yh0-f70.google.com ([209.85.213.70]) by mxgoog1.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1TPJsu-0003fR-QO for caml-list@inria.fr; Fri, 19 Oct 2012 17:13:36 -0400 Received: by mail-yh0-f70.google.com with SMTP id o21so1977754yho.9 for ; Fri, 19 Oct 2012 14:13:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:x-originating-ip:date:message-id:subject:from:to :content-type; bh=47DEQpj8HBSa+/TImW+5JCeuQeRkm5NMpJWZG3hSuFU=; b=aHFTBwO4x7CTTVgMM1CNa2ASdKhmphWq0B7T7nH/rDCOWslT7vaVbE8x8tPzPLSEq1 c56gJZIJAsxBzSvtZ9XObiHKUvc/auuJ+IYx8uXUoi3Ocd8Wj1Ml9BQm0vr/9/YwudtO qjCRuDrNJTRZ+zdH270vGoYSiR5/S25/64qNI= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=mime-version:x-originating-ip:date:message-id:subject:from:to :content-type:x-gm-message-state; bh=47DEQpj8HBSa+/TImW+5JCeuQeRkm5NMpJWZG3hSuFU=; b=CqCfj64bBKmb3+qFAMFeh1iFlY2u6fRHxyEry86CCzxI10kIZjennr70yiMlpYfXzh 2Wil7eYnFh1Y4oagafXyLzaapaR2oLmh9hb0bmpI4ms9rqNRmZxSeFY2g12rK68+AHOy k3liVurrYRKncaLMNcWyPtSpI25GqlX7BeIyamfDKorRjC2nhfXmsShN292vCCYov9+0 Av8QkCsbOt3HqEXncwPQ5JNXYPHI1OaISj2/JvxIqZU39sof8LsWR2eLyaOidVuN8ciH llZCU3zrXFEtVraP6AnbTiF8PMp4ji6WR7VkThADU+X8tSeJrUjJ6BiNs4b8qGajmufD omyg== Received: by 10.52.64.166 with SMTP id p6mr2803130vds.9.1350681216537; Fri, 19 Oct 2012 14:13:36 -0700 (PDT) MIME-Version: 1.0 Received: by 10.52.64.166 with SMTP id p6mr2803121vds.9.1350681216425; Fri, 19 Oct 2012 14:13:36 -0700 (PDT) Received: by 10.58.203.225 with HTTP; Fri, 19 Oct 2012 14:13:36 -0700 (PDT) X-Originating-IP: [38.105.200.252] Date: Fri, 19 Oct 2012 17:13:36 -0400 Message-ID: From: Yaron Minsky To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 X-Gm-Message-State: ALoCoQm97FNi7zGnftmTtx6OgKfKGprRKgSA7C6ino8LJTxHE8NCLhBKei38ygYV5DcWA4xqy5DoWFaZGHNH5jMAr4YvrEK0c83P9otZUA1GZDWmQmMJ3NluUWIslYEsFw7U/4hzMBL50+j88J501U2YoAlky2CwMw== Subject: [Caml-list] A confusing example with modules and polymorphic variants