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 7ECB680113 for ; Wed, 5 Apr 2017 04:25:29 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=e@x80.org; spf=Neutral smtp.mailfrom=e@x80.org; spf=None smtp.helo=postmaster@cc-tupan-roaming-a.ensmp.fr Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of e@x80.org) identity=pra; client-ip=194.214.158.137; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="e@x80.org"; x-sender="e@x80.org"; x-conformance=sidf_compatible Received-SPF: Neutral (mail3-smtp-sop.national.inria.fr: domain of e@x80.org does not assert whether or not 194.214.158.137 is permitted sender) identity=mailfrom; client-ip=194.214.158.137; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="e@x80.org"; x-sender="e@x80.org"; 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@cc-tupan-roaming-a.ensmp.fr) identity=helo; client-ip=194.214.158.137; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="e@x80.org"; x-sender="postmaster@cc-tupan-roaming-a.ensmp.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Ad34BjB8GtduVGv9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?1+4cTK2v8tzYMVDF4r011RmSDNmds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2e2//5Lebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRh/2hi?= =?us-ascii?q?kaMD45/m/Zhc5zgq1Vrx2uuwdyw5LIbIyPKPZyYrnQcNEcSGFcXshRTStBAoak?= =?us-ascii?q?YoQRFOcAMuVVo5Xnq1sJtxu+ChSnCOfgxD9Nh3/22aw60+M8Gg/CwgMgBMgWsG?= =?us-ascii?q?/Jp9v0LqgSVeS1w7fHzTXEcvhbxS396InSfRA6pP2BW697f8nJyUQ3Cg/Iilqd?= =?us-ascii?q?pZb7Mz+I2ekBqXWX4upjWO61lmIqpQN8riCsy8otkIXEh4AYxkrA+Cljw4s4K9?= =?us-ascii?q?u1Q1Nhb9G+CptfrSSaOpN2Qsw8R2Fovz43xaEatpKiYCgK1YwnyATZa/CeaYiI?= =?us-ascii?q?5QjsVOOQITd+i3JpYaiwiwys/kim0e38U9G03ExEripfitXMt3YN2ALP6sWfV/?= =?us-ascii?q?dw+kis1SyR2wzO5exIO104mKrYJpI737I9mJgevVzGHiDsmUX2iKGWdl8j+uit?= =?us-ascii?q?8+nofK7rp5CfOoNokA3+Nb4umsOnDeQiLgcOR3Sb+fi71LD74UL2WrBKjvkvnq?= =?us-ascii?q?ndsZDaPtgbq7WiAw5V14Yj8wywAy2n0NQeh3kHLUhKdAiJj4jzaBnyJ6WyL/C5?= =?us-ascii?q?y3Slii1s37qOar/tAs6VdFDBnLe6Jew780pB00w4ytUJtLxODbRULdrjChe3s8?= =?us-ascii?q?bXRl8UNg2wwuGvKthmRJhWdmuLBqKWN+v7q16B/aN8cKG3eIYJtWOleLAe7Pn0?= =?us-ascii?q?gCphlA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CLAADFVORYl4me1sJcHQEFAQsBGAEFA?= =?us-ascii?q?QsBhAqBC45okGiMYIsBIoYAAoQGFAEBAQEBAQEBAQEBEgEBAQEBCBYGV4IzIIJ?= =?us-ascii?q?DAQICAXkFCwsOExQRDwEESROKBgyuC4pqAQEIAiaLPYo5BZxsAYZ9jiWOapN1N?= =?us-ascii?q?oEmaEmEaoFxc4kbAQEB?= X-IPAS-Result: =?us-ascii?q?A0CLAADFVORYl4me1sJcHQEFAQsBGAEFAQsBhAqBC45okGi?= =?us-ascii?q?MYIsBIoYAAoQGFAEBAQEBAQEBAQEBEgEBAQEBCBYGV4IzIIJDAQICAXkFCwsOE?= =?us-ascii?q?xQRDwEESROKBgyuC4pqAQEIAiaLPYo5BZxsAYZ9jiWOapN1NoEmaEmEaoFxc4k?= =?us-ascii?q?bAQEB?= X-IronPort-AV: E=Sophos;i="5.36,276,1486422000"; d="scan'208";a="219287739" Received: from jiboia.ensmp.fr (HELO cc-tupan-roaming-a.ensmp.fr) ([194.214.158.137]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 Apr 2017 04:25:28 +0200 Received: from rochefort (83.9.67.86.rev.sfr.net [86.67.9.83]) (authenticated bits=0) by cc-tupan-roaming-a.ensmp.fr (8.15.2/8.15.1/JMMC-22/Oct/2013) with ESMTPSA id v352Oa9t024618 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO); Wed, 5 Apr 2017 04:24:37 +0200 From: e@x80.org (Emilio =?utf-8?Q?Jes=C3=BAs?= Gallego Arias) To: "Jon Harrop" Cc: , Organization: X80 Heavy Industries References: <023a01d2ad9d$295a4c20$7c0ee460$@jdh302.plus.com> X-Url: https://x80.org/emilio/ Mail-Followup-To: "Jon Harrop" , , Date: Wed, 05 Apr 2017 04:24:35 +0200 In-Reply-To: <023a01d2ad9d$295a4c20$7c0ee460$@jdh302.plus.com> (Jon Harrop's message of "Wed, 5 Apr 2017 00:42:45 +0100") Message-ID: <87vaqjiobg.fsf@rochefort> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Miltered: at cc-tupan-roaming-a.ensmp.fr with ID 58E45564.000 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Auth: USER-ID emilio.gallego_arias X-j-chkmail-Enveloppe: 58E45564.000 from 83.9.67.86.rev.sfr.net/83.9.67.86.rev.sfr.net/86.67.9.83/rochefort/ Subject: Re: [Caml-list] 100-line compiler written in OCaml using LLVM reloaded Dear Jon, "Jon Harrop" writes: > The first problem I hit is how I am supposed to build such things these > days. I tried to look it up on the developer tools page: > Then I get an error about my parser. I'm guessing this is because I used an > inline parser courtesy of camlp4 (or camlp5, I forget which) which has been > replaced with PPX which, I'm guessing, cannot do this. If so, what is the > easiest way to get this code running and how should I be building it? using opam this: $ ocamlfind ocamlc -g -dtypes -syntax camlp4o -package camlp4.extend -package llvm miniml.ml -o miniml works for me, well, almost, as I get: File "miniml.ml", line 54, characters 30-39: Error: This expression has type Llvm.llbasicblock but an expression was expected of type Llvm.llcontext but I guess this is due to the llvm version on my system. Best, Emilio