carbon-lang

carbon-lang copied to clipboard

How do we indicate that functions should be callable during compilation?

9

In https://github.com/carbon-language/carbon-lang/issues/498, we had a question of whether you can call unannotated functions in a type context: ``` fn g() -> Type { return Int; } fn f(x: g()) ->...

zygoloid

Consider allowing `1e6` and similar as integer literals

1

Proposal #143 suggests that we require a period in all real number literals. This means that constants such as `1e6` are invalid -- they're neither real number literals nor integer...

zygoloid

choice: don't require empty `()`

1

https://github.com/carbon-language/carbon-lang/blob/trunk/docs/design/README.md#choice-types has example code: ``` choice IntResult { Success(value: i32), Failure(error: String), Cancelled } ... case .Cancelled => { Terminate(); } ``` Right now, it would be `Cancelled()` with parentheses:...

jonmeow

Reflect "Numeric literal semantics #144" in the design docs

12

Proposal #144 was accepted but the design docs in https://github.com/carbon-language/carbon-lang/tree/trunk/docs/design have not been updated to reflect its acceptance.

josh11b

Bug when typing global variables with "auto"

6

Modifying the init_and_read.carbon test case as follows triggers an internal cast error. ``` package ExecutableSemanticsTest api; // Test global variable initialization and read. var zero: auto = 0; fn Main()...

DarshalShetty

In ECMAScript, the `import.meta` expression (`meta` is a context keyword) returns `{url}`, where `url` indicates the URL of the current script. Carbon scripts could have such ability. For example: **file:///C:/Users/anonymous/Documents/foo.carbon**...

hydroper

Suggestion: Require language definition version reference in all source files.

1

In order to facilitate tool assisted migration when defaults or behaviours change, it would be sensible to have a mandatory reference to the language definition version that a source file...

ATell-SoundTheory

Proposal: static resource embedding expressions

1

Rust has `include_str!("./data.txt")` and `include_bytes!("./data.bin")` macros. So I propose the same for Carbon. In my language I use `embed './data.txt':String` and `embed './data.bin':ByteArray`. I think C++ doesn't have that feature,...

hydroper

Ownership and string representation

5

The [design doc]("https://github.com/carbon-language/carbon-lang/blob/trunk/docs/design/primitive_types.md#string-view-vs-owning-string") currently states "The right model of a string view versus an owning string is still very much unsettled." Other issues, such as string-interpolation will need some clarity...

OlaFosheimGrostad

Define a localization solution that is compatible with C++ std::locale

1

C++20 formatting functions take a localization context [std::locale](https://en.cppreference.com/w/cpp/locale/locale). Evaluate whether Carbon should provide its own localization context or use the one provided by C++. If Carbon provides a Carbon specific...

OlaFosheimGrostad