From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 73932801D9 for ; Tue, 18 Jul 2017 13:14:23 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=lists@applepine.org; spf=Pass smtp.mailfrom=lists@applepine.org; spf=None smtp.helo=postmaster@saldaea.applepine.org Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of lists@applepine.org) identity=pra; client-ip=168.235.68.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="lists@applepine.org"; x-sender="lists@applepine.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of lists@applepine.org designates 168.235.68.54 as permitted sender) identity=mailfrom; client-ip=168.235.68.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="lists@applepine.org"; x-sender="lists@applepine.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@saldaea.applepine.org) identity=helo; client-ip=168.235.68.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="lists@applepine.org"; x-sender="postmaster@saldaea.applepine.org"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AeYyoKBGZKTL5Mp885YtwA51GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ78pM6wAkXT6L1XgUPTWs2DsrQf2rWQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbQhFgDiwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj?= =?us-ascii?q?8KOT4l/2/YhcN+kaFVrhy/qRJ42IPUfJiVNP9icqPdYd8WW2xMVdtRWSxbBYO8?= =?us-ascii?q?apMCDuUbPeZXqon9o0YFoBy6BQmtH+Pv1iRIi2Ts0q0iy+QhFR/J3BQhH9IIrn?= =?us-ascii?q?vYttL1NL0dUe2syqTD0DvNb/RT2Tjn6YjIdAgsof6NXbJsccrR1FIgGxnZgVWX?= =?us-ascii?q?rIzoOS6e2OcVs2WD8uZtVOGih3Q5pwx/ojWj3MYhh4rTio8VxV3I7SR0zYkvKd?= =?us-ascii?q?GmR0N2YcSoHIZfui2HLYd6X98uTmd1sygg0LIGo4S0fC0SxZQn2RHfb/uHfpCT?= =?us-ascii?q?4h35UOaePC13i2x/d76lnRmy6VCgyuniWcms0VZKqDRKnsPLtnAX2Bzf8smHSv?= =?us-ascii?q?1j8Ue9wTuDygHe5+JeLUwqm6fWK4Qtz78zm5YJsUnOETf6mEDsg6+XckUk9PKo?= =?us-ascii?q?6+PiYrj+op+cNpR0ih3lMqk1gMO/Gfw4MgwQUGiD+OS80qPs8Vf+QLVQgf06ir?= =?us-ascii?q?PZv4zCJcQHuq65BBdY3Zo55Ba6CzeqydAYnXgcLFJZYx+HlIjoO1TWIP/iF/u/?= =?us-ascii?q?glKskC1qx//cJLHhDI/NfTD/l+LqdLN5rkpd0xYbzNZF5psSBKtSDuj0Xxrhrt?= =?us-ascii?q?PdCldtNw2v3/3PAc1l0o4GWGSCRKiDP/WB4hez+uszLrzUN8cuszHnJq196g?= =?us-ascii?q?=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A7CgDV7G1Z/zZE66hdHQEFAQsBg1pkn?= =?us-ascii?q?1UBBYEGmDcsiG5DFAEBAQEBAQEBAQEBaiiCMyKDBIIrigcNBQueKpI0iGKCNSE?= =?us-ascii?q?FgyiDBoJTC4gkgneCMQWJY5U/EoMGhESOQIF+hzyHAZEHhFA2IYEKHC05CFsBg?= =?us-ascii?q?m6BTgGCYokyAQEB?= X-IPAS-Result: =?us-ascii?q?A0A7CgDV7G1Z/zZE66hdHQEFAQsBg1pkn1UBBYEGmDcsiG5?= =?us-ascii?q?DFAEBAQEBAQEBAQEBaiiCMyKDBIIrigcNBQueKpI0iGKCNSEFgyiDBoJTC4gkg?= =?us-ascii?q?neCMQWJY5U/EoMGhESOQIF+hzyHAZEHhFA2IYEKHC05CFsBgm6BTgGCYokyAQE?= =?us-ascii?q?B?= X-IronPort-AV: E=Sophos;i="5.40,377,1496095200"; d="scan'208";a="231903149" Received: from saldaea.applepine.org ([168.235.68.54]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 18 Jul 2017 13:14:21 +0200 Received: from [10.1.12.237] (pubip.ny.tower-research.com [64.245.141.10]) by saldaea.applepine.org (OpenSMTPD) with ESMTPSA id 8786ee50 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for ; Tue, 18 Jul 2017 07:14:19 -0400 (EDT) From: xrgml Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Message-Id: Date: Tue, 18 Jul 2017 07:14:14 -0400 To: caml-list@inria.fr X-Mailer: Apple Mail (2.3273) X-Validation-by: lists@applepine.org Subject: [Caml-list] Ocaml-migrate-parsetree and compiler-libs.Types Hello, I am working on migrating `ppx_import` (https://github.com/whitequark/ppx_i= mport) to OMP. This PPX rewriter uses the `Types` module from `compiler-lib= s` as a result of using `Cmi_format` from that same module and neither are = part of the OMP migration framework. What would be the best approach here ? My current solution is to keep using= `Types` and `Cmi_format` and massage its output into the current AST of `p= px_import` (`Ast_403`). But that assumes that the interface for `Types` doe= s not change across versions, which seems a bit preposterous. Thanks, xrg=