Project

General

Profile

Revision 6afa892a src/type_predef.ml

View differences:

src/type_predef.ml
41 41

  
42 42
let type_unary_poly_op =
43 43
  let univ = new_univar () in
44
  new_ty (Tarrow (univ, univ))
44
  type_arrow univ univ
45 45

  
46 46
let type_bin_int_op =
47
  new_ty (Tarrow (new_ty (Ttuple [type_int;type_int]), type_int))
47
  type_arrow (type_tuple [type_int;type_int]) type_int
48 48

  
49 49
let type_bin_bool_op =
50
  new_ty (Tarrow (new_ty (Ttuple [type_bool;type_bool]), type_bool))
50
  type_arrow (type_tuple [type_bool;type_bool]) type_bool
51 51

  
52 52
let type_ite_op =
53 53
  let univ = new_univar () in
54
  new_ty (Tarrow ((new_ty (Ttuple [type_bool;univ;univ])), univ))
54
  type_arrow (type_tuple [type_bool;univ;univ]) univ
55 55

  
56 56
let type_bin_poly_op =
57 57
  let univ = new_univar () in
58
  new_ty (Tarrow ((new_ty (Ttuple [univ;univ])), univ))
58
  type_arrow (type_tuple [univ;univ]) univ
59 59

  
60 60
let type_bin_comp_op =
61 61
  let univ = new_univar () in
......
63 63

  
64 64
let type_univ_bool_univ =
65 65
  let univ = new_univar () in
66
  new_ty (Tarrow ((new_ty (Ttuple [univ;type_bool])), univ))
66
  type_arrow (type_tuple [univ;type_bool]) univ
67 67

  
68 68
let type_bool_univ3 =
69 69
  let univ = new_univar () in
70
  new_ty (Tarrow ((new_ty (Ttuple [type_bool;univ;univ])), univ))
70
  type_arrow (type_tuple [type_bool;univ;univ]) univ
71 71

  
72 72
let type_access =
73 73
  let d = Dimension.mkdim Location.dummy_loc Dimension.Dunivar in

Also available in: Unified diff