carbon-lang

carbon-lang copied to clipboard

Named parameters in choice types

10

https://carbon.godbolt.org/z/nbjT4z6ov Choice type declaration example (reduced to issue - associated data declaration) from language design ([link](https://github.com/carbon-language/carbon-lang/tree/trunk/docs/design#choice-types)) fails to compile in explorer: ``` package sample api; choice IntResult { Success(value: i32)...

JamesJCode

Unable to compile with bazel

5

``` $ bazel run //explorer -- ./explorer/testdata/basic_syntax/print.carbon INFO: Invocation ID: b5172173-67be-4b3a-82b3-1d5168eca9ac INFO: Repository bazel_cc_toolchain instantiated at: /home/gonzo/github/carbon-lang/WORKSPACE:41:26: in Repository rule configure_clang_toolchain defined at: /home/gonzo/github/carbon-lang/bazel/cc_toolchains/clang_configuration.bzl:147:44: in ERROR: An error occurred during...

fwsGonzo

adaptor vs adapter may be harder to spell than we'd like

3

I find I am misspelling our `adapter` keyword as `adaptor` at least half the time I type it, and I don't seem to be getting better at getting it right....

zygoloid

New name for "constant" value phase

3

(separate from the question of whether the value phases are actually just value categories) The thing we want to name is "a value that is known at type-checking time" in...

josh11b

Mismatch in generic class argument list causes CHECK failure

5

#1195 has a test that fails with a CHECK-failure and a stack trace instead of a compiler error. The relevant lines are: ``` class Point(T:! Type) { // Point(T, T)...

josh11b

Clean minor issues with mac build

1

On build: ``` clang++: warning: argument unused during compilation: '-pie' [-Wunused-command-line-argument] ``` Probably need to clean up flags, but wanted to check with @chandlerc because I thought we'd tried to...

jonmeow

Fixes #1301

pk19604014

explorer crashes on impl of 'unknown' invalid type expression

3

``` package P api; class LazyNe { impl LazyNe.Make as true { } fn Make(); } fn Main() -> i32 { return 0; } .../include/c++/v1/optional:911: _LIBCPP_ASSERT 'this->has_value()' failed. optional operator*...

pk19604014

``` package P api; fn f() { var auto = true.g(); } fn h() -> f() { } fn Main() -> i32 { return 0; } CHECK failure at ./explorer/ast/expression.h:54:...

pk19604014

```` // Generated by proto_to_carbon. package EmptyIdentifier impl; fn apply[T:! Type, U:! Type](f: T, EmptyIdentifier: U) { match (true[true]) {} } fn EmptyIdentifier() -> apply(true, true); fn Main() -> i32...

pk19604014