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 OAA24597 for caml-redistribution; Mon, 23 Aug 1999 14:14:03 +0200 (MET DST) 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 WAA13350 for ; Sun, 22 Aug 1999 22:35:35 +0200 (MET DST) Received: from church.cse.ogi.edu (cse.ogi.edu [129.95.20.2]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id WAA20852 for ; Sun, 22 Aug 1999 22:35:33 +0200 (MET DST) Received: from localhost by church.cse.ogi.edu (8.9.3/8.9.3) with SMTP id NAA09504 for ; Sun, 22 Aug 1999 13:35:32 -0700 (PDT) Date: Sun, 22 Aug 1999 13:35:31 -0700 (PDT) From: Hongwei Xi To: caml-list@inria.fr Subject: Polymorphic recursion Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: weis Hi, Could anyone tell me whether the feature of polymorphic recursion is available in Caml-light or OCaml? If so, how to use it (a simply example would suffice)? Thanks, --Hongwei \~~~~/ \\ // \\ // @ Mail: hongwei@cse.ogi.edu C-o^o, ))__|| \\__//_ // \\ Url: http://www.cse.ogi.edu/~hongwei ( ^ ) ))__|| \--/-\\ \\ Tel: +1 503 748 1584 (office) / \V\ )) || // \\ \\ Fax: +1 503 748 1553 (department) ------ // || o // \\ \\// Department of Computer Science and Engineering Oregon Graduate Institute of Science and Technology P. O. Box 91000, Portland, OR 97291-1000, USA