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 35A447F8D4 for ; Sun, 24 Jan 2016 21:05:05 +0100 (CET) IronPort-PHdr: 9a23:K9uKTx/L0mTHXP9uRHKM819IXTAuvvDOBiVQ1KB91O4cTK2v8tzYMVDF4r011RmSDdudsqoUwLON6ujJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6MyZ3vh6vroMSbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t4XXskzoRA6Lrl8dSXlexhFBBgyA6BDhQr/wtDH7v6xzwn/JE9fxSOUeXj7q3adiThCg3C0APSw5+WfY050g3IpUpRugo1p0xIuCM9LdD+Z3Yq6IJYBSfmFGRMsEEnUZWo4= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=bobzhang1988@gmail.com; spf=Pass smtp.mailfrom=bobzhang1988@gmail.com; spf=None smtp.helo=postmaster@mail-yk0-f179.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of bobzhang1988@gmail.com) identity=pra; client-ip=209.85.160.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="bobzhang1988@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of bobzhang1988@gmail.com designates 209.85.160.179 as permitted sender) identity=mailfrom; client-ip=209.85.160.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="bobzhang1988@gmail.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@mail-yk0-f179.google.com) identity=helo; client-ip=209.85.160.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="postmaster@mail-yk0-f179.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0C/AgAzLaVWlLOgVdFehHkGiFGgKwQDhwmKXIFigl+DMIEZBzkTAQEBAQEBAQEQAQEBAQcLCwkfMIItggsMFhEdARsdAQMSCAEHNwIkAREBBQEiGxqHYwEDEqBCgTE+MYs0gWmCV4VGChknDVGDHQwBFwEFCgSEGY5EgToFjh6IUQeBEoxEgV6NG4psghYRH4ENIgGCMw0RB4FuHi6HPAEBAQ X-IPAS-Result: A0C/AgAzLaVWlLOgVdFehHkGiFGgKwQDhwmKXIFigl+DMIEZBzkTAQEBAQEBAQEQAQEBAQcLCwkfMIItggsMFhEdARsdAQMSCAEHNwIkAREBBQEiGxqHYwEDEqBCgTE+MYs0gWmCV4VGChknDVGDHQwBFwEFCgSEGY5EgToFjh6IUQeBEoxEgV6NG4psghYRH4ENIgGCMw0RB4FuHi6HPAEBAQ X-IronPort-AV: E=Sophos;i="5.22,341,1449529200"; d="scan'208,217";a="199013625" Received: from mail-yk0-f179.google.com ([209.85.160.179]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 24 Jan 2016 21:05:04 +0100 Received: by mail-yk0-f179.google.com with SMTP id k129so141536091yke.0 for ; Sun, 24 Jan 2016 12:05:04 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:cc:content-type; bh=vmODKGU659KnV88EGbqYeaT0ILDC76ykgrcWtKoB2Vk=; b=m8tU+/OZ0kvCJeX+sagqfBmN6tPtAkzRLlPOc4z6TzKMW8ICvuqvqpqzRwgvQJscsR q5Q6I4nIHfx3T7D9nn6BhPuB1polCvwHD4MMfl+mBNOBa0KBo0X8Ahc66e2X19p7iI4M f1Zvd2nxKzFVxwumCKHg38jrkiv63U4kvxzrT+8Z6k/Mr1wzqeaHijNW2lC1BRwPAmD0 RRQ+hrn9gZ1DQgtKdu1YR5UD76Xb93MNCDAaNy7ysv998QMxL9SqOz4I4STKd5SxMKAm TkwWXJyDwE1DPCgNsl+iZYmvTdbPmDl5MmoWXt3/tL4Q54DfOMJK0TlrwUnlHjkqr+83 BtPg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:date:message-id:subject:from:to:cc :content-type; bh=vmODKGU659KnV88EGbqYeaT0ILDC76ykgrcWtKoB2Vk=; b=jM4wtMltXmlDJnZXCByEVFiLTHTHiO/+w9VP9huxx0ci26K5FMBVgGQa9Wsm8dXwNj WA0QEc3Z9uwci66S8mqXIeXtA6SrJKm9OSmcASWXuOwpxNLzwB3yL/5tTQm73hEPFZgr q8Fo3tYitpaBZ07nERaFsCd7BHmsGZRyWZHgT32xplxV6LpcIi2aHHsP9aUILTxidU0G ypd5YnJedwplg2Ws5cz7bVgmraYTKC2WWQzTZV5k4x1fmZwny9Y60soL6fYz/HLWcy88 uC2GtmljeLyIlf4BxQFyNALLCP3YJv2aNS3MG9ZYFu0zpgsXPOyHke+q73oPXUlWV4SN SbCA== X-Gm-Message-State: AG10YOT3i9Dzo+dyWMhfnSToAMpXJCg9AOgyep4YsGsH6g0LaC1CXeaZsSxPncoYDKvDFIx7pJUrNpljzzjHIw== MIME-Version: 1.0 X-Received: by 10.37.66.73 with SMTP id p70mr6749865yba.28.1453665899970; Sun, 24 Jan 2016 12:04:59 -0800 (PST) Received: by 10.129.86.8 with HTTP; Sun, 24 Jan 2016 12:04:59 -0800 (PST) Date: Sun, 24 Jan 2016 15:04:59 -0500 Message-ID: From: Bob Zhang To: Caml List Cc: =?UTF-8?B?5byg5a6P5rOi?= Content-Type: multipart/alternative; boundary=001a11c0540a9707bc052a19f7c0 Subject: [Caml-list] How to print copyright headers properly in ppx --001a11c0540a9707bc052a19f7c0 Content-Type: text/plain; charset=UTF-8 Dear OCaml developers, Recently I found it was really neat to distribute your software (mostly binaries) in a single `.ml` file, easy to install(however fancy build systems and pre-processors you use does not affect your clients) and potentially better inlining. The way I did is to use some internals from ocamldep to sort the list of files and concatenate them. But there is an issue about copy right header, since it is `comment`, I tried to use a named attribute node `ocaml.doc`, it works, but its output is not pretty, any suggestions? (maybe we should add a special attribute `ocaml.copyright`?) -- Regards -- Hongbo Zhang --001a11c0540a9707bc052a19f7c0 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Dear OCaml developers,
=C2=A0 =C2=A0Recently I found it= was really neat to distribute your software (mostly binaries) in a single = `.ml` file, easy to install(however fancy build systems and pre-processors = you use does not affect your clients) =C2=A0and potentially better inlining= .
=C2=A0 =C2=A0The way I did is to use some internals from ocamldep to s= ort the list of files and concatenate them. But there is an issue about cop= y right header, since it is `comment`, I tried to use a named attribute nod= e `ocaml.doc`, it works, but its output is not pretty, any suggestions? (ma= ybe we should add a special attribute `ocaml.copyright`?)
=

--
Regards
-- Hongbo Z= hang
--001a11c0540a9707bc052a19f7c0--