carbon-lang

carbon-lang copied to clipboard

C++ interop: Add support for C++ Primitive Types

7

Use [Carbon: C++ Interop - Primitive Types ](https://docs.google.com/document/d/1PVxDjAQ3peKdteJ1OSFhfScRl4M2P_Ba4mWFWg1qKI0/edit?tab=t.0#heading=h.6dyyhz5krl9v) doc as a reference for the type mappings. * Signed integer types Carbon type | C++ type | Status | PRs --...

ivanaivanovska

Immutable value semantic returns questions from #5434

1

These questions were prompted by discussion around proposal #5434 . How should we spell value form returns at a high level? Should we have - an explicit marker attached to...

josh11b

geoffromer

bricknerb

### Description of the bug: `/docs/design/expressions/member_access.md` describes member access as a built-in operation, but as of #3720, member access is mediated by extensible interfaces such as `BindToValue` and `BindToReference`. ###...

geoffromer

C++ function params and return values not printed in the SemIR anymore

5

### Description of the bug: Parameters and return values were printed in the SemIR for the C++ function declarations as well, but they are not printed anymore. E.g. in `toolchain/check/testdata/interop/cpp/function_decl.carbon`:...

ivanaivanovska

Decouple associated constants from pattern matching

1

[Note that for clarity, the code links below point to the code as of this writing, not the code at HEAD when you're reading.] Currently the toolchain parses an associated...

geoffromer

We should add `ref` bindings to Carbon, paralleling reference expressions

20

### Summary Carbon already has [reference expressions](). We should add the ability to declare and match a binding to a reference expression. The core idea would be: ```carbon fn F(ptr:...

chandlerc

Consider tracking the list of symbols discarded when linking over time

2

It would be useful to identify dead code in the toolchain and clean it up. In discussion with @chandlerc and others, I found the following recipe seems to do a...

zygoloid

MissingGenericFunctionDefinition sorted poorly in test output

3

### Description of the bug: The `MissingGenericFunctionDefinition` error ends up being attached to test output far below where it is emitted if there are other errors below. It seems to...

danakj