tomteb/carbon-lang

Branch: trunk

Autor	SHA1 Mensagem	Data
Dana Jansens	46bb0fecd4 Properly diagnose ambiguous `.Self` in `T impls X where...` (#7132)	1 dia atrás
Geoff Romer	4c9049346d Replace form insts with actions (#7100)	3 dias atrás
Dana Jansens	554b1b8d10 Remove SymbolicBindingType (#7114)	5 dias atrás
Dana Jansens	d9841992cb Replace .Self in facet types (#7097)	1 semana atrás
Nicholas Bishop	0075d530b9 Support const eval when calling a C++ thunk (#6947)	1 mês atrás
Nicholas Bishop	396756c151 Handle Temporary values when const-evaling AcquireValue (#6992)	1 mês atrás
Nicholas Bishop	bf6a14ac39 Support `Temporary` constants (#6983)	1 mês atrás
Dana Jansens	5503f643c6 Introduce typed-inst accessors for ConstantValueStore (#6980)	1 mês atrás
Dana Jansens	d6be20641c Use earlier `require` decls inside a named constraint to provide witnesses for `Self` (#6915)	1 mês atrás
Dana Jansens	6d2387cb77 Return a `NewAnyPhase` result for `RequireCompleteType` with a `CompleteTypeWitness` value (#6939)	1 mês atrás
Nicholas Bishop	943cd41924 Support constexpr pointers (#6907)	1 mês atrás
Nicholas Bishop	2389590230 Support pointer template params (#6810)	2 meses atrás
Richard Smith	41dd256d56 Support for initialization of classes with abstract base classes. (#6802)	2 meses atrás
Geoff Romer	bf9219d30e Check support for form literals and `:?` bindings (#6747)	2 meses atrás
Richard Smith	f9ab963bd6 Add a `type_literal` instruction to represent syntactic type literals. (#6781)	2 meses atrás
Dana Jansens	fbc8d59d32 Introduce Diagnostics::ContextScope and remove diagnoser callbacks in type completion (#6761)	2 meses atrás
Nicholas Bishop	f210f4ab04 Add initial support for importing C++ constexprs as Carbon constants (#6770)	2 meses atrás
Jon Ross-Perkins	2c6d9c7f66 Rename type's GetInstId to GetTypeInstId, reflecting returned type (#6708)	2 meses atrás
Geoff Romer	e5b05a1fac `ExprCategory` for guaranteed-in-place initializing expressions (#6623)	2 meses atrás
Richard Smith	935ccce2a6 Fix lowering of imported global variables. (#6567)	3 meses atrás
Jon Ross-Perkins	25f63140e6 Refactor CppWitness as CustomWitness (#6491)	4 meses atrás
Richard Smith	7fd62ff58d Stop using `ImplWitness[Table]` for a C++ synthesized witness. (#6451)	4 meses atrás
Richard Smith	c77eebd15e Cache final impl lookup results. (#6452)	5 meses atrás
Jon Ross-Perkins	93a8c5230c Ensure a symbolic `final impl` has a definition produced (#6236)	5 meses atrás
Dana Jansens	5ae5170421 Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)	5 meses atrás
Dana Jansens	ca3f95faa6 Make named constraint eval to a FacetType with itself in it (#6308)	6 meses atrás
Geoff Romer	0811d996e1 Finish renaming BindName and related insts. (#6281)	6 meses atrás
Geoff Romer	09710d102f Separate binding insts for refs and values (#6235)	6 meses atrás
Dana Jansens	22580a47d3 Initial support for empty named constraints (#6245)	6 meses atrás
Jon Ross-Perkins	b1f734e1cd Switch `EvalLookupSingleImplWitness` from "concrete" to "final" terminology (#6246)	6 meses atrás

Mais recente Mais Antigo

Histórico de commits Buscar

Histórico de commits