From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id A3BC8BB9C for ; Sat, 10 Dec 2005 15:23:51 +0100 (CET) Received: from wproxy.gmail.com (wproxy.gmail.com [64.233.184.196]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jBAENoib031310 for ; Sat, 10 Dec 2005 15:23:51 +0100 Received: by wproxy.gmail.com with SMTP id i27so1103636wra for ; Sat, 10 Dec 2005 06:23:50 -0800 (PST) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:reply-to:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=hJEeW2du5efosfrLq99rKE+fycGH60omRyZCeAM84eJW0p+nL+/KXHX89WBMlFdY/pNdrMKJnhkDCpeh1IVTg6taiZ65zdcjBHFpgvX7KMpLuncJeUx46acAux4gaCcVzAz5NmyedDw1IZJrCZxTTQddKmAWwBhCHk7cGwOXcUc= Received: by 10.65.239.7 with SMTP id q7mr290646qbr; Sat, 10 Dec 2005 06:23:50 -0800 (PST) Received: by 10.65.185.10 with HTTP; Sat, 10 Dec 2005 06:23:50 -0800 (PST) Message-ID: <53c655920512100623l82ffd88g@mail.gmail.com> Date: Sat, 10 Dec 2005 15:23:50 +0100 From: David Baelde Reply-To: david.baelde@ens-lyon.org To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] documentation on ocamlopt backend In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline References: X-Miltered: at nez-perce with ID 439AE4F6.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocamlopt:01 ocamlopt:01 ocaml:01 subdirectory:01 asmcomp:01 piped:01 compiler:01 re-use:01 ocaml:01 compiler:01 implemented:02 assembler:02 edu:07 maybe:08 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=RCVD_BY_IP autolearn=disabled version=3.0.3 2005/12/10, Ted Kremenek : > I'm potentially interested in writing a new backend target for > ocamlopt. I looked around in the Ocaml distribution subdirectory > "asmcomp" (which is where the target-specific portion of the backend > appears to be implemented), but there is not very much documentation > there. In particular, I'm interested in generating assembly that > will be piped through an assembler that is not "as." I back this kind of request! I would be very interesting in re-using parts of the compiler, and I believe many people would like to re-use or change several parts of OCaml compiler. It would be great to have somebody with a decent knowledge of the compiler put it down. Maybe somebody did it already ? -- David