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 LAA28069 for caml-redistribution; Fri, 11 Apr 1997 11:14:56 +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 JAA25617 for ; Fri, 11 Apr 1997 09:29:10 +0200 (MET DST) Received: from kronstadt.rahul.net (kronstadt.rahul.net [204.95.70.128]) by nez-perce.inria.fr (8.7.6/8.7.3) with ESMTP id JAA22290 for ; Fri, 11 Apr 1997 09:29:07 +0200 (MET DST) Received: (from itz@localhost) by kronstadt.rahul.net (8.7.6/8.7.3) id AAA02160; Fri, 11 Apr 1997 00:28:16 -0700 Date: Fri, 11 Apr 1997 00:28:16 -0700 Message-Id: <199704110728.AAA02160@kronstadt.rahul.net> From: Ian T Zimmerman To: caml-list@inria.fr Subject: [English only, sorry] O'Labl hands off the standard library? Sender: weis Hi. I'm quite intrigued by the polymorphic variant type system extension in O'Labl and I would like to try it; but I thoroughly dislike the other parts of O'Labl (labels and optionals). Is there a way to apply just parts of the Ocaml -> O'Labl patch to get just the polymorphic variants and nothing else? I realize that nothing forces me to actually _use_ labels and optionals, except --- the standard library gets labelized! So, I'd be willing to have the entire compiler patch applied, if only the library is left alone. Please? -- Ian T Zimmerman I fully support the President's proposal to test driver's license applicants for drugs. Any plan to reduce driving is worth a try.