Project

General

Profile

Revision 8f1c7e91 src/dimension.ml

View differences:

src/dimension.ml
347 347
  | Dident id1, Dident id2 when id1 = id2 -> ()
348 348
  | _ -> raise (Unify (dim1, dim2))
349 349

  
350
(* unification with the constraint that dim1 is an instance of dim2 *)
350 351
let rec semi_unify dim1 dim2 =
351 352
  let dim1 = repr dim1 in
352 353
  let dim2 = repr dim2 in

Also available in: Unified diff