index
:
moon/zygotec
main
work/b213
work/bench
work/defer
work/prover
work/uninit-locals
work-in-progress programming language.
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
conformance
/
2-types
Mode
Name
Size
-rw-r--r--
alias_pointer_to_array.zc
265
log
plain
blame
-rw-r--r--
alias_simple.zc
147
log
plain
blame
-rw-r--r--
array_assign_whole.zc
109
log
plain
blame
-rw-r--r--
array_assign_whole_field.zc
197
log
plain
blame
-rw-r--r--
array_const_index_negative.zc
135
log
plain
blame
-rw-r--r--
array_const_index_out_of_range.zc
117
log
plain
blame
-rw-r--r--
array_init_bytes_string.zc
185
log
plain
blame
-rw-r--r--
array_init_compound_literal.zc
173
log
plain
blame
-rw-r--r--
array_init_designator.zc
168
log
plain
blame
-rw-r--r--
array_init_negative_designator.zc
90
log
plain
blame
-rw-r--r--
array_init_nested.zc
202
log
plain
blame
-rw-r--r--
array_init_short.zc
189
log
plain
blame
-rw-r--r--
array_init_string.zc
180
log
plain
blame
-rw-r--r--
array_init_too_many.zc
116
log
plain
blame
-rw-r--r--
array_of_arrays.zc
248
log
plain
blame
-rw-r--r--
array_param_decays.zc
197
log
plain
blame
-rw-r--r--
array_unsized_from_init.zc
178
log
plain
blame
-rw-r--r--
array_unsized_needs_init.zc
109
log
plain
blame
-rw-r--r--
array_value_is_address.zc
172
log
plain
blame
-rw-r--r--
bool_normalises.zc
329
log
plain
blame
-rw-r--r--
cast_to_sized.zc
179
log
plain
blame
-rw-r--r--
closure_result_type_coerces.zc
155
log
plain
blame
-rw-r--r--
const_array_read_and_copy.zc
176
log
plain
blame
-rw-r--r--
const_array_write.zc
124
log
plain
blame
-rw-r--r--
const_compound_assign.zc
125
log
plain
blame
-rw-r--r--
const_fixed_order.zc
164
log
plain
blame
-rw-r--r--
const_fixed_order_2.zc
130
log
plain
blame
-rw-r--r--
const_increment.zc
122
log
plain
blame
-rw-r--r--
const_local_assign.zc
106
log
plain
blame
-rw-r--r--
const_local_constant.zc
133
log
plain
blame
-rw-r--r--
const_local_needs_init.zc
91
log
plain
blame
-rw-r--r--
const_local_typed.zc
133
log
plain
blame
-rw-r--r--
const_pointer_element_write.zc
124
log
plain
blame
-rw-r--r--
const_pointer_write.zc
122
log
plain
blame
-rw-r--r--
const_to_mutable_no_typecheck.zc
150
log
plain
blame
-rw-r--r--
conv_argument_and_return.zc
274
log
plain
blame
-rw-r--r--
conv_assignment_to_float.zc
141
log
plain
blame
-rw-r--r--
conv_f32_rounds.zc
130
log
plain
blame
-rw-r--r--
conv_float_to_int_truncates.zc
162
log
plain
blame
-rw-r--r--
conv_int_to_float_initializer.zc
132
log
plain
blame
-rw-r--r--
conv_word_keeps_bits.zc
140
log
plain
blame
-rw-r--r--
dynarray_handle_layout.zc
293
log
plain
blame
-rw-r--r--
dynarray_new_n_zero_filled.zc
190
log
plain
blame
-rw-r--r--
dynarray_packed_elem_size_negated.zc
492
log
plain
blame
-rw-r--r--
enum_in_case_labels.zc
263
log
plain
blame
-rw-r--r--
enum_local.zc
151
log
plain
blame
-rw-r--r--
enum_names_earlier_enum.zc
156
log
plain
blame
-rw-r--r--
enum_names_own_member.zc
299
log
plain
blame
-rw-r--r--
enum_plain_values.zc
237
log
plain
blame
-rw-r--r--
enum_tagged_basic.zc
322
log
plain
blame
-rw-r--r--
enum_tagged_constructor_fields.zc
295
log
plain
blame
-rw-r--r--
enum_tagged_float_payload.zc
214
log
plain
blame
-rw-r--r--
enum_tagged_wrong_arg_count.zc
178
log
plain
blame
-rw-r--r--
enum_typecheck_enum_to_enum.zc
206
log
plain
blame
-rw-r--r--
enum_typecheck_enum_to_int.zc
189
log
plain
blame
-rw-r--r--
enum_typecheck_int_to_enum.zc
146
log
plain
blame
-rw-r--r--
enum_unnamed.zc
140
log
plain
blame
-rw-r--r--
enum_value_const_expr.zc
175
log
plain
blame
-rw-r--r--
f32_rounds_on_store.zc
244
log
plain
blame
-rw-r--r--
fixed_array_n_is_array_n.zc
155
log
plain
blame
-rw-r--r--
fixed_cannot_grow.zc
145
log
plain
blame
-rw-r--r--
fixed_cannot_pop.zc
141
log
plain
blame
-rw-r--r--
fixed_cannot_resize.zc
147
log
plain
blame
-rw-r--r--
fixed_len_and_index.zc
189
log
plain
blame
-rw-r--r--
fixed_new_needs_length.zc
145
log
plain
blame
-rw-r--r--
fixed_to_plain_dyn_param.zc
213
log
plain
blame
-rw-r--r--
float_f64_same.zc
145
log
plain
blame
-rw-r--r--
float_truthy.zc
337
log
plain
blame
-rw-r--r--
float_truthy_operators.zc
322
log
plain
blame
-rw-r--r--
function_type_fn_word.zc
164
log
plain
blame
-rw-r--r--
function_type_param.zc
206
log
plain
blame
-rw-r--r--
function_type_var.zc
241
log
plain
blame
-rw-r--r--
function_value_and_let.zc
200
log
plain
blame
-rw-r--r--
function_value_closure_call.zc
169
log
plain
blame
-rw-r--r--
function_value_closure_typed.zc
163
log
plain
blame
-rw-r--r--
generic_fn_explicit.zc
189
log
plain
blame
-rw-r--r--
generic_fn_inferred.zc
247
log
plain
blame
-rw-r--r--
generic_fn_own_copy.zc
220
log
plain
blame
-rw-r--r--
generic_fn_return_unconfirmed.zc
100
log
plain
blame
-rw-r--r--
generic_fn_value_explicit.zc
172
log
plain
blame
-rw-r--r--
generic_struct_basic.zc
323
log
plain
blame
-rw-r--r--
generic_struct_nested_close.zc
252
log
plain
blame
-rw-r--r--
generic_struct_static_fn.zc
152
log
plain
blame
-rw-r--r--
generic_struct_unpacked_fields.zc
211
log
plain
blame
-rw-r--r--
int_sized_cut_more.zc
213
log
plain
blame
-rw-r--r--
int_sized_cut_store.zc
201
log
plain
blame
-rw-r--r--
int_sized_field.zc
220
log
plain
blame
-rw-r--r--
int_sized_param_return.zc
170
log
plain
blame
-rw-r--r--
no_long.zc
79
log
plain
blame
-rw-r--r--
no_u64.zc
78
log
plain
blame
-rw-r--r--
null_pointer.zc
162
log
plain
blame
-rw-r--r--
packed_bytes_in_word.zc
352
log
plain
blame
-rw-r--r--
packed_element_has_no_address.zc
131
log
plain
blame
-rw-r--r--
packed_read_back.zc
221
log
plain
blame
-rw-r--r--
packed_sizeof.zc
263
log
plain
blame
-rw-r--r--
plain_dyn_to_fixed_param.zc
215
log
plain
blame
-rw-r--r--
prefix_array_is_error.zc
108
log
plain
blame
-rw-r--r--
prefix_pointer_is_error.zc
91
log
plain
blame
-rw-r--r--
sizeof_bstr.zc
127
log
plain
blame
-rw-r--r--
sizeof_builtin.zc
381
log
plain
blame
-rw-r--r--
struct_arrow_same_as_dot.zc
201
log
plain
blame
-rw-r--r--
struct_contains_itself.zc
141
log
plain
blame
-rw-r--r--
struct_field_on_int_unique.zc
174
log
plain
blame
-rw-r--r--
struct_field_on_word_ambiguous.zc
171
log
plain
blame
-rw-r--r--
struct_field_on_word_unique.zc
192
log
plain
blame
-rw-r--r--
struct_layout_offsets.zc
230
log
plain
blame
-rw-r--r--
struct_layout_pack_rules.zc
318
log
plain
blame
-rw-r--r--
struct_layout_pix.zc
194
log
plain
blame
-rw-r--r--
struct_layout_words.zc
163
log
plain
blame
-rw-r--r--
struct_param_by_value.zc
153
log
plain
blame
-rw-r--r--
struct_value_is_address.zc
177
log
plain
blame
-rw-r--r--
tag_names_unreserved.zc
136
log
plain
blame
-rw-r--r--
tag_on_field.zc
88
log
plain
blame
-rw-r--r--
tag_on_global.zc
109
log
plain
blame
-rw-r--r--
type_hash_consed.zc
246
log
plain
blame
-rw-r--r--
typecheck_array_to_pointer_decay.zc
167
log
plain
blame
-rw-r--r--
typecheck_bstr_to_bstr.zc
151
log
plain
blame
-rw-r--r--
typecheck_bstr_to_int.zc
107
log
plain
blame
-rw-r--r--
typecheck_call_non_function.zc
103
log
plain
blame
-rw-r--r--
typecheck_compare_incompatible.zc
121
log
plain
blame
-rw-r--r--
typecheck_const_to_mutable.zc
154
log
plain
blame
-rw-r--r--
typecheck_default_off.zc
121
log
plain
blame
-rw-r--r--
typecheck_deref_non_pointer.zc
133
log
plain
blame
-rw-r--r--
typecheck_float_to_int_number.zc
143
log
plain
blame
-rw-r--r--
typecheck_generic_unify.zc
169
log
plain
blame
-rw-r--r--
typecheck_index_with_pointer.zc
114
log
plain
blame
-rw-r--r--
typecheck_number_kinds_convert.zc
234
log
plain
blame
-rw-r--r--
typecheck_off_argument_count.zc
136
log
plain
blame
-rw-r--r--
typecheck_off_field_on_int.zc
162
log
plain
blame
-rw-r--r--
typecheck_off_missing_field.zc
128
log
plain
blame
-rw-r--r--
typecheck_off_void_return_value_ok.zc
128
log
plain
blame
-rw-r--r--
typecheck_pointer_arithmetic_ok.zc
195
log
plain
blame
-rw-r--r--
typecheck_pointer_element_mismatch.zc
142
log
plain
blame
-rw-r--r--
typecheck_pointer_from_int.zc
129
log
plain
blame
-rw-r--r--
typecheck_pointer_plus_float.zc
120
log
plain
blame
-rw-r--r--
typecheck_pointer_times_number.zc
151
log
plain
blame
-rw-r--r--
typecheck_return_void_value.zc
144
log
plain
blame
-rw-r--r--
typecheck_string_to_word.zc
107
log
plain
blame
-rw-r--r--
typecheck_toggle_off.zc
185
log
plain
blame
-rw-r--r--
typecheck_word_compatible.zc
140
log
plain
blame
-rw-r--r--
typecheck_zero_to_pointer_function_dyn.zc
195
log
plain
blame
-rw-r--r--
void_pointer_compatible.zc
204
log
plain
blame
-rw-r--r--
void_variable.zc
88
log
plain
blame