carbon-lang

carbon-lang copied to clipboard

Check usage for verbose formatting of instructions in crashes

3

#4125 added verbose formatting of instructions in crashes. If it's not used, or it gets in the way (a crash during a pretty printing) we might want to roll it...

jonmeow

Error while building docker image as part of devcontainer

3

When use VS Code to open the carbon-lang directory inside the devcontainer, I get the following error during image build: ``` [2024-06-19T20:19:22.284Z] Errors were encountered while processing: /tmp/apt-dpkg-install-nzc56z/31-libclang-rt-15-dev_1%3a15.0.7~++20231019083512+8dfdcc7b7bf6-1~exp1~20231019203551.119_amd64.deb /tmp/apt-dpkg-install-nzc56z/38-libpolly-15-dev_1%3a15.0.7~++20231019083512+8dfdcc7b7bf6-1~exp1~20231019203551.119_amd64.deb [2024-06-19T20:19:22.407Z]...

nirmal-j-patel

Toolchain configuration can't produce stripped binaries

3

On macOS, at 9ed1c5cee9c3326178b80a35a8f217257971b410, with or without `.bazeliskrc` wired to `4.0.0`: ```bash $ bazelisk build //executable_semantics:executable_semantics.stripped [...] ERROR: /Users/mattdr/src/carbon-lang/executable_semantics/BUILD:11:10: Stripping executable_semantics/executable_semantics.stripped for //executable_semantics:executable_semantics failed: (Exit 1): llvm-strip failed: error executing...

mmdriley

Repeated 'fnty' in curried function types

3

According to the grammar in the basic syntax proposal (#162) it seems like curried function types require repeating the `fnty` keyword: ``` expression: "fnty" tuple return_type return_type: "->" expression ```...

gribozavr

Consider switching away from designated initializer based testing

1

Both the lexer and parser libraries use a similar technique for testing. They define structs suitable for use with designated initializers, and then hand them to matchers. It might be...

chandlerc

Mitigating underhanded code

6

We should decide to what extent and in what ways we want to mitigate the risk of underhanded Carbon code -- code that intentionally behaves in a manner different from...

zygoloid

Who can create an instance of a class type?

5

Given: ``` class X { var v: i32; fn Make() -> X; } ``` we want to permit `Make` to construct a value of type `X` by implicitly converting a...

zygoloid

bazel rules_bison is pretty old

4

**Note: this is not really a problem.** If you have the time to explain why my attempt to point at bison-3.7.5 didn't work, that would be great. Otherwise feel free...

dabrahams

Capture the ambient discussion and thinking about bi-directional type information flow in a principle

1

Several design discussions in Carbon have talked about "what direction does type information flow" in the context of type inference. Broadly, these discussions have seemed to advocate away from bi-directional...

chandlerc

how to make a non-virtual call to a virtual function?

14

### Summary of issue: In C++, there is often a desire to make a non-virtual call to a virtual function -- for example when implementing a function in a derived...

zygoloid