From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 7EBC07EC6E for ; Fri, 17 Jan 2014 00:00:06 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of pfitzen@pfitzenmaier.de) identity=pra; client-ip=81.169.146.217; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="pfitzen@pfitzenmaier.de"; x-sender="pfitzen@pfitzenmaier.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of pfitzen@pfitzenmaier.de) identity=mailfrom; client-ip=81.169.146.217; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="pfitzen@pfitzenmaier.de"; x-sender="pfitzen@pfitzenmaier.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mo4-p00-ob.smtp.rzone.de) identity=helo; client-ip=81.169.146.217; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="pfitzen@pfitzenmaier.de"; x-sender="postmaster@mo4-p00-ob.smtp.rzone.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap0BAJFf2FJRqZLZnGdsb2JhbABZg0ODVLkiFg4BAQEBAQYNCQkUKIIcMx0JMRQJAT4CPxQwh3cJqCF2g2KYTAaPHIIZDzGBSZlWhH4SjwQ X-IPAS-Result: Ap0BAJFf2FJRqZLZnGdsb2JhbABZg0ODVLkiFg4BAQEBAQYNCQkUKIIcMx0JMRQJAT4CPxQwh3cJqCF2g2KYTAaPHIIZDzGBSZlWhH4SjwQ X-IronPort-AV: E=Sophos;i="4.95,670,1384297200"; d="scan'208,217";a="53610777" Received: from mo4-p00-ob.smtp.rzone.de ([81.169.146.217]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 17 Jan 2014 00:00:06 +0100 DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; t=1389913205; l=1481; s=domk; d=pfitzenmaier.de; h=Content-Type:MIME-Version:Subject:To:Reply-To:From:Date: X-RZG-CLASS-ID:X-RZG-AUTH; bh=XqK/6OryLMnXUxcZIYfk/JIZomc=; b=rLwByw0F435d6F4QXjlK+t9oFKgZRnUo+4TzxfLulXj5DCMwo6NP/87Mcr2tEpZKnQ6 Cg0TO6Dlzs+2sn7QliNUFfYqayfbSUC2Nyud+y5EZaosdwibbjUapiidfgdeppL1pvb4w XjDryN/kwNyIE6JaWPNrjaZAT7MDKSoKfXA= X-RZG-AUTH: :PGoNYVqtdd9e5qjsw4bqNNiSv2Gv8YbVG2pJaimL+rDBgj9+ODlitBMPUplZD09kEq8= X-RZG-CLASS-ID: mo00 Received: from omgreatgod.store (com4.strato.de [81.169.145.237]) by smtp.strato.de (RZmta 32.17 AUTH) with (TLSv1:EDH-RSA-DES-CBC3-SHA encrypted) ESMTPSA id c02409q0GN02hcr for ; Fri, 17 Jan 2014 00:00:02 +0100 (CET) Date: Fri, 17 Jan 2014 00:00:02 +0100 (CET) From: =?UTF-8?Q?J=C3=BCrgen_Pfitzenmaier?= Reply-To: =?UTF-8?Q?J=C3=BCrgen_Pfitzenmaier?= To: caml-list@inria.fr Message-ID: <2112632769.281907.1389913202532.open-xchange@communicator.strato.de> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_281906_2043488448.1389913202468" X-Priority: 3 Importance: Medium X-Mailer: Open-Xchange Mailer v7.4.1-Rev14 X-Validation-by: pfitzen@pfitzenmaier.de Subject: [Caml-list] ocaml considered dangerous ------=_Part_281906_2043488448.1389913202468 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Dear Ocaml users, I found some serious errors in the compiler e.g. in line 28 of typing/includecore.ml and line 499 of typing/ctype.ml of version 3.12.1. A longer list of errors with explanations and possible fixes will be under www.pfitzenmaier.de/ocaml-considered-dangerous.html regards, J=C3=BCrgen ------=_Part_281906_2043488448.1389913202468 MIME-Version: 1.0 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 7bit

Dear Ocaml users,

I found some serious errors in the compiler e.g. in line 28 of typing/includecore.ml

and line 499 of typing/ctype.ml of version 3.12.1.

A longer list of errors with explanations and possible fixes will be under

www.pfitzenmaier.de/ocaml-considered-dangerous.html

regards,

Jürgen

------=_Part_281906_2043488448.1389913202468--