Geoff Romer
|
49c7288619
Restructure return declaration handling (#7076)
|
1 неделя назад |
Geoff Romer
|
af04d08965
Track declared form with an InstId instead of a ConstantId. (#7072)
|
2 недель назад |
Geoff Romer
|
df33276f6b
Revert accidental change from #7063 (#7069)
|
2 недель назад |
Nicholas Bishop
|
114cf401c2
Support C++ calling Carbon functions with non-`()` return type (#7051)
|
2 недель назад |
Christopher Di Bella
|
3cdb159067
consistently uses the caller's specific to get the callee's pattern type id (#7036)
|
3 недель назад |
Geoff Romer
|
47e9d62fd5
Model thunk call as a pattern match (#6988)
|
1 месяц назад |
Geoff Romer
|
f4260feee4
Clean up pattern matching (#6987)
|
1 месяц назад |
Richard Smith
|
181a592b8c
Support for parsing expression patterns (#6977)
|
1 месяц назад |
Dana Jansens
|
5503f643c6
Introduce typed-inst accessors for ConstantValueStore (#6980)
|
1 месяц назад |
Geoff Romer
|
e0c6800ab3
Reverse nesting structure of parameter patterns (#6930)
|
1 месяц назад |
Geoff Romer
|
000b4f3fa5
Handle errors in form binding without crashing. (#6936)
|
1 месяц назад |
Geoff Romer
|
8e824d02be
Restructure pattern matching to support producing results (#6929)
|
1 месяц назад |
Geoff Romer
|
8e5b358ec2
Add the form ID to `FormParamPattern` (#6928)
|
1 месяц назад |
Geoff Romer
|
08148f3a3a
Refactor AddBindingPattern into composable pieces (#6927)
|
1 месяц назад |
Geoff Romer
|
21291b4cc3
Remove `InitForm::index` (#6817)
|
2 месяцев назад |
Jon Ross-Perkins
|
002b7c74ea
Support CARBON_KIND with Any types (#6828)
|
2 месяцев назад |
Geoff Romer
|
6dba8ee111
Remove index fields from ParamPatterns (#6815)
|
2 месяцев назад |
Geoff Romer
|
bf9219d30e
Check support for form literals and `:?` bindings (#6747)
|
2 месяцев назад |
Jon Ross-Perkins
|
2c6d9c7f66
Rename type's GetInstId to GetTypeInstId, reflecting returned type (#6708)
|
2 месяцев назад |
Richard Smith
|
e69c3fd978
Support list initialization of C++ classes that is performed via a constructor call. (#6660)
|
3 месяцев назад |
Geoff Romer
|
a2737a3189
Add `Call` param patterns to `Function` (#6586)
|
3 месяцев назад |
Geoff Romer
|
87b4ca54e6
Decouple PerformCallToFunction from ReturnTypeInfo (#6572)
|
3 месяцев назад |
Geoff Romer
|
0e5832d3c2
Model `ref` tags as insts instead of annotations (#6541)
|
4 месяцев назад |
Geoff Romer
|
b72bfb918b
Allocate `CallParamIndex`es eagerly (#6540)
|
4 месяцев назад |
Geoff Romer
|
bf45b1cbf5
Refactor function return type representation (#6463)
|
4 месяцев назад |
Geoff Romer
|
57a2715f10
Remove support for `addr` (#6375)
|
5 месяцев назад |
Jon Ross-Perkins
|
fbc7690157
Switch `zip` to `zip_equal` where possible (#6389)
|
5 месяцев назад |
Geoff Romer
|
43ffd721a4
Support `ref` tags on arguments to `ref` params (#6312)
|
5 месяцев назад |
Geoff Romer
|
fd3b0b0bf9
Remove redundant function parameter (#6313)
|
6 месяцев назад |
Geoff Romer
|
4821eec2f8
Add support for `ref` patterns (#6283)
|
6 месяцев назад |