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 NAA19427 for caml-redistribution; Thu, 12 Sep 1996 13:17:30 +0200 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 LAA18095 for ; Thu, 12 Sep 1996 11:54:37 +0200 Received: from news2.tokyo.intervia.ad.jp (news2.tokyo.intervia.ad.jp [202.235.64.84]) by concorde.inria.fr (8.7.1/8.7.1) with SMTP id LAA21229 for ; Thu, 12 Sep 1996 11:54:31 +0200 (MET DST) Received: from sparc1.nextsolution.co.jp (sparc1.nextsolution.co.jp [202.235.80.1]) by news2.tokyo.intervia.ad.jp (8.6.12+2.4W/intervia-1.7u) with SMTP id SAA17537 for ; Thu, 12 Sep 1996 18:54:26 +0900 Received: from sparc3.nextsolution.co.jp by sparc1.nextsolution.co.jp (5.x/SMI-SVR4) id AA08143; Thu, 12 Sep 1996 18:53:06 +0900 Received: by sparc3.nextsolution.co.jp (5.x/SMI-SVR4) id AA00876; Thu, 12 Sep 1996 18:53:17 +0900 Date: Thu, 12 Sep 1996 18:53:17 +0900 From: christo@nextsolution.co.jp (Frank Christoph) Message-Id: <9609120953.AA00876@sparc3.nextsolution.co.jp> To: caml-list@pauillac.inria.fr Subject: As-binding #-types Sender: weis The manual says you can use "as" to bind row variables in a type, so "#myclass as 'a -> 'a" would be the type of a function to and from equal types, instead of possibly different descendants of "#myclass". But I've had trouble using this type expression in type definitions. #type 'a mytype = Mk of #myclass;; Unbound row variable in #myclass is an error as expected, but #type 'a mytype = Mk of #myclass as 'a;; Unbound row variable in #myclass yields the same problem. Shouldn't this be possible? ------------------------------------------------------------------------ Frank Christoph Next Solution Co. Tel: 0424-98-1811 christo@nextsolution.co.jp Fax: 0424-98-1500