From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id NAA16674 for caml-redistribution; Fri, 20 Oct 1995 13:28:07 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id BAA02734 for ; Fri, 20 Oct 1995 01:43:39 +0100 Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2]) by concorde.inria.fr (8.6.10/8.6.9) with ESMTP id BAA13314 for ; Fri, 20 Oct 1995 01:43:39 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by margaux.inria.fr (8.6.10/8.6.6) with ESMTP id BAA13856 for ; Fri, 20 Oct 1995 01:43:38 +0100 Received: from HTSMTP.GIC.GI.COM ([198.102.88.4]) by concorde.inria.fr (8.6.10/8.6.9) with ESMTP id BAA13308 for ; Fri, 20 Oct 1995 01:43:36 +0100 Received: from gicpo2.gic.gi.com by HTSMTP.GIC.GI.COM (PMDF V5.0-3 #10138) id <01HWMZ2JGEO0002RMO@HTSMTP.GIC.GI.COM> for caml-list@margaux.inria.fr; Thu, 19 Oct 1995 20:45:52 -0400 (EDT) Received: by gicpo2.gic.gi.com with Microsoft Mail id <30871CFF@gicpo2.gic.gi.com>; Thu, 19 Oct 1995 20:52:31 -0700 (PDT) Date: Thu, 19 Oct 1995 20:48:00 -0700 (PDT) From: "Makofka, Doug (HT-MS)" Subject: output_value To: Caml-list Message-id: <30871CFF@gicpo2.gic.gi.com> X-Mailer: Microsoft Mail V3.0 Content-transfer-encoding: 7BIT Encoding: 21 TEXT Sender: weis could someone comment on the difference between: do_list (output_value chan) ProductionLst and output_value chan ProductionLst I guess what I'm looking for is an output_value statement that will allow me to say: let rec IterateProductionList = fun chan -> (match (input_value chan:ProductionValue) with t -> SomeCrazyFunctionOnProductionValue t; IterateProductionList chan | [] -> ()) ;; thanks in advance, doug makofka dmakofka@gic.gi.com