Jon Ross-Perkins
|
a2ba7f1262
Have Specific track whether regions contain errors (#6982)
|
1 ماه پیش |
Dana Jansens
|
d6be20641c
Use earlier `require` decls inside a named constraint to provide witnesses for `Self` (#6915)
|
1 ماه پیش |
Jon Ross-Perkins
|
e0305684b0
Add MakeVerifiedLocIdAndInst for runtime validation (#6942)
|
1 ماه پیش |
Dana Jansens
|
917a6ea971
Add an interface-with-self generic to each interface and same for constraints (#6667)
|
2 ماه پیش |
Jon Ross-Perkins
|
2c6d9c7f66
Rename type's GetInstId to GetTypeInstId, reflecting returned type (#6708)
|
2 ماه پیش |
Jon Ross-Perkins
|
1d0bf72508
Fix pluralization mismatch on compile_time_binding/s (#6696)
|
2 ماه پیش |
Dana Jansens
|
30562826b8
Add Inst::IsOneOf to check if an inst is one of a few kinds (#6523)
|
3 ماه پیش |
Jon Ross-Perkins
|
77918d023b
Make symbolic local bindings a TODO (#6449)
|
4 ماه پیش |
Jon Ross-Perkins
|
93a8c5230c
Ensure a symbolic `final impl` has a definition produced (#6236)
|
5 ماه پیش |
Geoff Romer
|
0811d996e1
Finish renaming BindName and related insts. (#6281)
|
6 ماه پیش |
Dana Jansens
|
22580a47d3
Initial support for empty named constraints (#6245)
|
6 ماه پیش |
Jon Ross-Perkins
|
9010249936
Remove reallocation assumptions from generic code (#6217)
|
6 ماه پیش |
Jon Ross-Perkins
|
973d721916
Some more edits to EnumBase and EnumMaskBase (#6054)
|
7 ماه پیش |
Jon Ross-Perkins
|
6cc5d7ed2a
Add an EnumMaskBase type (#6053)
|
7 ماه پیش |
Dana Jansens
|
b36a987e73
Find cycles in rewrite constraints without performing the full exponential expansion of the RHS (#5673)
|
9 ماه پیش |
Thomas Köppe
|
f18fc40a32
Add missing standard library header inclusions (#5486)
|
11 ماه پیش |
Dana Jansens
|
5aea18f949
Avoid resolving the decl block for specifics in imported instructions (#5517)
|
11 ماه پیش |
Richard Smith
|
4f5d11a28b
Build generic eval blocks incrementally (#5313)
|
1 سال پیش |
Dana Jansens
|
315e206ff1
Construct LocId from InstId directly (explicitly) instead of doing lookups when possible (#5355)
|
1 سال پیش |
Jon Ross-Perkins
|
4923445e3a
Drop `Singleton` from `ErrorInst::SingletonInstId` and similar (#5304)
|
1 سال پیش |
Jon Ross-Perkins
|
55da026a46
Remove the SemIRLoc typedef (#5299)
|
1 سال پیش |
Boaz Brickner
|
afe034f9f4
Change `RebuildGenericConstantInEvalBlockCallbacks.context_` from reference to pointer (#5205)
|
1 سال پیش |
Richard Smith
|
4acc9cac5d
Replace GetInstForSpecific with direct support for rendering a SpecificId in diagnostics. (#5192)
|
1 سال پیش |
Richard Smith
|
e25f58adec
Rebuild the type of a `bind_symbolic_name` when building an eval block (#5174)
|
1 سال پیش |
Dana Jansens
|
6dbcc78e6c
Rewrite symbolic constants in generic redeclarations (#5154)
|
1 سال پیش |
Richard Smith
|
584426dfa2
Initial work on support for templates (#5081)
|
1 سال پیش |
Jon Ross-Perkins
|
8738497301
Fix parse support for 'fn F[];' (#5135)
|
1 سال پیش |
josh11b
|
3ebd098597
Completing a type no longer ignores facet types (#5004)
|
1 سال پیش |
Richard Smith
|
e0b2f5d772
Add and propagate template phase for constants. (#4964)
|
1 سال پیش |
Jon Ross-Perkins
|
dc8f47e6ad
Move type functions off Context (#4951)
|
1 سال پیش |