From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA18053 for caml-redist@pauillac.inria.fr; Thu, 4 May 2000 20:11:59 +0200 (MET DST)
Resent-Message-Id: <200005041811.UAA18053@pauillac.inria.fr>
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA19966 for <caml-list@pauillac.inria.fr>; Thu, 4 May 2000 19:27:29 +0200 (MET DST)
Received: from isil.localdomain (isil.maya.com [192.70.254.5])
	by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id TAA00402
	for <caml-list@inria.fr>; Thu, 4 May 2000 19:27:25 +0200 (MET DST)
Received: by isil.localdomain (Postfix, from userid 1000)
	id ABFB636ED2; Thu,  4 May 2000 13:29:26 -0400 (EDT)
Sender: prevost@isil.localdomain
To: knotwell@f5.com
Cc: caml-list@inria.fr
Subject: Re: a parsing question
References: <200005041449.HAA22067@klar.f5.com>
From: John Prevost <prevost@maya.com>
Date: 04 May 2000 13:29:26 -0400
In-Reply-To: knotwell@f5.com's message of "Thu, 4 May 2000 07:49:07 -0700"
Message-ID: <87ya5qb4w9.fsf@isil.localdomain>
User-Agent: Gnus/5.0805 (Gnus v5.8.5) Emacs/20.5
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Resent-From: weis@pauillac.inria.fr
Resent-Date: Thu, 4 May 2000 20:11:59 +0200
Resent-To: caml-redist@pauillac.inria.fr

>>>>> "kn" == knotwell  <knotwell@f5.com> writes:

        {...}

    kn> Unfortunately, I don't know how to "export" yoyo_time to
    kn> parser.mli.  My Makefile currently does the following:

    kn>     echo "val yoyo_time: int ref" >> parser.mli

    kn> While this works fine, I'd like to avoid using Make as a
    kn> post-processor.

The right solution is to define yoyo_time in another module:

blah.ml ------------

let yoyo_time = ref 10
let set_yoyo_time newtime = yoyo_time := (int_of_string newtime)

blah.mli ------------

val yoyo_time : int ref
val set_yoyo_time : string -> unit

parser.mly ----------

%{
open Blah
%}

This way you can stay away from touching the scary .mli file generated
by ocamlyacc.

John.