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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 222067FEE7 for ; Wed, 26 Jul 2017 12:36:20 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=michael.soegtrop@intel.com; spf=Pass smtp.mailfrom=michael.soegtrop@intel.com; spf=None smtp.helo=postmaster@mga09.intel.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of michael.soegtrop@intel.com) identity=pra; client-ip=134.134.136.24; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of michael.soegtrop@intel.com designates 134.134.136.24 as permitted sender) identity=mailfrom; client-ip=134.134.136.24; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mga09.intel.com) identity=helo; client-ip=134.134.136.24; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="postmaster@mga09.intel.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AT4KUBx9gqN7K1P9uRHKM819IXTAuvvDOBiVQ1KB2?= =?us-ascii?q?1+kcTK2v8tzYMVDF4r011RmSDNWds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2e2//57ebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMNboRr4oRzut86ZrSAfpiC?= =?us-ascii?q?gZMT457HrXgdF0gK5CvR6tuwBzz4vSbYqINvRxY7ndcMsaS2RfQ8hRSyJPDICy?= =?us-ascii?q?b4QNDuoOIelXoYbmqlsSthSzARWgCP/zxjJKgHL9wK000/4mEQHDxAEsEc8AsH?= =?us-ascii?q?PKo9X6KKcSS+e1zLHQwT7eaP1W2Cvy6IjSfR8/pfGAU697fM3UyUkuCwzFjk+f?= =?us-ascii?q?ppLhPz+PzeQNtHaU7+V8VeK1jG4nsxp8ojmpxscwlIbJgpgZxUzD9SV82Ys4I8?= =?us-ascii?q?CzRkB8Yd6hCpRQtieaOpN3QsMkX2FnpiI6xqcbtpGleiUB1ZcpxwbHZvCafYWF?= =?us-ascii?q?7QjvWPufLDp3nn5pZbyyiheo/US+xeDwTtS43VdEoyZfnNTBuGoB2wLd58WDUP?= =?us-ascii?q?dx40Ss1SiX2wzO6+xJJVo4mbTbJpMu2LI8iIAfvVreEiPrnkj9kbWYeV8++uey?= =?us-ascii?q?7uTqerXmqYGYN49zkgz+N6suldajDek8KAQOXm6b+fii273n50H2XLJKjvgunq?= =?us-ascii?q?nYtpDVO9gbq7akDwJb3Ysv8QuzAjmp3dgCgHUKIlNIdAiZg4XmI13OJer3Dfa7?= =?us-ascii?q?g1SiijdrwPXGM6XkApXMMnfDkK3ucqh560JG0wozys5Q551ICrEbJ/LzQlT8tN?= =?us-ascii?q?3eDh8lLQO0x/zrB8l61oMbQW6PGLOWMLvOsV+U4eIiO/WDa5UQuDb5MvQl4//u?= =?us-ascii?q?jWQlmVIGZqmo3Z4XaGiiEfh8IkWZZ2DsgtYbHmsQsAo+Vr+itFrXej5JZm2uWL?= =?us-ascii?q?o863kBAYyoBIPHR8j5i7yb3TynGYVWa0hcA16CGHPsdsOJRqFIIGiZK8pl1zgF?= =?us-ascii?q?TqSJSok71BjouhWwg+5sJ+/QvykZro7L1d5v5uSVmwtkphJuCMHImVqKQm5ohG?= =?us-ascii?q?QQA3cT3at/qEF5gB/X1Klzg/VVEZpI4P5GTh09LbbdyfB3D5b5XQeXLYTBc0qv?= =?us-ascii?q?XtjzWWJ5ddk22dJbJh8lQ9g=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DcAAAZcHhZhxiIhoZdHgYMGQYMhBOBF?= =?us-ascii?q?Ae1eQ6CBCSFIwIagyY/GAEBAQEBAQEBAQEBEgEBAQgNCQgoL4IzJAGCQQMDIxE?= =?us-ascii?q?VQAIBCBoCBiACAgIwFRACBAEaiiYBsiKCJotGAQEBAQEFAQEBAQEBASEJAYEBg?= =?us-ascii?q?h2DToN4XDCEPTgVgnwwgjEFn1UGAqZZlXAfgUJ3XoUmgXN2iCcBgQ0BAQE?= X-IPAS-Result: =?us-ascii?q?A0DcAAAZcHhZhxiIhoZdHgYMGQYMhBOBFAe1eQ6CBCSFIwI?= =?us-ascii?q?agyY/GAEBAQEBAQEBAQEBEgEBAQgNCQgoL4IzJAGCQQMDIxEVQAIBCBoCBiACA?= =?us-ascii?q?gIwFRACBAEaiiYBsiKCJotGAQEBAQEFAQEBAQEBASEJAYEBgh2DToN4XDCEPTg?= =?us-ascii?q?VgnwwgjEFn1UGAqZZlXAfgUJ3XoUmgXN2iCcBgQ0BAQE?= X-IronPort-AV: E=Sophos;i="5.40,414,1496095200"; d="scan'208";a="285002931" Received: from mga09.intel.com ([134.134.136.24]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 26 Jul 2017 12:36:18 +0200 Received: from orsmga002.jf.intel.com ([10.7.209.21]) by orsmga102.jf.intel.com with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 26 Jul 2017 03:36:13 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.40,414,1496127600"; d="scan'208";a="115821636" Received: from irsmsx109.ger.corp.intel.com ([163.33.3.23]) by orsmga002.jf.intel.com with ESMTP; 26 Jul 2017 03:36:12 -0700 Received: from irsmsx156.ger.corp.intel.com (10.108.20.68) by IRSMSX109.ger.corp.intel.com (163.33.3.23) with Microsoft SMTP Server (TLS) id 14.3.319.2; Wed, 26 Jul 2017 11:36:11 +0100 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.211]) by IRSMSX156.ger.corp.intel.com ([10.108.20.68]) with mapi id 14.03.0319.002; Wed, 26 Jul 2017 11:36:11 +0100 From: "Soegtrop, Michael" To: Christophe Raffalli , "caml-list@inria.fr" Thread-Topic: [Caml-list] A student feedback on OCaml Thread-Index: AQHTBYW7ahSP9LN5qEKAfoCBqZrwSqJl4YFg Date: Wed, 26 Jul 2017 10:36:11 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A175B28138E@IRSMSX102.ger.corp.intel.com> References: <20170725203527.dr43f6cjmdqqiq7p@delli7.univ-savoie.fr> In-Reply-To: <20170725203527.dr43f6cjmdqqiq7p@delli7.univ-savoie.fr> Accept-Language: de-DE, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: dlp-product: dlpe-windows dlp-version: 11.0.0.116 dlp-reaction: no-action x-originating-ip: [163.33.239.182] Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Subject: RE: [Caml-list] A student feedback on OCaml RGVhciBDaHJpc3RvcGhlLA0KDQpjb21wYXJpbmcgUHl0aG9uIHdpdGggT0Nh bWwgaXMgbGlrZSBjb21wYXJpbmcgYSBoYW5kIG1pbGxpbmcgdG9vbCAoYSAi RHJlbWwiKSB3aXRoIGEgQ05DIG1pbGxpbmcgbWFjaGluZS4gRm9yIHF1aWNr IHRhc2tzIHRoZSBtYW51YWwgdG9vbCBpcyBiZXR0ZXIsIGZvciBjb21wbGV4 L3ByZWNpc2lvbi9wcm9kdWN0aW9uIHdvcmsgdGhlIENOQyBtYWNoaW5lIGlz IGJldHRlci4gSSB1c2UgYm90aCBQeXRob24gYW5kIE9DYW1sIGZvciBkaWZm ZXJlbnQgdGFza3MuIFRoZXJlIGlzIGEgY2VydGFpbiBvdmVybGFwIGFyZWEg d2hlcmUgSSBkaXNjdXNzIHdpdGggY29sbGVhZ3VlcyB3aGF0IHRoZXkgd291 bGQgdXNlIGZvciB0aGlzIHRhc2sgYmVmb3JlIEkgc3RhcnQsIGJ1dCB0aGVy ZSBpcyBhIGxhcmdlIGFyZWEgd2hlcmUgb25lIG9yIHRoZSBvdGhlciBpcyBj bGVhcmx5IGJldHRlci4gQW5kIEkgYWdyZWUgdGhhdCBmb3IgbWFueSB0YXNr cyBzdHVkZW50cyBhcmUgY29uZnJvbnRlZCB3aXRoLCBQeXRob24gaXMgdGhl IGJldHRlciBjaG9pY2UuIEJ1dCBvbmUgc2hvdWxkbid0IGNvbmNsdWRlIGZy b20gdGhpcywgdGhhdCB0aGlzIGlzIHRoZSBjYXNlIGZvciBhbGwgdGFza3Ms IGFuZCBJIHdvdWxkIGV4cGVjdCB0aGF0IHRlYWNoZXJzIG1ha2UgdGhpcyBw b2ludC4NCg0KQmVzdCByZWdhcmRzLA0KDQpNaWNoYWVsDQoNCkludGVsIERl dXRzY2hsYW5kIEdtYkgKUmVnaXN0ZXJlZCBBZGRyZXNzOiBBbSBDYW1wZW9u IDEwLTEyLCA4NTU3OSBOZXViaWJlcmcsIEdlcm1hbnkKVGVsOiArNDkgODkg OTkgODg1My0wLCB3d3cuaW50ZWwuZGUKTWFuYWdpbmcgRGlyZWN0b3JzOiBD aHJpc3RpbiBFaXNlbnNjaG1pZCwgQ2hyaXN0aWFuIExhbXByZWNodGVyCkNo YWlycGVyc29uIG9mIHRoZSBTdXBlcnZpc29yeSBCb2FyZDogTmljb2xlIExh dQpSZWdpc3RlcmVkIE9mZmljZTogTXVuaWNoCkNvbW1lcmNpYWwgUmVnaXN0 ZXI6IEFtdHNnZXJpY2h0IE11ZW5jaGVuIEhSQiAxODY5MjgK