hphp/hack/test/decl/tuples.php.exp

   1 [("\\Coordinate",
   2   (Shallow_decl_defs.Typedef
   3      { Typing_defs.td_pos = [3:6-16]; td_vis = Transparent; td_tparams = [];
   4        td_constraint = None;
   5        td_type =
   6        (Rhint (root|tuples.php line 3, characters 19-32),
   7         (Ttuple
   8            [(Rhint (root|tuples.php line 3, characters 20-24), (Tprim Tfloat));
   9              (Rhint (root|tuples.php line 3, characters 27-31),
  10               (Tprim Tfloat))
  11              ]))
  12        }));
  13   ("\\takes_tuple",
  14    (Shallow_decl_defs.Fun
  15       { Typing_defs.fe_deprecated = None;
  16         fe_type =
  17         (Rwitness (root|tuples.php line 5, characters 10-20),
  18          (Tfun
  19             { ft_arity = (Fstandard ()); ft_tparams = [];
  20               ft_where_constraints = [];
  21               ft_params =
  22               [{ fp_pos = [5:37-42]; fp_name = (Some "$arg1");
  23                  fp_type =
  24                  { et_enforced = false;
  25                    et_type =
  26                    (Rhint (root|tuples.php line 5, characters 22-35),
  27                     (Ttuple
  28                        [(Rhint (root|tuples.php line 5, characters 23-27),
  29                          (Tprim Tfloat));
  30                          (Rhint (root|tuples.php line 5, characters 30-34),
  31                           (Tprim Tfloat))
  32                          ]))
  33                    };
  34                  fp_flags =
  35                  (make_fp_flags ~accept_disposable:false ~has_default:false
  36                    ~mode:Typing_defs_core.FPnormal ~ifc_external:false
  37                    ~ifc_can_call:false ~is_atom:false ~readonly:false
  38                    ~const_function:false);
  39                   }
  40                 ];
  41               ft_implicit_params = { capability = (CapDefaults [5:10-21]) };
  42               ft_ret =
  43               { et_enforced = false;
  44                 et_type =
  45                 (Rhint (root|tuples.php line 5, characters 45-54),
  46                  (Tapply (([5:45-55], "\\Coordinate"), [])))
  47                 };
  48               ft_flags =
  49               (make_ft_flags FSync ~return_disposable:false
  50                 ~returns_readonly:false ~readonly_this:false ~is_const:false);
  51               ft_ifc_decl = FDPolicied {PUBLIC} }));
  52         fe_pos = [5:10-21]; fe_php_std_lib = false }));
  53   ("\\returns_tuple",
  54    (Shallow_decl_defs.Fun
  55       { Typing_defs.fe_deprecated = None;
  56         fe_type =
  57         (Rwitness (root|tuples.php line 9, characters 10-22),
  58          (Tfun
  59             { ft_arity = (Fstandard ()); ft_tparams = [];
  60               ft_where_constraints = [];
  61               ft_params =
  62               [{ fp_pos = [9:35-40]; fp_name = (Some "$arg1");
  63                  fp_type =
  64                  { et_enforced = false;
  65                    et_type =
  66                    (Rhint (root|tuples.php line 9, characters 24-33),
  67                     (Tapply (([9:24-34], "\\Coordinate"), [])))
  68                    };
  69                  fp_flags =
  70                  (make_fp_flags ~accept_disposable:false ~has_default:false
  71                    ~mode:Typing_defs_core.FPnormal ~ifc_external:false
  72                    ~ifc_can_call:false ~is_atom:false ~readonly:false
  73                    ~const_function:false);
  74                   }
  75                 ];
  76               ft_implicit_params = { capability = (CapDefaults [9:10-23]) };
  77               ft_ret =
  78               { et_enforced = false;
  79                 et_type =
  80                 (Rhint (root|tuples.php line 9, characters 43-56),
  81                  (Ttuple
  82                     [(Rhint (root|tuples.php line 9, characters 44-48),
  83                       (Tprim Tfloat));
  84                       (Rhint (root|tuples.php line 9, characters 51-55),
  85                        (Tprim Tfloat))
  86                       ]))
  87                 };
  88               ft_flags =
  89               (make_ft_flags FSync ~return_disposable:false
  90                 ~returns_readonly:false ~readonly_this:false ~is_const:false);
  91               ft_ifc_decl = FDPolicied {PUBLIC} }));
  92         fe_pos = [9:10-23]; fe_php_std_lib = false }));
  93   ("\\generic_tuple",
  94    (Shallow_decl_defs.Fun
  95       { Typing_defs.fe_deprecated = None;
  96         fe_type =
  97         (Rwitness (root|tuples.php line 13, characters 10-22),
  98          (Tfun
  99             { ft_arity = (Fstandard ());
 100               ft_tparams =
 101               [{ Typing_defs_core.tp_variance = Invariant;
 102                  tp_name = ([13:24-25], "T"); tp_tparams = [];
 103                  tp_constraints = []; tp_reified = Erased;
 104                  tp_user_attributes = [] }
 105                 ];
 106               ft_where_constraints = [];
 107               ft_params =
 108               [{ fp_pos = [13:34-39]; fp_name = (Some "$arg1");
 109                  fp_type =
 110                  { et_enforced = false;
 111                    et_type =
 112                    (Rhint (root|tuples.php line 13, characters 27-32),
 113                     (Ttuple
 114                        [(Rhint (root|tuples.php line 13, characters 28-28),
 115                          (Tgeneric ("T", [])));
 116                          (Rhint (root|tuples.php line 13, characters 31-31),
 117                           (Tgeneric ("T", [])))
 118                          ]))
 119                    };
 120                  fp_flags =
 121                  (make_fp_flags ~accept_disposable:false ~has_default:false
 122                    ~mode:Typing_defs_core.FPnormal ~ifc_external:false
 123                    ~ifc_can_call:false ~is_atom:false ~readonly:false
 124                    ~const_function:false);
 125                   }
 126                 ];
 127               ft_implicit_params = { capability = (CapDefaults [13:10-23]) };
 128               ft_ret =
 129               { et_enforced = false;
 130                 et_type =
 131                 (Rhint (root|tuples.php line 13, characters 42-47),
 132                  (Ttuple
 133                     [(Rhint (root|tuples.php line 13, characters 43-43),
 134                       (Tgeneric ("T", [])));
 135                       (Rhint (root|tuples.php line 13, characters 46-46),
 136                        (Tgeneric ("T", [])))
 137                       ]))
 138                 };
 139               ft_flags =
 140               (make_ft_flags FSync ~return_disposable:false
 141                 ~returns_readonly:false ~readonly_this:false ~is_const:false);
 142               ft_ifc_decl = FDPolicied {PUBLIC} }));
 143         fe_pos = [13:10-23]; fe_php_std_lib = false }))
 144   ]
 145
 146 They matched!