From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.2 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 61B52BBAF for ; Thu, 10 Sep 2009 15:31:29 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkIDADecqErIuX5EgWdsb2JhbACbPwEBFiTBe4QYBYYP X-IronPort-AV: E=Sophos;i="4.44,364,1249250400"; d="scan'208";a="35816178" Received: from mta21.f3.k8.com.br ([200.185.126.68]) by mail1-smtp-roc.national.inria.fr with ESMTP; 10 Sep 2009 15:31:28 +0200 Received: from localhost (localhost [127.0.0.1]) by smtpa.f3.k8.com.br (Postfix) with ESMTP id 92703280009B for ; Thu, 10 Sep 2009 13:31:25 +0000 (GMT) X-Virus-Scanned: amavisd-new at k8.com.br Received: from smtpa.f3.k8.com.br ([127.0.0.1]) by localhost (mta21.f3.k8.com.br [127.0.0.1]) (amavisd-new, port 10024) with LMTP id Bb5OM8xgjKyP for ; Thu, 10 Sep 2009 13:31:25 +0000 (GMT) Received: from [10.7.5.65] (fosforo.k8.com.br [200.185.109.125]) by smtpa.f3.k8.com.br (Postfix) with ESMTP id 4921E2800097 for ; Thu, 10 Sep 2009 13:31:24 +0000 (GMT) Subject: Toplevel.print_value From: Andre Nathan To: caml-list@inria.fr Content-Type: text/plain Date: Thu, 10 Sep 2009 10:31:13 -0300 Message-Id: <1252589473.29249.2.camel@andre.mz.digirati.com.br> Mime-Version: 1.0 X-Mailer: Evolution 2.26.1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; toplevel:01 toplevel's:01 toplevellib:01 val:01 expr:01 expr:01 nathan:98 cma:01 env:03 unit:03 types:05 types:05 formatter:05 linked:07 function:08 Hello Is it possible to use Toplevel's print_value function in a program linked against toplevellib.cma? The function has the following signature: val print_value: Env.t -> Obj.t -> formatter -> Types.type_expr -> unit I can't find out how to get a value of type Types.type_expr... Is there any way user code can do this? Thanks in advance, Andre