Christopher Di Bella
|
f0c4b37c63
adds a field to `SemIR::Interface` to indicate whether it is a core interface (#7091)
|
1 vecka sedan |
Dana Jansens
|
917a6ea971
Add an interface-with-self generic to each interface and same for constraints (#6667)
|
2 månader sedan |
Dana Jansens
|
c64117d0e0
Make IdTag typesafe (#6574)
|
3 månader sedan |
Dana Jansens
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
5 månader sedan |
Geoff Romer
|
0811d996e1
Finish renaming BindName and related insts. (#6281)
|
6 månader sedan |
Jon Ross-Perkins
|
a65f4b89e2
Make ValueStore require a ValueT parameter (#5757)
|
10 månader sedan |
josh11b
|
c7a338be59
Replace uses of "defined" with "complete" (#5196)
|
1 år sedan |
Jon Ross-Perkins
|
6b5eb1a101
Id::Invalid -> Id::None (#4834)
|
1 år sedan |
josh11b
|
01ca9f05dd
`has_definition_started` accessor for entities (#4730)
|
1 år sedan |
Jon Ross-Perkins
|
bf89652a4d
Move common entity fields to a 'base' struct. (#4161)
|
1 år sedan |
Jon Ross-Perkins
|
db022658c6
Implement syntactic merge checks for parameters. (#4149)
|
1 år sedan |
Richard Smith
|
19c5596fd8
Build Generic objects for generic classes and interfaces. (#4086)
|
1 år sedan |
Richard Smith
|
f772c1f5f3
More support for generic interfaces, aiming for parity with support for generic classes. (#4034)
|
1 år sedan |
Richard Smith
|
7792e5fce3
Support out-of-line definitions of members of generic classes and interfaces. (#4029)
|
1 år sedan |
Jon Ross-Perkins
|
d9c62b106d
Rename enclosing scope to parent scope (#4020)
|
1 år sedan |
Richard Smith
|
f5a3a9a7e0
Add `Self` into scope in interface definitions and using facets as types. (#3740)
|
2 år sedan |
Richard Smith
|
33c1e9ca95
Add an associated entity instruction and corresponding type for interface elements. (#3730)
|
2 år sedan |
Jon Ross-Perkins
|
d2056ef4b9
Split classes in file.h and value_stores.* to separate files (#3725)
|
2 år sedan |