From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <hendrik@topoi.pooq.com>
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 739B9800AD
	for <caml-list@sympa.inria.fr>; Thu, 22 Dec 2016 23:18:31 +0100 (CET)
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=hendrik@topoi.pooq.com; spf=None smtp.mailfrom=hendrik@topoi.pooq.com; spf=None smtp.helo=postmaster@april.topoi.pooq.com
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  hendrik@topoi.pooq.com) identity=pra;
  client-ip=69.165.131.134;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="hendrik@topoi.pooq.com";
  x-sender="hendrik@topoi.pooq.com";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  hendrik@topoi.pooq.com) identity=mailfrom;
  client-ip=69.165.131.134;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="hendrik@topoi.pooq.com";
  x-sender="hendrik@topoi.pooq.com";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@april.topoi.pooq.com) identity=helo;
  client-ip=69.165.131.134;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="hendrik@topoi.pooq.com";
  x-sender="postmaster@april.topoi.pooq.com";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3AUEdj1RxGavj24R/XCy+O+j09IxM/srCxBDY+r6Qd?=
 =?us-ascii?q?1OgWIJqq85mqBkHD//Il1AaPBtSAraIYwLOL4+jJYi8p2d65qncMcZhBBVcuqP?=
 =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?=
 =?us-ascii?q?JvjvGo7Vks+7y/2+94fdbghMijexe7B/IRq5oQnMtsQbgpZpJ7osxBfOvnZGYf?=
 =?us-ascii?q?ldy3lyJVKUkRb858Ow84Bm/i9Npf8v9NNOXLvjcaggQrNWEDopM2Yu5M32rhbD?=
 =?us-ascii?q?VheA5mEdUmoNjBVFBRXO4QzgUZfwtiv6sfd92DWfMMbrQ704RSiu4qF2QxLulS?=
 =?us-ascii?q?wJNSM28HvPh8J+jKxVvg+vqR9xw4HbfI6aKfhxca3GcNMGWWZMRNpdWzBbD4+i?=
 =?us-ascii?q?aYYEEuoPPfxfr4n4v1YArwWxBQ+xC+P1yz9IhWL90LA90+QmFAHNwQstH9IQv3?=
 =?us-ascii?q?TSsdr1LqYSUeOuwanUyjXDd/RW2Tbn5IjQdRAhpuiMUahsfsrWzEkiDgXIhUiT?=
 =?us-ascii?q?p4z9Jz6Y1+AAv3KG4+dhVe+jkXMrpg9srjS128shhIbEi4QIwV7e7yp52pw6Jd?=
 =?us-ascii?q?igRU57f9GkFJxQujmAOItuWMMiQmVotDwmyr0BoZ67eykKxI4/xx7YbPyHapKE?=
 =?us-ascii?q?7Q7kVOaUOTt4hXRld6yjhxuq8EWtzvfwWtS13VtKtCZJj9fBum0X2xDO5MWKRe?=
 =?us-ascii?q?Nx/kK71jaO0wDT5PtEIUcxlafDK54u3LgwmYcJsUTCHS/7g1n2jKiOdkUj++ik?=
 =?us-ascii?q?8fznYrLhpp+FLYN7lgb+MqE2lsylHes4KhQOX3Sc+emkyLLs50j5QLFTgv0yk6?=
 =?us-ascii?q?nZq4zaKN8Apq+5Bg9Vypws5wy+DzegytQYnGMIIEhLeBKd3MDVPATFKfX8SPO+?=
 =?us-ascii?q?mEiEkTFxxvmAMKeyLI/KKy3jnbHtZ7d+o2Rbzw97mdBS4Z5OC7IpPPXrXU63rN?=
 =?us-ascii?q?vfF1kyNAnikLWvM8l0yo5LATHHOaSeKq6H6VI=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BbHQAAUFxY/4aDpUVeHAEBBAEBCgEBF?=
 =?us-ascii?q?wEBBAEBCgEBgwoBAQEBAYFLB4Mxi0WVYJUVggmGIgKCLBMBAQEBAQEBAQEBAWE?=
 =?us-ascii?q?ogjMYgh4BBTpPIwklDwUYiTGtNIsAAQEIAiaQQIJlgjAFkACKeJEtDWePa44mh?=
 =?us-ascii?q?A8hAjMBgQcWDYYtIIkdAQEB?=
X-IPAS-Result: =?us-ascii?q?A0BbHQAAUFxY/4aDpUVeHAEBBAEBCgEBFwEBBAEBCgEBgwo?=
 =?us-ascii?q?BAQEBAYFLB4Mxi0WVYJUVggmGIgKCLBMBAQEBAQEBAQEBAWEogjMYgh4BBTpPI?=
 =?us-ascii?q?wklDwUYiTGtNIsAAQEIAiaQQIJlgjAFkACKeJEtDWePa44mhA8hAjMBgQcWDYY?=
 =?us-ascii?q?tIIkdAQEB?=
X-IronPort-AV: E=Sophos;i="5.33,390,1477954800"; 
   d="scan'208";a="205585857"
Received: from topoi.pooq.com (HELO april.topoi.pooq.com) ([69.165.131.134])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 22 Dec 2016 23:18:29 +0100
Received: by april.topoi.pooq.com (Postfix, from userid 1001)
	id C38F2C2028; Thu, 22 Dec 2016 17:18:26 -0500 (EST)
Date: Thu, 22 Dec 2016 17:18:26 -0500
From: Hendrik Boom <hendrik@topoi.pooq.com>
To: caml-list@inria.fr
Message-ID: <20161222221826.GA1843@topoi.pooq.com>
References: <20161222011231.GA26221@topoi.pooq.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20161222011231.GA26221@topoi.pooq.com>
User-Agent: Mutt/1.5.23 (2014-03-12)
Subject: [Caml-list] off-brand use of ocaml's lambda IR.

On Wed, Dec 21, 2016 at 08:12:31PM -0500, Hendrik Boom wrote:
> Are there ny tools available that could be used to generate ocaml 
> bytecode for other languages? 
> 
> If I were to do that, by hand or otherwise, how would I interpret or 
> compile it?
> 
> Would the ocaml run-time system we available -- things like the garbage 
> collector, I/O libraries, etc.
> 
> Is anyone else working of projects like this?
> 
> -- hendrik

Having started to leaf through a few pieces of documentation about
the OCaml compilation chain, I now figure that the lambda IR would 
probably be a better place to tap into the process. 

So I'll re-ask, this time sking about compiling from the internal lambda 
representation instead of the byte-code.

-- hendrik