Project

General

Profile

Revision d4807c3d src/typing.ml

View differences:

src/typing.ml
293 293
(* ty1 is a subtype of ty2 *)
294 294
let rec sub_unify sub ty1 ty2 =
295 295
  match (repr ty1).tdesc, (repr ty2).tdesc with
296
  | Ttuple [t1]        , Ttuple [t2]        -> sub_unify sub t1 t2
297 296
  | Ttuple tl1         , Ttuple tl2         ->
298 297
    if List.length tl1 <> List.length tl2
299 298
    then raise (Unify (ty1, ty2))

Also available in: Unified diff