From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <yitzhakm@CS.Princeton.EDU>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39])
	by yquem.inria.fr (Postfix) with ESMTP id 96941BB81
	for <caml-list@yquem.inria.fr>; Mon, 10 Oct 2005 22:35:21 +0200 (CEST)
Received: from bluebox.CS.Princeton.EDU (bluebox.CS.Princeton.EDU [128.112.136.38])
	by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j9AKZKSI024636
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO)
	for <caml-list@yquem.inria.fr>; Mon, 10 Oct 2005 22:35:21 +0200
Received: from [128.112.104.212] (airpcard-yhm.CS.Princeton.EDU [128.112.104.212])
	(authenticated bits=0)
	by bluebox.CS.Princeton.EDU (8.12.11/8.12.11) with ESMTP id j9AKZIRQ017200
	(version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=NOT)
	for <caml-list@yquem.inria.fr>; Mon, 10 Oct 2005 16:35:19 -0400 (EDT)
Mime-Version: 1.0 (Apple Message framework v623)
Content-Transfer-Encoding: 7bit
Message-Id: <1b0c97a5de1e21fd5dec58680929a9ce@cs.princeton.edu>
Content-Type: text/plain; charset=US-ASCII; format=flowed
To: caml-list@yquem.inria.fr
From: Yitzhak Mandelbaum <yitzhakm@CS.Princeton.EDU>
Subject: programmatic access to ocaml type checker
Date: Mon, 10 Oct 2005 16:35:18 -0400
X-Mailer: Apple Mail (2.623)
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 mlx=-1 adultscore=0 adjust=0 reason=safe engine=3.0.0-05091301 definitions=3.0.0-05101006
X-Miltered: at concorde with ID 434AD088.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; ocaml:01 checker:01 ocaml:01 parsing:01 type-checker:01 ocamlc:01 fragments:01 expressions:03 princeton:05 edu:07 i'm:08 i'm:08 type:14 type:14 using:15 
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=none autolearn=disabled 
	version=3.0.3

Hi,
I'm interested in using ocaml expressions in a domain specific 
language. I'm using camlp4 for the parsing. Is there any way to access 
the type-checker used by ocamlc so that I can type check the ocaml code 
fragments that appear in my DSL programs?

Thanks,
Yitzhak