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_rx_annotation = None;
  35                  fp_flags =
  36                  (make_fp_flags ~mutability:None ~accept_disposable:false
  37                    ~has_default:false ~mode:Typing_defs_core.FPnormal
  38                    ~ifc_external:false ~ifc_can_call:false ~is_atom:false);
  39                   }
  40                 ];
  41               ft_implicit_params =
  42               { capability =
  43                 (Rhint (root|tuples.php line 5, characters 10-20),
  44                  (Tunion []))
  45                 };
  46               ft_ret =
  47               { et_enforced = false;
  48                 et_type =
  49                 (Rhint (root|tuples.php line 5, characters 45-54),
  50                  (Tapply (([5:45-55], "\\Coordinate"), [])))
  51                 };
  52               ft_flags =
  53               (make_ft_flags FSync None ~return_disposable:false
  54                 ~returns_mutable:false ~returns_void_to_rx:false);
  55               ft_reactive = Nonreactive; ft_ifc_decl = FDPolicied {PUBLIC} }));
  56         fe_pos = [5:10-21]; fe_php_std_lib = false }));
  57   ("\\returns_tuple",
  58    (Shallow_decl_defs.Fun
  59       { Typing_defs.fe_deprecated = None;
  60         fe_type =
  61         (Rwitness (root|tuples.php line 9, characters 10-22),
  62          (Tfun
  63             { ft_arity = (Fstandard ()); ft_tparams = [];
  64               ft_where_constraints = [];
  65               ft_params =
  66               [{ fp_pos = [9:35-40]; fp_name = (Some "$arg1");
  67                  fp_type =
  68                  { et_enforced = false;
  69                    et_type =
  70                    (Rhint (root|tuples.php line 9, characters 24-33),
  71                     (Tapply (([9:24-34], "\\Coordinate"), [])))
  72                    };
  73                  fp_rx_annotation = None;
  74                  fp_flags =
  75                  (make_fp_flags ~mutability:None ~accept_disposable:false
  76                    ~has_default:false ~mode:Typing_defs_core.FPnormal
  77                    ~ifc_external:false ~ifc_can_call:false ~is_atom:false);
  78                   }
  79                 ];
  80               ft_implicit_params =
  81               { capability =
  82                 (Rhint (root|tuples.php line 9, characters 10-22),
  83                  (Tunion []))
  84                 };
  85               ft_ret =
  86               { et_enforced = false;
  87                 et_type =
  88                 (Rhint (root|tuples.php line 9, characters 43-56),
  89                  (Ttuple
  90                     [(Rhint (root|tuples.php line 9, characters 44-48),
  91                       (Tprim Tfloat));
  92                       (Rhint (root|tuples.php line 9, characters 51-55),
  93                        (Tprim Tfloat))
  94                       ]))
  95                 };
  96               ft_flags =
  97               (make_ft_flags FSync None ~return_disposable:false
  98                 ~returns_mutable:false ~returns_void_to_rx:false);
  99               ft_reactive = Nonreactive; ft_ifc_decl = FDPolicied {PUBLIC} }));
 100         fe_pos = [9:10-23]; fe_php_std_lib = false }));
 101   ("\\generic_tuple",
 102    (Shallow_decl_defs.Fun
 103       { Typing_defs.fe_deprecated = None;
 104         fe_type =
 105         (Rwitness (root|tuples.php line 13, characters 10-22),
 106          (Tfun
 107             { ft_arity = (Fstandard ());
 108               ft_tparams =
 109               [{ Typing_defs_core.tp_variance = Invariant;
 110                  tp_name = ([13:24-25], "T"); tp_tparams = [];
 111                  tp_constraints = []; tp_reified = Erased;
 112                  tp_user_attributes = [] }
 113                 ];
 114               ft_where_constraints = [];
 115               ft_params =
 116               [{ fp_pos = [13:34-39]; fp_name = (Some "$arg1");
 117                  fp_type =
 118                  { et_enforced = false;
 119                    et_type =
 120                    (Rhint (root|tuples.php line 13, characters 27-32),
 121                     (Ttuple
 122                        [(Rhint (root|tuples.php line 13, characters 28-28),
 123                          (Tgeneric ("T", [])));
 124                          (Rhint (root|tuples.php line 13, characters 31-31),
 125                           (Tgeneric ("T", [])))
 126                          ]))
 127                    };
 128                  fp_rx_annotation = None;
 129                  fp_flags =
 130                  (make_fp_flags ~mutability:None ~accept_disposable:false
 131                    ~has_default:false ~mode:Typing_defs_core.FPnormal
 132                    ~ifc_external:false ~ifc_can_call:false ~is_atom:false);
 133                   }
 134                 ];
 135               ft_implicit_params =
 136               { capability =
 137                 (Rhint (root|tuples.php line 13, characters 10-22),
 138                  (Tunion []))
 139                 };
 140               ft_ret =
 141               { et_enforced = false;
 142                 et_type =
 143                 (Rhint (root|tuples.php line 13, characters 42-47),
 144                  (Ttuple
 145                     [(Rhint (root|tuples.php line 13, characters 43-43),
 146                       (Tgeneric ("T", [])));
 147                       (Rhint (root|tuples.php line 13, characters 46-46),
 148                        (Tgeneric ("T", [])))
 149                       ]))
 150                 };
 151               ft_flags =
 152               (make_ft_flags FSync None ~return_disposable:false
 153                 ~returns_mutable:false ~returns_void_to_rx:false);
 154               ft_reactive = Nonreactive; ft_ifc_decl = FDPolicied {PUBLIC} }));
 155         fe_pos = [13:10-23]; fe_php_std_lib = false }))
 156   ]
 157
 158 They matched!