Commit 44e6b19
committed
Rename checking2 directories to checking
1 parent fce3359 commit 44e6b19
File tree
632 files changed
+0
-0
lines changed- compiler-core/checking
- src
- core
- constraint
- compiler
- elaborate
- exhaustive
- source
- derive
- terms
- types
- tests-integration
- fixtures/checking
- 001_foreign_check
- 002_foreign_recursive
- 003_data_check
- 004_data_infer
- 005_newtype_check
- 006_newtype_infer
- 007_synonym_check
- 008_synonym_infer
- 009_class_check
- 010_class_infer
- 011_class_superclass
- 012_class_polykind_check
- 013_class_polykind_infer
- 014_operator_alias_kind
- 015_operator_alias_invalid_kind
- 016_type_operator_chain_infer
- 017_type_operator_chain_check
- 018_type_operator_chain_polykind
- 019_type_operator_chain_precedence
- 020_type_operator_chain_kind_error
- 021_role_inference_phantom
- 022_role_inference_representational
- 023_role_inference_nominal_parametric
- 024_role_declaration_strengthen
- 025_role_declaration_loosen_error
- 026_role_declaration_foreign
- 027_foreign_check
- 028_value_check
- 029_operator_check
- 030_exhaustive_case_infer
- 031_exhaustive_case_redundant
- 032_exhaustive_equation_signature
- 033_exhaustive_guards_otherwise
- 034_exhaustive_let_pattern
- 035_exhaustive_operator_constructor
- 036_synonym_partial_defer
- 037_value_recursive_check
- 038_value_recursive_infer
- 039_value_mutual_check
- 040_value_mutual_infer
- 041_data_mutual_check
- 042_data_mutual_infer
- 043_instance_check
- 044_instance_constraint_solving
- 045_instance_functional_dependency
- 046_instance_given_constraint
- 047_instance_constraint_generalization
- 048_instance_superclass_elaboration
- 049_given_constraint_check
- 050_given_constraint_let_check
- 051_given_constraint_operator_check
- 052_prim_int
- 053_prim_int_compare_transitive
- 054_prim_symbol
- 055_prim_solver_apart
- 056_prim_row_list
- 057_prim_row
- 058_prim_row_apart
- 059_prim_row_open
- 060_prim_row_generalization
- 061_prim_row_nub_left_bias
- 062_prim_row_record
- 063_prim_reflectable
- 064_prim_type_error_warn
- 065_prim_type_error_fail
- 066_compiler_solved_superclass_given
- 067_compiler_solved_superclass_minimisation
- 068_prim_coercible_reflexivity
- 069_prim_coercible_newtype
- 070_prim_coercible_roles
- 071_prim_coercible_apart
- 073_prim_coercible_higher_kinded
- 074_prim_coercible_transitivity
- 075_prim_coercible_given_symmetry
- 076_instance_member_functor
- 077_instance_member_signature_head_variable
- 078_instance_member_missing_constraint
- 079_instance_member_signature_mismatch
- 080_instance_member_higher_kinded
- 081_instance_member_too_many_binders
- 082_derive_pipeline_smoke
- 083_derive_eq_simple
- 084_derive_eq_parameterized
- 085_derive_eq_missing_instance
- 086_derive_ord_simple
- 087_derive_ord_1_higher_kinded
- 088_derive_eq_1
- 089_derive_ord_1
- 090_derive_functor_simple
- 091_derive_functor_contravariant_error
- 092_derive_functor_insufficient_params
- 093_derive_bifunctor_simple
- 094_derive_bifunctor_missing_functor
- 095_derive_bifunctor_insufficient_params
- 096_derive_contravariant_simple
- 097_derive_contravariant_error
- 098_derive_profunctor_simple
- 099_derive_profunctor_error
- 100_derive_foldable_simple
- 101_derive_foldable_higher_kinded
- 102_derive_bifoldable_simple
- 103_derive_bifoldable_higher_kinded
- 104_derive_traversable_simple
- 105_derive_traversable_higher_kinded
- 106_derive_traversable_missing_superclass
- 107_derive_bitraversable_simple
- 108_derive_bitraversable_higher_kinded
- 109_derive_newtype_simple
- 110_derive_newtype_parameterized
- 111_derive_newtype_not_newtype
- 112_derive_newtype_class_simple
- 113_derive_newtype_class_parameterized
- 114_derive_newtype_class_not_newtype
- 115_derive_generic_simple
- 116_derive_eq_mutual_visibility_same_module
- 117_derive_newtype_class_coercible
- 118_derive_newtype_with_given
- 119_derive_newtype_missing_instance
- 120_derive_newtype_missing_given
- 121_derive_newtype_multi_param
- 122_derive_newtype_higher_kinded
- 123_derive_newtype_function
- 124_derive_newtype_synonym_inner
- 125_derive_eq_1_higher_kinded
- 126_derive_eq_partial
- 127_derive_eq_ord_nested_higher_kinded
- 128_derive_functor_higher_kinded
- 129_derive_bifunctor_higher_kinded
- 130_givens_retained
- 131_givens_scoped
- 132_let_constraint_scoping
- 133_row_open_union
- 134_row_open_cons
- 135_row_open_lacks
- 136_row_open_record
- 137_type_operator_synonym_expansion
- 138_synonym_kind_application
- 139_synonym_operator_alias
- 140_const_equation_forms
- 141_const_forms_synonym_arrow
- 142_const_forms_synonym_forall
- 143_const_forms_fn_alias
- 144_signature_synonym_data_equation
- 145_signature_synonym_class_equation
- 146_signature_synonym_type_equation
- 147_synonym_oversaturation_equations
- 148_class_member_prenex
- 149_synonym_oversaturation_kind
- 150_derive_generic_insufficient_params
- 151_derive_generic_not_constructor
- 152_derive_generic_missing_rep
- 153_do_discard
- 154_do_bind
- 155_ado_discard
- 156_ado_bind
- 157_do_polymorphic
- 158_ado_polymorphic
- 159_do_empty_block
- 160_ado_empty_block
- 161_do_ado_constrained
- 162_do_let_premature_solve
- 163_do_let_annotation_solve
- 164_ado_let_premature_solve
- 165_ado_let_annotation_solve
- 166_do_bind_only
- 167_do_final_bind
- 168_do_final_let
- 169_exhaustive_multiple
- 170_exhaustive_tuple
- 171_exhaustive_equation_redundant
- 172_exhaustive_equation_guarded
- 173_exhaustive_let_equation
- 174_exhaustive_instance_equation
- 175_exhaustive_record
- 176_exhaustive_array
- 177_exhaustive_guards_otherwise_true
- 178_application_infix_chain
- 179_application_function_subtype
- 180_application_function_decomposition
- 181_type_application_invalid_basic
- 182_type_application_invalid_too_many
- 183_record_expression_exact
- 184_record_expression_missing_field
- 185_record_expression_additional_field
- 186_record_expression_missing_and_additional
- 187_record_expression_nested_additional
- 188_record_access_sections
- 189_record_update_sections
- 190_record_binder_shrinking
- 191_record_binder_additional_property
- 192_record_binder_additional_property_nested
- 193_givens_matching
- 194_givens_functional_dependency
- 195_givens_superclass_where_binding
- 196_instance_record_matching
- 197_instance_record_open_row
- 198_instance_head_invalid_row
- 199_instance_kind_application_matching
- 200_instance_bound_variable_unification
- 201_synonym_function_result_kind
- 202_synonym_forall_expansion
- 203_binder_instantiation
- 204_coercible_phantom
- 205_coercible_representational
- 206_coercible_array
- 207_coercible_record
- 208_coercible_transitivity
- 209_coercible_different_heads_error
- 210_coercible_nominal
- 212_coercible_newtype_qualified
- 214_coercible_nested_records
- 215_coercible_higher_kinded_error
- 216_coercible_higher_kinded_multi
- 217_coercible_higher_kinded_polykinded
- 218_coercible_function_decomposition
- 219_derive_newtype_not_constructor
- 220_derive_newtype_class_not_constructor
- 222_derive_newtype_not_local
- 223_derive_newtype_class_not_local
- 224_derive_newtype_insufficient_params
- 225_derive_newtype_class_insufficient_params
- 226_equation_synonym_expansion
- 227_derive_newtype_invalid_skolem_layout
- 228_instance_implicit_variable_freshening
- 229_type_operator_synonym_partial_arguments
- 230_type_synonym_higher_order
- 231_type_synonym_higher_order_operator
- 232_category_identity_operator_alias
- 233_operator_alias_kind_application
- 234_instance_function_unification
- 235_derive_eq_ord_1_kind_arguments
- 236_exhaustive_missing_patterns
- 237_exhaustive_unsafe_partial
- 238_visible_type_application_value
- 239_visible_type_application_data_newtype
- 240_visible_type_application_class
- 241_visible_type_application_tuple
- 242_visible_type_application_either
- 243_visible_type_application_error
- 244_record_quoted_label
- 245_record_field_instantiation
- 246_data_argument_kind_applications
- 247_instance_kind_substitution
- 248_prim_row_cons_tail_synonym
- 249_prim_int_given_improvement
- 250_given_deep_name_improvement
- 251_prim_row_nub_union_class_constraint
- 252_forall_row_field
- 253_kind_applied_reference_double_application
- 254_given_synonym_expansion
- 255_section_rule_progress
- 256_record_field_polymorphic
- 257_operator_result_ordering
- 258_self_recursive_through_operator
- 261_instance_chain_stuck_matching
- 262_given_stuck_match_collapse
- 263_let_binding_ambiguous_constraint
- prelude
- tests
- checking
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
632 files changed
+0
-0
lines changedFile renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
0 commit comments