Burak Emir
|
fdb188ccfd
Implement unused pattern bindings, continued (#6518)
|
2 månader sedan |
Dana Jansens
|
917a6ea971
Add an interface-with-self generic to each interface and same for constraints (#6667)
|
2 månader sedan |
Jon Ross-Perkins
|
2c6d9c7f66
Rename type's GetInstId to GetTypeInstId, reflecting returned type (#6708)
|
2 månader sedan |
Dana Jansens
|
32aa7cb1fa
Make identifying a facet type an operation on a (self+facet type) pair (#6592)
|
3 månader sedan |
Dana Jansens
|
3a7c44c5c4
Check required implementations when an enclosing interface is implemented (#6522)
|
3 månader sedan |
Jon Ross-Perkins
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 månader sedan |
Dana Jansens
|
201e408252
Type completion of facet types is separate from Identifying (#6385)
|
5 månader sedan |
Dana Jansens
|
f272198ce5
Don't elide Self when dumping the interface/constraint (#6297)
|
6 månader sedan |
Geoff Romer
|
0811d996e1
Finish renaming BindName and related insts. (#6281)
|
6 månader sedan |
Dana Jansens
|
22580a47d3
Initial support for empty named constraints (#6245)
|
6 månader sedan |
Jon Ross-Perkins
|
81c2b3be1a
Handle some more errors in interfaces without crashing. (#6155)
|
7 månader sedan |
Dana Jansens
|
315e206ff1
Construct LocId from InstId directly (explicitly) instead of doing lookups when possible (#5355)
|
1 år sedan |
Thomas Köppe
|
bf32da8dad
Add missing standard library header inclusions (#5316)
|
1 år sedan |
Jon Ross-Perkins
|
4923445e3a
Drop `Singleton` from `ErrorInst::SingletonInstId` and similar (#5304)
|
1 år sedan |
Jon Ross-Perkins
|
55da026a46
Remove the SemIRLoc typedef (#5299)
|
1 år sedan |
Richard Smith
|
0631e18184
Provide an `InstId` when evaluating a constant in cases where one is needed (#5202)
|
1 år sedan |
Richard Smith
|
a45dc42d82
Store an `InterfaceId` and a `SpecificId` in `AssociatedEntityType`. (#5252)
|
1 år sedan |
Richard Smith
|
c33adfafd3
Replace `GetTypeInSpecific` with `GetTypeOfInstInSpecific`. (#5232)
|
1 år sedan |
Richard Smith
|
6fd139b805
Renumber inner parameters when checking an impl function against an interface function. (#5113)
|
1 år sedan |
Dana Jansens
|
4539114c21
Return a set of ImplWitnesses from impl lookup (#5075)
|
1 år sedan |
Jon Ross-Perkins
|
311b4ff03d
Refactor AddInst-family functions to their own file (#4941)
|
1 år sedan |
Jon Ross-Perkins
|
dc8f47e6ad
Move type functions off Context (#4951)
|
1 år sedan |
Richard Smith
|
fcfb1345d5
Support accessing associated functions by member access into facets (#4872)
|
1 år sedan |
Richard Smith
|
5f888e1124
Treat associated constants as entities parameterized by Self (#4837)
|
1 år sedan |
Jon Ross-Perkins
|
efab39cbd9
Remove InstId::Builtin members (#4632)
|
1 år sedan |
Jon Ross-Perkins
|
4a80d6758d
Rename the builtin FloatType to LegacyFloatType, Error to ErrorInst (#4555)
|
1 år sedan |
Richard Smith
|
891c7d8368
Enforce that the parse node for an instruction has the kind specified in the instruction definition (#4264)
|
1 år sedan |
Jon Ross-Perkins
|
e62973a8ef
Address the LocIdAndInst::ReusingLoc TODO (#4211)
|
1 år sedan |
Richard Smith
|
8a8c227163
Track an interface type, not an interface ID, on an associated entity. (#4188)
|
1 år sedan |
Jon Ross-Perkins
|
5bb318cae6
Switch AddInst struct init style. (#4012)
|
1 år sedan |