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 79B447F058 for ; Sat, 2 Jan 2016 21:54:22 +0100 (CET) IronPort-PHdr: 9a23:cY4NJh3lJiAS+lUlsmDT+DRfVm0co7zxezQtwd8ZsegTI/ad9pjvdHbS+e9qxAeQG96LtbQc06L/iOPJZy8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2PbrnD61zMOABK3bVMzfbSrXNaKx+2MlMmMuLTrKz1SgzS8Zb4gZD6Xli728vcsvI15N6wqwQHIqHYbM85fxGdvOE7B102kvpT41NdZ/i9Ro/Ms8dJbGeW/JvxgDO8QMDNzKWEl6cHDtRDbVRqL62MAU25QlQBHUCbf6xSvZY/wqCzh/sd52S6COtDySqt8DS+v66ZsUBj1oCgCPj89tmrQj5oj3+pgvBu9qkknkMbva4aPOa87J/uFcA== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=seliopou@gmail.com; spf=Pass smtp.mailfrom=seliopou@gmail.com; spf=None smtp.helo=postmaster@mail-lf0-f45.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of seliopou@gmail.com) identity=pra; client-ip=209.85.215.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="seliopou@gmail.com"; x-sender="seliopou@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of seliopou@gmail.com designates 209.85.215.45 as permitted sender) identity=mailfrom; client-ip=209.85.215.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="seliopou@gmail.com"; x-sender="seliopou@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-lf0-f45.google.com) identity=helo; client-ip=209.85.215.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="seliopou@gmail.com"; x-sender="postmaster@mail-lf0-f45.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DkAAB4OIhWmy3XVdFehAxtBohTqTCMMhqFdQKBCgc8EAEBAQEBAQEBEAEBAQEBBgsLCSEugi2BfgoBAQMBEhEdARsdAQMBCwYFAwEHNwICIgERAQUBHDuHdwEDCgihJoExPjGLSIFqgnmIEgoZJw1WgkgBAQEBBgEBAQEBAQEWAQUOhkiEf4UjglCBSQWOMIhWhUCIEYImjFVEjCoRJIEXESiCLyKCAiA0hRABAQE X-IPAS-Result: A0DkAAB4OIhWmy3XVdFehAxtBohTqTCMMhqFdQKBCgc8EAEBAQEBAQEBEAEBAQEBBgsLCSEugi2BfgoBAQMBEhEdARsdAQMBCwYFAwEHNwICIgERAQUBHDuHdwEDCgihJoExPjGLSIFqgnmIEgoZJw1WgkgBAQEBBgEBAQEBAQEWAQUOhkiEf4UjglCBSQWOMIhWhUCIEYImjFVEjCoRJIEXESiCLyKCAiA0hRABAQE X-IronPort-AV: E=Sophos;i="5.20,513,1444687200"; d="scan'208";a="159236615" Received: from mail-lf0-f45.google.com ([209.85.215.45]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 02 Jan 2016 21:54:19 +0100 Received: by mail-lf0-f45.google.com with SMTP id y184so258476619lfc.1 for ; Sat, 02 Jan 2016 12:54:19 -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; bh=iV9PGMP/dT03ia9bIZ3bYTevErFDuM5BKglN7y4t1eA=; b=gl//YwQvSm2g+rSr6YSWNaU6b+UJ9rR75aCrG5h7pfMJz4cRqbuOt3IcvVIFgbpteI xZpF0sMHoq7lr2Hk5Og2UNZcQL8qc/H451yq8qlBKpsXlVzFM/9jm9Po8NlxdJks2lLP d++y7wMJER9BvGnZQpffdtsKM5JkosvVYziRyk8LyNdY9mUq3vN3Q81ePiAh+RpI0bUX PyqnvJVJnJt8kw76YWhfH//T66nyDO/zulZuyH28AvSpKKUUNSry44YHIq+/3+V9G0Wy iNJvEQ5c1QTwzAvG5cZU3oA7gdzobyrZfUTTozMp8RgA7oq0j9F8DoW2XyCJlHbglPBj gBRg== X-Received: by 10.25.144.5 with SMTP id s5mr29194673lfd.154.1451768058559; Sat, 02 Jan 2016 12:54:18 -0800 (PST) MIME-Version: 1.0 Received: by 10.25.198.2 with HTTP; Sat, 2 Jan 2016 12:53:59 -0800 (PST) In-Reply-To: <20160102204246.GA23759@pim.happyleptic.org> References: <20160102174325.GA22783@pim.happyleptic.org> <20160102204246.GA23759@pim.happyleptic.org> From: Spiros Eliopoulos Date: Sat, 2 Jan 2016 15:53:59 -0500 Message-ID: To: rixed@happyleptic.org Cc: Philippe Veber , caml users Content-Type: multipart/alternative; boundary=001a114019bc6d43c40528601724 Subject: Re: [Caml-list] js_of_ocaml and --001a114019bc6d43c40528601724 Content-Type: text/plain; charset=UTF-8 Inserting a cast solves the type error: $ echo > toto.ml < Dom_svg.document) > EOF $ ocamlfind ocamlc -syntax camlp4o -package "js_of_ocaml js_of_ocaml.syntax" -c toto.ml $ echo $? 0 --001a114019bc6d43c40528601724 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Inse= rting a cast solves the type error:

$ echo > toto.m= l <<EOF
let svg =3D Dom_svg.creat= eSvg (Dom_html.window##document :> Dom_svg.document)
> EOF=C2=A0
$ ocamlfind oca= mlc -syntax camlp4o -package "js_of_ocaml js_of_ocaml.syntax" -c = toto.ml
$ ec= ho $?
0
--001a114019bc6d43c40528601724--