@@ -308,14 +308,13 @@ impl<let NumBytes: u32, let NumPackedFields: u32, let MaxNumTokens: u32, let Max
308
308
// See comments in token_flags.nr for more details
309
309
// 13 gates
310
310
let TokenFlags {
311
- create_json_entry ,
312
- is_end_of_object_or_array ,
313
- is_start_of_object_or_array ,
314
- new_context ,
315
- is_key_token ,
316
- is_value_token ,
317
- preserve_num_entries ,
318
- } = TokenFlags ::from_field (
311
+ create_json_entry ,
312
+ is_end_of_object_or_array ,
313
+ is_start_of_object_or_array ,
314
+ new_context ,
315
+ is_key_token ,
316
+ is_value_token ,
317
+ preserve_num_entries ,} = TokenFlags ::from_field (
319
318
TOKEN_FLAGS_TABLE [cast_num_to_u32 (token ) + context * NUM_TOKENS ],
320
319
);
321
320
@@ -551,12 +550,8 @@ impl<let NumBytes: u32, let NumPackedFields: u32, let MaxNumTokens: u32, let Max
551
550
552
551
let encoded_ascii =
553
552
previous_was_potential_escape_sequence * 1024 + scan_mode * 256 + ascii as Field ;
554
- let ScanData {
555
- scan_token ,
556
- push_transcript ,
557
- increase_length ,
558
- is_potential_escape_sequence ,
559
- } = ScanData ::from_field (JSON_CAPTURE_TABLE [cast_num_to_u32 (encoded_ascii )]);
553
+ let ScanData { scan_token , push_transcript , increase_length , is_potential_escape_sequence } =
554
+ ScanData ::from_field (JSON_CAPTURE_TABLE [cast_num_to_u32 (encoded_ascii )]);
560
555
let mut push_transcript = push_transcript ;
561
556
let mut scan_token = scan_token ;
562
557
let mut increase_length = increase_length ;
@@ -635,12 +630,8 @@ impl<let NumBytes: u32, let NumPackedFields: u32, let MaxNumTokens: u32, let Max
635
630
// 2 gates
636
631
let capture_flags = JSON_CAPTURE_TABLE [cast_num_to_u32 (encoded_ascii )];
637
632
// 5 gates
638
- let ScanData {
639
- scan_token ,
640
- push_transcript ,
641
- increase_length ,
642
- is_potential_escape_sequence ,
643
- } = ScanData ::from_field (capture_flags );
633
+ let ScanData { scan_token , push_transcript , increase_length , is_potential_escape_sequence } =
634
+ ScanData ::from_field (capture_flags );
644
635
645
636
// 2 gates
646
637
let raw : Field = raw_transcript [cast_num_to_u32 (transcript_ptr )];
0 commit comments