hphp/hack/src/typing/dune

   1 (library
   2   (name typing_defs)
   3   (wrapped false)
   4   (modules
   5     coverage_level_defs
   6     deferred_decl
   7     pp_type
   8     typing_defs
   9     typing_defs_core
  10     typing_defs_flags
  11     tanySentinel
  12     typing_reason)
  13   (libraries
  14     ast
  15     core_kernel
  16     heap_ident
  17     hh_autoimport
  18     ide_rpc_api_types
  19     nast
  20     pos
  21     relative_path
  22     utils_core)
  23   (preprocess (pps ppx_deriving.std)))
  24
  25 (library
  26   (name typing_heap)
  27   (wrapped false)
  28   (modules
  29     typing_classes_heap
  30     typing_heap
  31     typing_lazy_heap)
  32   (libraries
  33     core_kernel
  34     decl
  35     counters
  36     decl_ancestors
  37     decl_inheritance
  38     naming_provider
  39     shallow_decl_defs
  40     typing_defs)
  41   (preprocess (pps ppx_deriving.std))) ; See T41851208
  42
  43 (library
  44   (name tast)
  45   (wrapped false)
  46   (modules
  47     ide_tast_cache
  48     tast_env
  49     tast_expand
  50     tast_utils
  51     tast_visitor
  52     nast_visitor
  53     nast_check_env
  54     type_mapper
  55     type_parameter_env_ops
  56     type_validator
  57     typing_async
  58     typing_coercion
  59     typing_cont_key
  60     typing_continuations
  61     typing_deferred_members
  62     typing_dependent_type
  63     typing_enforceability
  64     typing_enum
  65     typing_env
  66     typing_env_from_def
  67     typing_env_return_info
  68     typing_env_types
  69     typing_equality_check
  70     typing_expand
  71     typing_fake_members
  72     typing_generic
  73     typing_generic_constraint
  74     typing_generic_rules
  75     typing_local_types
  76     typing_intersection
  77     typing_log
  78     typing_logic_helpers
  79     typing_mutability
  80     typing_object_get
  81     typing_ordered_solver
  82     typing_ops
  83     typing_per_cont_env
  84     typing_per_cont_ops
  85     typing_phase
  86     typing_pocket_universes
  87     typing_print
  88     typing_reactivity
  89     typing_solver
  90     typing_solver_utils
  91     typing_special_fun
  92     typing_substring
  93     typing_subtype
  94     typing_subtype_tconst
  95     typing_subtype_pocket_universes
  96     typing_taccess
  97     typing_tdef
  98     typing_unify
  99     typing_union
 100     typing_utils
 101     typing_variance
 102     typing_visibility
 103     typing_global_inference
 104     typing_xhp)
 105   (libraries
 106     common
 107     decl
 108     decl_provider
 109     hackfmt_doc
 110     hackfmt_env
 111     hackfmt
 112     logging
 113     naming_attributes
 114     naming
 115     symbol
 116     typechecker_options
 117     type_mapper_generic
 118     typing_ast
 119     typing_defs
 120     global_config)
 121   (preprocess (pps ppx_deriving.std)))
 122
 123 (library
 124   (name tast_type_collector)
 125   (wrapped false)
 126   (modules
 127     tast_type_collector)
 128   (libraries
 129     core_kernel
 130     full_fidelity
 131     tast)
 132   (preprocess (pps ppx_deriving.std)))
 133
 134 (library
 135   (name typing)
 136   (wrapped false)
 137   (modules
 138     nastCheck
 139     nastInitCheck
 140     typing
 141     typing_alias
 142     typing_ast_print
 143     typing_arithmetic
 144     typing_array_access
 145     typing_attributes
 146     typing_debug
 147     typing_disposable
 148     typing_extends
 149     typing_exts
 150     typing_func_terminality
 151     typing_helpers
 152     typing_inheritance
 153     typing_lenv
 154     typing_memoize
 155     typing_regex
 156     typing_requirements
 157     typing_return
 158     typing_sequencing
 159     typing_shapes
 160     typing_structure
 161     typing_toplevel
 162     typing_try)
 163   (libraries
 164     logging
 165     naming_special_names
 166     pcre
 167     procs_procs
 168     tast
 169     tast_check
 170     nast_check)
 171   (preprocess (pps ppx_deriving.std))) ; See T41851208
 172
 173 (library
 174   (name type_mapper_generic)
 175   (wrapped false)
 176   (modules
 177     type_mapper_generic)
 178   (libraries
 179     common
 180     core_kernel
 181     typing_defs)
 182   (preprocess (pps ppx_deriving.std)))
 183
 184 (library
 185   (name type_mapper_forget)
 186   (wrapped false)
 187   (modules
 188     type_mapper_forget)
 189   (libraries
 190     common
 191     core_kernel
 192     type_mapper_generic
 193     typing_defs)
 194   (preprocess (pps ppx_deriving.std)))
 195
 196 (library
 197   (name typing_ast)
 198   (wrapped false)
 199   (modules
 200     internal_type_set
 201     tast
 202     type_parameter_env
 203     typing_log_value
 204     typing_logic
 205     typing_mutability_env
 206     typing_set
 207     typing_inference_env
 208     typing_make_type
 209     typing_tyvar_occurrences
 210     type_visitor)
 211   (libraries
 212     annotated_ast
 213     ast
 214     common
 215     core_kernel
 216     errors
 217     naming_attributes
 218     nast
 219     type_mapper_forget
 220     typing_defs
 221     typechecker_options)
 222   (preprocess (pps ppx_deriving.std)))
 223
 224 (library
 225   (name coverage_level)
 226   (wrapped false)
 227   (modules
 228     coverage_level)
 229   (libraries
 230     core_kernel
 231     ide_rpc_api_types
 232     tast
 233     typing_defs)
 234   (preprocess (pps ppx_deriving.std))) ; See T41851208
 235
 236 (library
 237   (name typing_check)
 238   (wrapped false)
 239   (modules
 240     typing_check_service
 241     typing_check_utils)
 242   (libraries
 243     core_kernel
 244     decl_service
 245     errors
 246     file_info
 247     nast
 248     global_options
 249     heap_global_storage
 250     procs_bucket
 251     server_monitor
 252     counters
 253     typing
 254     typing_defs
 255     typing_service_api
 256     typing_service_api_stubs
 257     vfs_stubs)
 258   (preprocess (pps ppx_deriving.std))) ; See T41851208
 259
 260 (library
 261   (name tast_typecheck)
 262   (wrapped false)
 263   (modules
 264     delta
 265     tast_typecheck)
 266   (libraries
 267     core_kernel
 268     tast
 269     typing
 270     utils_core)
 271   (preprocess (pps ppx_deriving.std))) ; See T41851208
 272
 273 (library
 274   (name typing_symbol_info)
 275   (wrapped false)
 276   (modules
 277     typing_symbol_info_writer
 278     typing_symbol_json_builder)
 279   (libraries
 280     tast_provider
 281     typing
 282     typing_ast
 283     procs_procs
 284     server_services
 285     utils_core)
 286   (preprocess (pps ppx_deriving.std))) ; See T41851208