Project

General

Profile

« Previous | Next » 

Revision d0f26f04

Added by LĂ©lio Brun 7 months ago

corrections for stateless nodes

View differences:

src/typing.ml
332 332
  (* Expected type ty1, got type ty2 *)
333 333
  let try_unify ?(sub = false) ?(semi = false) ty1 ty2 loc =
334 334
    try unify ~sub ~semi ty1 ty2 with
335
    | Unify (t1', t2') ->
335
    | Unify _ ->
336 336
      raise (Error (loc, Type_clash (ty1, ty2)))
337 337
    | Dimension.Unify _ ->
338 338
      raise (Error (loc, Type_clash (ty1, ty2)))

Also available in: Unified diff