From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id EAA04940; Sat, 9 Aug 2003 04:03:07 +0200 (MET DST)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
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 EAA09154 for <caml-list@pauillac.inria.fr>; Sat, 9 Aug 2003 04:03:05 +0200 (MET DST)
Received: from mail2.tpgi.com.au (mail.tpgi.com.au [203.12.160.58])
	by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h79233T21761
	for <caml-list@inria.fr>; Sat, 9 Aug 2003 04:03:03 +0200 (MET DST)
Received: from syd-ts18-2600-084.tpgi.com.au (syd-ts18-2600-084.tpgi.com.au [203.58.21.84])
	by mail2.tpgi.com.au (8.12.9/8.12.9) with ESMTP id h7922wEG015951
	for <caml-list@inria.fr>; Sat, 9 Aug 2003 12:03:00 +1000
Subject: [Caml-list] version 7 beta typing change?
From: skaller <skaller@ozemail.com.au>
Reply-To: skaller@ozemail.com.au
To: caml-list@inria.fr
Content-Type: text/plain
Message-Id: <1060394583.12630.4.camel@localhost.localdomain>
Mime-Version: 1.0
X-Mailer: Ximian Evolution 1.2.2 (1.2.2-4) 
Date: 09 Aug 2003 12:03:03 +1000
Content-Transfer-Encoding: 7bit
X-Kaspersky-Antivirus: Passed
X-Loop: caml-list@inria.fr
X-Spam: no; 0.00; ozemail:01 3.06:01 3.07:01 bug:01 flx:01 ipk:99 typecode:01 inst:99 btypecode:01 int:01 binding:03 pointer:03 typing:03 types:03 constraints:04 
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

Code that compiled on 3.06 doesn't work on 3.07 beta1.
Is this a bug in the old typing, in the new typing, or what?

File "lpsrc/flx_types.ipk", line 532, characters 20-42:
Constraints are not satisfied in this type.
Type 'a b0typecode_t' as 'a should be an instance of 'b b0typecode_t'

type bid_t = int

(** value typing *)
type 't b0typecode_t' = 
  [
  | `BTYP_name of bid_t         
  | `BTYP_inst of bid_t * 't list 
  | `BTYP_tuple of 't list         
  | `BTYP_sum of 't list            
  | `BTYP_function of 't * 't
  | `BTYP_pointer  of 't 
  | `BTYP_void                       
  | `BTYP_binding of 't * 't 
  | `BTYP_fix of int      
  | `BTYP_var of int     
  ]

(** meta typing *)
type 't b1typecode_t' =
  [
  | `BTYP_apply of 't * 't 
  | `BTYP_typefun of (int * 't) list * 't * 't
  | `BTYP_type
  | `BTYP_type_tuple of 't list
  ]

(** general typing *)
type 't btypecode_t' =
  [
  | 't b0typecode_t' 
  | 't b1typecode_t'
  ]

type b0typecode_t = 't b0typecode_t' as 't (* THIS IS LINE 532 *)
type btypecode_t = 't btypecode_t' as 't


-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners