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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id E797E7EC6E for ; Fri, 17 Jan 2014 00:28:00 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of milanst@gmail.com) identity=pra; client-ip=209.85.223.180; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="milanst@gmail.com"; x-sender="milanst@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of milanst@gmail.com designates 209.85.223.180 as permitted sender) identity=mailfrom; client-ip=209.85.223.180; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="milanst@gmail.com"; x-sender="milanst@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ie0-f180.google.com) identity=helo; client-ip=209.85.223.180; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="milanst@gmail.com"; x-sender="postmaster@mail-ie0-f180.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsECAMJe2FLRVd+0lGdsb2JhbABZg0NWgn64E4EICBYOAQEBAQcLCwkSKoIlAQEBBCMdAQgTHQEDDAYFCw0CAiYCAiIBEQEFARwGE4dvAQMRDZ0KjAlTgwmSFAoZJw1khHIRAQUMgR2NIzMHgm+BSQSJR45agTGOeRgphHce X-IPAS-Result: AsECAMJe2FLRVd+0lGdsb2JhbABZg0NWgn64E4EICBYOAQEBAQcLCwkSKoIlAQEBBCMdAQgTHQEDDAYFCw0CAiYCAiIBEQEFARwGE4dvAQMRDZ0KjAlTgwmSFAoZJw1khHIRAQUMgR2NIzMHgm+BSQSJR45agTGOeRgphHce X-IronPort-AV: E=Sophos;i="4.95,670,1384297200"; d="scan'208";a="45095013" Received: from mail-ie0-f180.google.com ([209.85.223.180]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 17 Jan 2014 00:28:00 +0100 Received: by mail-ie0-f180.google.com with SMTP id at1so1645951iec.11 for ; Thu, 16 Jan 2014 15:27:56 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type:content-transfer-encoding; bh=MPwFElO4CTjXB40zOaotje2e6chaHO4pM1y+Y/8b7Gg=; b=m8wJ+toUVX7Irkltt3XuZMHT7hni3VeZ2obJ1xG+iuRCHNlcAFLVOgsOMnc1bPvXYD d1uTdq6Xssm+W6nVOv1ypw/PoxmLYe0YlwN9mfoC04HWF396YUYyedqP5pICq5qGGEFa VnPyrZJVErqKCNaxkncfPPc+9Ok0XcRleIBaIAwBj7Tbn4kmh3KaISqvLnixs4MTf9zo d+1RPDPxRdV0Lbi0THWIftzilFgNcyR9pX5Aox4OfdXrBJvjbSUA4bsmSjYx7WghEB4t vDtix6aRhYGrnQg/X+653TLwVLVBGtflMWGe585rQhAYcD0Vcty0L4hVEukqBiJzlZeA RbyQ== X-Received: by 10.50.73.136 with SMTP id l8mr12680244igv.7.1389914876803; Thu, 16 Jan 2014 15:27:56 -0800 (PST) MIME-Version: 1.0 Received: by 10.64.227.67 with HTTP; Thu, 16 Jan 2014 15:27:15 -0800 (PST) In-Reply-To: <2112632769.281907.1389913202532.open-xchange@communicator.strato.de> References: <2112632769.281907.1389913202532.open-xchange@communicator.strato.de> From: =?UTF-8?Q?Milan_Stanojevi=C4=87?= Date: Thu, 16 Jan 2014 18:27:15 -0500 Message-ID: To: =?UTF-8?Q?J=C3=BCrgen_Pfitzenmaier?= Cc: Caml List Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] ocaml considered dangerous Your url returns 404 On Thu, Jan 16, 2014 at 6:00 PM, J=C3=BCrgen Pfitzenmaier wrote: > 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 >