Skip to content

Commit a17e46b

Browse files
committed
Fold for new constructor nodes
1 parent 485b621 commit a17e46b

File tree

2 files changed

+2402
-941
lines changed

2 files changed

+2402
-941
lines changed

ast/asdl_rs.py

Lines changed: 83 additions & 36 deletions
Original file line numberDiff line numberDiff line change
@@ -546,17 +546,32 @@ def visitType(self, type, depth):
546546
self.emit(f"fold_{name}(self, node)", depth + 1)
547547
self.emit("}", depth)
548548

549+
if isinstance(type.value, asdl.Sum) and not is_simple(type.value):
550+
for cons in type.value.types:
551+
self.visit(cons, type, depth)
552+
553+
def visitConstructor(self, cons, type, depth):
554+
apply_u, apply_target_u = self.apply_generics(type.name, "U", "Self::TargetU")
555+
enum_name = rust_type_name(type.name)
556+
func_name = f"fold_{type.name}_{rust_field_name(cons.name)}"
557+
self.emit(
558+
f"fn {func_name}(&mut self, node: {enum_name}{cons.name}{apply_u}) -> Result<{enum_name}{cons.name}{apply_target_u}, Self::Error> {{",
559+
depth,
560+
)
561+
self.emit(f"{func_name}(self, node)", depth + 1)
562+
self.emit("}", depth)
563+
549564

550565
class FoldImplVisitor(EmitVisitor):
551566
def visitModule(self, mod, depth):
552567
for dfn in mod.dfns:
553568
self.visit(dfn, depth)
554569

555570
def visitType(self, type, depth=0):
556-
self.visit(type.value, type.name, depth)
571+
self.visit(type.value, type, depth)
557572

558-
def visitSum(self, sum, name, depth):
559-
type_info = self.type_info[name]
573+
def visitSum(self, sum, type, depth):
574+
name = type.name
560575
apply_t, apply_u, apply_target_u = self.apply_generics(
561576
name, "T", "U", "F::TargetU"
562577
)
@@ -582,34 +597,69 @@ def visitSum(self, sum, name, depth):
582597
self.emit("Ok(node) }", depth + 1)
583598
return
584599

585-
self.emit("match node {", depth + 1)
600+
self.emit("let folded = match node {", depth + 1)
586601
for cons in sum.types:
587-
fields_pattern = self.make_pattern(enum_name, cons.name, cons.fields)
588602
self.emit(
589-
f"{fields_pattern[0]} {{ {fields_pattern[1]}}} {fields_pattern[2]} => {{",
590-
depth + 2,
603+
f"{enum_name}::{cons.name}(cons) => {enum_name}::{cons.name}(Foldable::fold(cons, folder)?),",
604+
depth + 1,
591605
)
592606

593-
map_user_suffix = "" if type_info.has_attributes else "_cfg"
594-
self.emit(
595-
f"let context = folder.will_map_user{map_user_suffix}(&range);",
596-
depth + 3,
597-
)
598-
self.fold_fields(
599-
fields_pattern[0], cons.fields, fields_pattern[2], depth + 3
600-
)
601-
self.emit(
602-
f"let range = folder.map_user{map_user_suffix}(range, context)?;",
603-
depth + 3,
604-
)
605-
self.composite_fields(
606-
fields_pattern[0], cons.fields, fields_pattern[2], depth + 3
607-
)
608-
self.emit("}", depth + 2)
607+
self.emit("};", depth + 1)
608+
self.emit("Ok(folded)", depth + 1)
609+
self.emit("}", depth)
610+
611+
for cons in sum.types:
612+
self.visit(cons, type, depth)
613+
614+
def visitConstructor(self, cons, type, depth):
615+
apply_t, apply_u, apply_target_u = self.apply_generics(
616+
type.name, "T", "U", "F::TargetU"
617+
)
618+
enum_name = rust_type_name(type.name)
619+
620+
cons_type_name = f"{enum_name}{cons.name}"
621+
622+
self.emit(
623+
f"impl<T, U> Foldable<T, U> for {cons_type_name}{apply_t} {{", depth
624+
)
625+
self.emit(f"type Mapped = {cons_type_name}{apply_u};", depth + 1)
626+
self.emit(
627+
"fn fold<F: Fold<T, TargetU = U> + ?Sized>(self, folder: &mut F) -> Result<Self::Mapped, F::Error> {",
628+
depth + 1,
629+
)
630+
self.emit(
631+
f"folder.fold_{type.name}_{rust_field_name(cons.name)}(self)", depth + 2
632+
)
609633
self.emit("}", depth + 1)
610634
self.emit("}", depth)
611635

612-
def visitProduct(self, product, name, depth):
636+
self.emit(
637+
f"pub fn fold_{type.name}_{rust_field_name(cons.name)}<U, F: Fold<U> + ?Sized>(#[allow(unused)] folder: &mut F, node: {cons_type_name}{apply_u}) -> Result<{enum_name}{cons.name}{apply_target_u}, F::Error> {{",
638+
depth,
639+
)
640+
641+
type_info = self.type_info[type.name]
642+
643+
fields_pattern = self.make_pattern(cons.fields)
644+
645+
map_user_suffix = "" if type_info.has_attributes else "_cfg"
646+
self.emit(
647+
f"""
648+
let {cons_type_name} {{ {fields_pattern} }} = node;
649+
let context = folder.will_map_user{map_user_suffix}(&range);
650+
""",
651+
depth + 3,
652+
)
653+
self.fold_fields(cons.fields, depth + 3)
654+
self.emit(
655+
f"let range = folder.map_user{map_user_suffix}(range, context)?;",
656+
depth + 3,
657+
)
658+
self.composite_fields(f"{cons_type_name}", cons.fields, depth + 3)
659+
self.emit("}", depth + 2)
660+
661+
def visitProduct(self, product, type, depth):
662+
name = type.name
613663
apply_t, apply_u, apply_target_u = self.apply_generics(
614664
name, "T", "U", "F::TargetU"
615665
)
@@ -631,45 +681,42 @@ def visitProduct(self, product, name, depth):
631681
depth,
632682
)
633683

634-
fields_pattern = self.make_pattern(struct_name, struct_name, product.fields)
635-
self.emit(f"let {struct_name} {{ {fields_pattern[1]} }} = node;", depth + 1)
684+
fields_pattern = self.make_pattern(product.fields)
685+
self.emit(f"let {struct_name} {{ {fields_pattern} }} = node;", depth + 1)
636686

637687
map_user_suffix = "" if has_attributes else "_cfg"
638688

639689
self.emit(
640690
f"let context = folder.will_map_user{map_user_suffix}(&range);", depth + 3
641691
)
642-
self.fold_fields(struct_name, product.fields, "", depth + 1)
692+
self.fold_fields(product.fields, depth + 1)
643693
self.emit(
644694
f"let range = folder.map_user{map_user_suffix}(range, context)?;", depth + 3
645695
)
646-
self.composite_fields(struct_name, product.fields, "", depth + 1)
696+
self.composite_fields(struct_name, product.fields, depth + 1)
647697

648698
self.emit("}", depth)
649699

650-
def make_pattern(self, rust_name, fieldname: str, fields):
651-
header = f"{rust_name}::{fieldname}({rust_name}{fieldname}"
652-
footer = ")"
653-
700+
def make_pattern(self, fields):
654701
body = ",".join(rust_field(f.name) for f in fields)
655702
if body:
656703
body += ","
657704
body += "range"
658705

659-
return header, body, footer
706+
return body
660707

661-
def fold_fields(self, header, fields, footer, depth):
708+
def fold_fields(self, fields, depth):
662709
for field in fields:
663710
name = rust_field(field.name)
664711
self.emit(f"let {name} = Foldable::fold({name}, folder)?;", depth + 1)
665712

666-
def composite_fields(self, header, fields, footer, depth):
713+
def composite_fields(self, header, fields, depth):
667714
self.emit(f"Ok({header} {{", depth)
668715
for field in fields:
669716
name = rust_field(field.name)
670717
self.emit(f"{name},", depth + 1)
671718
self.emit("range,", depth + 1)
672-
self.emit(f"}}{footer})", depth)
719+
self.emit(f"}})", depth)
673720

674721

675722
class FoldModuleVisitor(EmitVisitor):

0 commit comments

Comments
 (0)