tomteb/carbon-lang

Pohon: 201a4dc1c6

Pembuat	SHA1 Pesan	Tanggal
josh11b	3ebd098597 Completing a type no longer ignores facet types (#5004)	1 tahun lalu
Richard Smith	e0b2f5d772 Add and propagate template phase for constants. (#4964)	1 tahun lalu
Jon Ross-Perkins	dc8f47e6ad Move type functions off Context (#4951)	1 tahun lalu
Richard Smith	6dda094928 Superficial support for `template` modifier on symbolic bindings. (#4948)	1 tahun lalu
Jon Ross-Perkins	0a55081c5d Move TypeCompleter and closely related helper functions to their own file (#4922)	1 tahun lalu
Richard Smith	fcfb1345d5 Support accessing associated functions by member access into facets (#4872)	1 tahun lalu
Richard Smith	5f888e1124 Treat associated constants as entities parameterized by Self (#4837)	1 tahun lalu
Jon Ross-Perkins	6b5eb1a101 Id::Invalid -> Id::None (#4834)	1 tahun lalu
josh11b	c5fd8f42b8 `ImplWitness` (#4679)	1 tahun lalu
Richard Smith	79ba184dab Provide a location for monomorphization failures resulting from `TryToCompleteType`. (#4670)	1 tahun lalu
Richard Smith	758b6c42ba Produce a note indicating where the specific was used from if monomorphization fails. (#4662)	1 tahun lalu
Richard Smith	eabe9f117a Track complete types required by a generic. (#4652)	1 tahun lalu
josh11b	33110d096c Facet types support rewrite (`where .A =`...) constraints (#4613)	1 tahun lalu
Geoff Romer	223c5cb04b Restructure handling of runtime parameters (#4422)	1 tahun lalu
Geoff Romer	9d942f4633 Generate parameter pattern-match IR from pattern IR (#4388)	1 tahun lalu
Richard Smith	efb5d6d25a Assign locations to instructions in a generic eval block. (#4393)	1 tahun lalu
josh11b	82937e1a3c Change how to get info for a parameter (#4366)	1 tahun lalu
josh11b	d6d70bf80d Handle runtime implicit parameters, and `self` outside of methods (#4361)	1 tahun lalu
Richard Smith	7f22a289b9 Push a generic region when handling a `where` expression. (#4340)	1 tahun lalu
Jon Ross-Perkins	e7aebbe581 Update basic diagnostic capitalization/punctuation (#4328)	1 tahun lalu
Richard Smith	0354efa1fc Rework how we check calls to support deduced implicit parameters (#4302)	1 tahun lalu
Chandler Carruth	4845f40dff Switch `CARBON_CHECK` to a format string API (#4285)	1 tahun lalu
Richard Smith	891c7d8368 Enforce that the parse node for an instruction has the kind specified in the instruction definition (#4264)	1 tahun lalu
Jon Ross-Perkins	a3a4c14960 Error on non-constant parameters to a type. (#4215)	1 tahun lalu
Richard Smith	3c8fc714a8 Import support for generics and specifics (#4179)	1 tahun lalu
Richard Smith	3cb769a053 Rename "generic instance" to "specific" throughout the toolchain. (#4165)	1 tahun lalu
Richard Smith	fc8e686607 Rebuild all constants in the eval block. (#4155)	1 tahun lalu
Richard Smith	3cc90f9017 Move `GetTypeInInstance` from `Check` to `SemIR`. (#4144)	1 tahun lalu
Richard Smith	e6860d9930 Mark some leaf classes `final` to suppress `-Wnon-virtual-dtor`. (#4141)	1 tahun lalu
Richard Smith	fe359b1a08 Substitute into generic class and interface definitions when we require them to be fully defined. (#4139)	1 tahun lalu

Terbaru Lawas

Komit Sejarah Cari

Komit Sejarah