/test/typecheck/pass/

• ../
• Replicate.sail
• Replicate
• add_real.sail
• add_vec_exts_no_annot.sail
• add_vec_exts_no_annot_overload.sail
• add_vec_lit.sail
• anon_rec.sail
• arm_FPEXC1.sail
• arm_types.sail
• as_pattern.sail
• assignment_simple.sail
• atomcase.sail
• bind_typ_var.sail
• bitfield_pc.sail
• bitvector_param.sail
• bitwise_not.sail
• bitwise_not_gen.sail
• bitwise_not_x3.sail
• bool_bits_mapping.sail
• bool_constraint.sail
• bool_constraint
• bv_simple_index_bit.sail
• case_simple1.sail
• case_simple2.sail
• cast_lexp1.sail
• cast_lexp2.sail
• cast_simple.sail
• commentfix.sail
• complex_exist_sat.sail
• complex_exist_sat
• cons_pattern.sail
• cons_pattern_synonym.sail
• constant_nexp.sail
• constant_nexp
• constrained_struct.sail
• constrained_struct
• constraint_ctor.sail
• constraint_ctor
• custom_flow.sail
• dec_prelude.sail
• decode_patterns.sail
• default_order.sail
• deinfix_plus.sail
• enum_cast.sail
• enum_map.sail
• enum_map
• ex_cast.sail
• execute_decode_hard.sail
• exint.sail
• exist1.sail
• exist2.sail
• exist_simple.sail
• exist_subrange.sail
• exist_synonym.sail
• exist_synonym
• exist_tlb.sail
• exist_true.sail
• existential_ast.sail
• existential_ast
• existential_ast2.sail
• existential_ast3.sail
• existential_ast3
• exit1.sail
• exit2.sail
• exit3.sail
• floor_pow2.sail
• flow_gt1.sail
• flow_gteq1.sail
• flow_lt1.sail
• flow_lt2.sail
• flow_lteq1.sail
• foreach_var_updates.sail
• fpthreesimp.sail
• function_namespace.sail
• function_namespace
• global_type_var.sail
• global_type_var
• guards.sail
• if_infer.sail
• if_infer
• if_return.sail
• if_var_updates.sail
• implicits.sail
• implicits
• inc_prelude.sail
• inline_typ.sail
• int_synonym.sail
• let_subtyp_bug.sail
• lexp_vec.sail
• lexp_vec
• list_cons.sail
• list_cons2.sail
• list_lit.sail
• lt_flow.sail
• mapping_rreg.sail
• modify_assignment1.sail
• modify_type_chain.sail
• mutrec.sail
• nat_set.sail
• new_bitfields.sail
• nexp_synonym.sail
• nexp_synonym
• nexp_synonym2.sail
• nlflow.sail
• nonexistent_pragma.sail
• not_pattern.sail
• not_pattern
• nzcv.sail
• option_either.sail
• option_tuple.sail
• overlap_field.sail
• overload_plus.sail
• pat_completeness.sail
• patternrefinement.sail
• phantom_num.sail
• plus_one_unify.sail
• poly_list.sail
• poly_vector.sail
• poly_vector
• pow_32_64.sail
• procstate1.sail
• pure_record.sail
• pure_record2.sail
• pure_record3.sail
• real.sail
• recursion.sail
• reg_32_64.sail
• reg_32_64
• reg_list.sail
• reg_mod.sail
• reg_option.sail
• reg_ref.sail
• repeat_constraint.sail
• repeat_constraint
• return_simple1.sail
• return_simple2.sail
• return_simple3.sail
• return_simple4.sail
• shadow_let.sail
• shadow_let
• short_circuit_bool_ex.sail
• short_circuit_bool_ex
• simple_record_access.sail
• simple_scattered.sail
• single_enum.sail
• single_union.sail
• tautology.sail
• true_false.sail
• type_pow_zero.sail
• tyvar_shadow.sail
• union_infer.sail
• union_recf_ok.sail
• varity.sail
• vec_length.sail
• vec_length
• vec_length_inc.sail
• vec_pat1.sail
• vector_access.sail
• vector_access_dec.sail
• vector_append.sail
• vector_append_gen.sail
• vector_subrange_gen.sail
• wf_specs.sail
• wf_specs
• while_MM.sail
• while_MP.sail
• while_PM.sail
• while_PP.sail
• zero_length_bv.sail