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