Dana Jansens
|
46bb0fecd4
Properly diagnose ambiguous `.Self` in `T impls X where...` (#7132)
|
1 dzień temu |
Geoff Romer
|
4c9049346d
Replace form insts with actions (#7100)
|
3 dni temu |
Dana Jansens
|
451b50a3ad
Add storage for `<type> impls <facettype>` in the FacetTypeInfo (#7005)
|
1 miesiąc temu |
Richard Smith
|
181a592b8c
Support for parsing expression patterns (#6977)
|
1 miesiąc temu |
Geoff Romer
|
e0c6800ab3
Reverse nesting structure of parameter patterns (#6930)
|
1 miesiąc temu |
Geoff Romer
|
18cfeb7476
Add support for `->?` return forms (#6849)
|
1 miesiąc temu |
Geoff Romer
|
21291b4cc3
Remove `InitForm::index` (#6817)
|
1 miesiąc temu |
Jon Ross-Perkins
|
002b7c74ea
Support CARBON_KIND with Any types (#6828)
|
1 miesiąc temu |
Dana Jansens
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
2 miesięcy temu |
Richard Smith
|
be88dfd744
Formatter: don't crash on unexpected SemIR. (#6787)
|
2 miesięcy temu |
Jon Ross-Perkins
|
3df256cfa9
Rewrite the FormatterChunks API (#6784)
|
2 miesięcy temu |
Jon Ross-Perkins
|
c6bc033af8
Add a SemIR scope for generated entities (#6792)
|
2 miesięcy temu |
Jon Ross-Perkins
|
e2bdbe8507
Make semir scope labels only print when non-empty (#6780)
|
2 miesięcy temu |
Jon Ross-Perkins
|
1a3f762dba
Factor out FormatterChunks logic (#6779)
|
2 miesięcy temu |
Dana Jansens
|
e991657e1d
Use the canonical instructions to get SpecificIds in GetCallee (#6726)
|
2 miesięcy temu |
Dana Jansens
|
917a6ea971
Add an interface-with-self generic to each interface and same for constraints (#6667)
|
2 miesięcy temu |
Geoff Romer
|
f21e0e17ac
Introduce ExprCategory::Dependent (#6744)
|
2 miesięcy temu |
Geoff Romer
|
3c324e4877
Add category to parameter format, and share some code. (#6730)
|
2 miesięcy temu |
Geoff Romer
|
e5b05a1fac
`ExprCategory` for guaranteed-in-place initializing expressions (#6623)
|
2 miesięcy temu |
Dana Jansens
|
7f7186c227
Extended name lookup replaces inner Self (#6632)
|
3 miesięcy temu |
Geoff Romer
|
4329a83e4c
Form-aware textual format for return parameters and arguments (#6588)
|
3 miesięcy temu |
Dana Jansens
|
c64117d0e0
Make IdTag typesafe (#6574)
|
3 miesięcy temu |
Geoff Romer
|
e1ec8d42d1
Give `ReturnExpr` a target only when initialization is in-place (#6570)
|
3 miesięcy temu |
Geoff Romer
|
0e5832d3c2
Model `ref` tags as insts instead of annotations (#6541)
|
3 miesięcy temu |
Geoff Romer
|
2078721e1c
Always build ReturnTypeInfo from a function (#6490)
|
4 miesięcy temu |
Jon Ross-Perkins
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 miesięcy temu |
Dana Jansens
|
7c1798d96d
Format impl witness instructions as part of the impl (#6485)
|
4 miesięcy temu |
Richard Smith
|
6b28213b36
Add interop support for naming and "calling" C++ templates. (#6474)
|
4 miesięcy temu |
Dana Jansens
|
6a60b80508
Remove the FacetTypeId in RequireImpls (#6437)
|
5 miesięcy temu |
Richard Smith
|
6c9a581a83
Switch `GetExprCategory` to be table-driven. (#6371)
|
5 miesięcy temu |