/ - Diff - LustreC

« Previous | Next »

Revision 11242500

again, debugged tuple subtyping

     	 real_static_type
         else real_type in
     (*Format.eprintf "subtyping const %B real %a:%a vs formal %a@." const Printers.pp_expr real_arg Types.print_ty real_type Types.print_ty formal_type;*)
       let real_types   = type_list_of_type real_type in
       let formal_types = type_list_of_type formal_type in
       try
         List.iter2 (type_subtyping loc sub) real_types formal_types
       with _ -> raise (Unify (real_type, formal_type))
     and type_subtyping loc sub real_type formal_type =
       match (repr real_type).tdesc, (repr formal_type).tdesc with
       | Tstatic _          , Tstatic _ when sub -> try_unify formal_type real_type loc
       | Tstatic (r_d, r_ty), _         when sub -> try_unify formal_type r_ty loc
-...
         List.fold_left (fun uvars v -> define_var v uvars) undefined_vars eq.eq_lhs in
       (* Type rhs wrt to lhs type with subtyping, i.e. a constant rhs value may be assigned
          to a (always non-constant) lhs variable *)
       let tins = type_list_of_type ty_lhs in
       let args = expr_list_of_expr eq.eq_rhs in
       List.iter2 (type_subtyping_arg env in_main false) args tins;
       type_subtyping_arg env in_main false eq.eq_rhs ty_lhs;
       undefined_vars

Also available in: Unified diff