Richard Smith
|
304d2056cc
Map nullable C++ pointer types to `Core.Optional(T*)`. (#6230)
|
6 ماه پیش |
Richard Smith
|
50e5476ee3
Add support for `unsafe as` operator to the toolchain. (#5993)
|
8 ماه پیش |
Richard Smith
|
bd90fe1d9b
Interop: map C++ `std::string_view` into Carbon `str` when importing. (#5985)
|
8 ماه پیش |
David Blaikie
|
3f9fc633fe
Add a vtableDecl inst and use that in classes instead of VtablePtr (#5945)
|
8 ماه پیش |
Richard Smith
|
e0de9ddf05
Implement initialization for C++ thunk parameters. (#5938)
|
9 ماه پیش |
David Blaikie
|
aeba878335
Clean up some TODO and other comments (#5813)
|
9 ماه پیش |
David Blaikie
|
124313269a
Represent vtables as a top level SemIR construct (#5472)
|
10 ماه پیش |
Richard Smith
|
80529aaef9
Convert the scrutinee of a binding pattern to the right category. (#5662)
|
10 ماه پیش |
Richard Smith
|
69b9982e95
Convert discarded calls in thunks. (#5452)
|
1 سال پیش |
Jon Ross-Perkins
|
4923445e3a
Drop `Singleton` from `ErrorInst::SingletonInstId` and similar (#5304)
|
1 سال پیش |
Dana Jansens
|
cf57c85545
Introduce TypeInstId (#5288)
|
1 سال پیش |
David Blaikie
|
8e7bb2f953
Initialize vptrs to point to vtables (#5244)
|
1 سال پیش |
Dana Jansens
|
7c7e169994
Avoid diagnosing conversion errors inside deduction of impl arguments (#4976)
|
1 سال پیش |
Jon Ross-Perkins
|
6b5eb1a101
Id::Invalid -> Id::None (#4834)
|
1 سال پیش |
Jon Ross-Perkins
|
efab39cbd9
Remove InstId::Builtin members (#4632)
|
1 سال پیش |
Jon Ross-Perkins
|
0e92e6cc5a
Switch TypeId::TypeType to TypeType::SingletonTypeId, and similar (#4619)
|
1 سال پیش |
Jon Ross-Perkins
|
4a80d6758d
Rename the builtin FloatType to LegacyFloatType, Error to ErrorInst (#4555)
|
1 سال پیش |
Jon Ross-Perkins
|
bd2fa3ace7
Remove CalleeParamsInfo (#4452)
|
1 سال پیش |
Geoff Romer
|
e20e8bfbea
Consolidate caller match in one function call (#4446)
|
1 سال پیش |
Geoff Romer
|
9266f867f9
Model the return slot as an output parameter (#4432)
|
1 سال پیش |
Geoff Romer
|
9d942f4633
Generate parameter pattern-match IR from pattern IR (#4388)
|
1 سال پیش |
Richard Smith
|
8650f1c173
Remove out-of-date TODO (#4390)
|
1 سال پیش |
josh11b
|
6dbeda612a
`where` check stage, step 3: some type checking (#4364)
|
1 سال پیش |
Richard Smith
|
4ca711c175
When converting an expression to type `type`, retain the resulting instruction as well as the `TypeId`. (#4355)
|
1 سال پیش |
Richard Smith
|
0354efa1fc
Rework how we check calls to support deduced implicit parameters (#4302)
|
1 سال پیش |
Richard Smith
|
ddfd4ad60d
Fix use-after-free bug in call argument conversion. (#4277)
|
1 سال پیش |
Richard Smith
|
3cb769a053
Rename "generic instance" to "specific" throughout the toolchain. (#4165)
|
1 سال پیش |
Jon Ross-Perkins
|
bf89652a4d
Move common entity fields to a 'base' struct. (#4161)
|
1 سال پیش |
Richard Smith
|
07bad72d86
Support for calling non-generic methods in a specific class. (#4156)
|
1 سال پیش |
Jon Ross-Perkins
|
b5d28f2c4b
location -> loc abbreviation (#3826)
|
2 سال پیش |