Project

General

Profile

Revision 8b450806

View differences:

src/typing.ml
416 416
    expr.expr_type <- ty;
417 417
    ty
418 418
  | Expr_access (e1, d) ->
419
    type_subtyping_arg env in_main true (expr_of_dimension d) Type_predef.type_int;
419
    type_subtyping_arg env in_main false (* not necessary a constant *) (expr_of_dimension d) Type_predef.type_int;
420 420
    let ty_elt = new_var () in
421 421
    let d = Dimension.mkdim_var () in
422 422
    type_subtyping_arg env in_main const e1 (Type_predef.type_array d ty_elt);

Also available in: Unified diff