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 WAA06631 for caml-redistribution@pauillac.inria.fr; Sun, 7 Nov 1999 22:38:17 +0100 (MET) Resent-Message-Id: <199911072138.WAA06631@pauillac.inria.fr> Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA01778 for ; Fri, 5 Nov 1999 20:48:25 +0100 (MET) Received: from pigeon.maya.com (po.maya.com [192.70.254.2]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id UAA25409 for ; Fri, 5 Nov 1999 20:48:24 +0100 (MET) Received: by pigeon.maya.com (Postfix, from userid 2229) id 1DFF93ED7; Fri, 5 Nov 1999 14:33:09 -0500 (EST) Sender: prevost@po.maya.com To: caml-list@inria.fr Subject: Encoding Library (again) From: John Prevost Date: 05 Nov 1999 14:33:09 -0500 Message-ID: User-Agent: Gnus/5.070095 (Pterodactyl Gnus v0.95) Emacs/20.3 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Resent-From: weis@pauillac.inria.fr Resent-Date: Sun, 7 Nov 1999 22:38:17 +0100 Resent-To: caml-redistribution@pauillac.inria.fr Just wanted to mention that my encoding stuff uses the O'Labl polymorphic method stuff, but should be changeable to not use it. John.