Revision d4807c3d src/typing.ml
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