carbon-language/carbon-lang
1
0
Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-10-04 22:02:52 +01:00
Code Issues Packages Projects Releases 10 Wiki Activity

Implement support for extends and impl as declarations in interfaces (#2279)

Browse Source
This commit is contained in:
Richard Smith
2022-10-12 17:13:25 -07:00
committed by GitHub
parent 55e124a667
commit 7f7b9a4086
21 changed files with 431 additions and 52 deletions
Download Patch File Download Diff File Expand all files Collapse all files
explorer/ast/declaration.cpp
+18 -1
View File
@@ -91,10 +91,13 @@ void Declaration::Print(llvm::raw_ostream& out) const {
break;
}
case DeclarationKind::AssociatedConstantDeclaration:
case DeclarationKind::InterfaceExtendsDeclaration:
case DeclarationKind::InterfaceImplDeclaration:
case DeclarationKind::AssociatedConstantDeclaration: {
PrintID(out);
out << ";\n";
break;
}
case DeclarationKind::SelfDeclaration: {
out << "Self";
@@ -165,6 +168,18 @@ void Declaration::PrintID(llvm::raw_ostream& out) const {
break;
}
case DeclarationKind::InterfaceExtendsDeclaration: {
const auto& extends = cast<InterfaceExtendsDeclaration>(*this);
out << "extends " << *extends.base();
break;
}
case DeclarationKind::InterfaceImplDeclaration: {
const auto& impl = cast<InterfaceImplDeclaration>(*this);
out << "impl " << *impl.impl_type() << " as " << *impl.constraint();
break;
}
case DeclarationKind::AssociatedConstantDeclaration: {
const auto& let = cast<AssociatedConstantDeclaration>(*this);
out << "let " << let.binding();
@@ -207,6 +222,8 @@ auto GetName(const Declaration& declaration)
return cast<VariableDeclaration>(declaration).binding().name();
case DeclarationKind::AssociatedConstantDeclaration:
return cast<AssociatedConstantDeclaration>(declaration).binding().name();
case DeclarationKind::InterfaceExtendsDeclaration:
case DeclarationKind::InterfaceImplDeclaration:
case DeclarationKind::ImplDeclaration:
return std::nullopt;
case DeclarationKind::SelfDeclaration: