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