carbon-lang

carbon-lang copied to clipboard

out-of-line destructor syntax seems inconsistent with other declaration forms

4

Our syntax for an out-of-line definition of a destructor looks like this: ``` class C { destructor [self: Self]; } destructor C [self: Self] { } ``` In all other...

zygoloid

Capturing some notes from @chandlerc: > There are two steps here > 1) converting to a .o file > 2) linking together the .o files into an executable > for...

jonmeow

Support aliasing an interface method as a class member

3

### Description of the bug: This is the feature version of #2583 (now that the crash is fixed), to support aliasing an interface method as a class member. ### What...

jonmeow

Reimplement AutoPattern as an expression

1

Per discussion around #2783 and [on #syntax](https://discord.com/channels/655572317891461132/709488742942900284/1098318068725334066), there's a long-term desire to migrate AutoPattern away from being a pattern, and instead have it be an expression. This had come up...

jonmeow

tracking bug for known issues with the "strictly more complex" rule for impl termination

1

This issue tracks known cases where the termination rule for impl selection rejects code that would not encounter a cycle. At some point we will need to check whether the...

zygoloid

Create assignment order proposal

2

### Description of the bug: Question-for-leads issue #686 has a decision for how assignment works for classes by default. This decision should be implemented in a proposal (as noted at...

josh11b

should we support deduction from base classes?

5

### Summary of issue: Should Carbon's argument deduction be able to deduce from a base class of the type of the value we are matching against? ### Details: When deducing...

zygoloid

Algebraic Effect Handlers as a General Control flow mechanism

3

### Summary of issue: This is a language feature request. What are the opinions of the leads about having a general control flow mechanism that is extensible by users? Delimited...

TimWhiting

syntax for declaring global variables in a namespace

4

Currently, our variable syntax is: ``` let PATTERN = INIT; ``` for constants and ``` var PATTERN = INIT; ``` for mutable variables, and our syntax for declaring an entity...

zygoloid

Bison 3.3.2 dependency won't compile with `_FORTIFY_SOURCE=2`

6

### Description of the bug: I'm trying to build carbon with a more-or-less upstream Clang. The Bison dependency won't build. I'm not sure what exactly causes it, but the same...

aaronmondal