Geoff Romer
|
18cfeb7476
Add support for `->?` return forms (#6849)
|
1 місяць тому |
Geoff Romer
|
21291b4cc3
Remove `InitForm::index` (#6817)
|
1 місяць тому |
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 місяців тому |
Dana Jansens
|
fbc8d59d32
Introduce Diagnostics::ContextScope and remove diagnoser callbacks in type completion (#6761)
|
2 місяців тому |
Burak Emir
|
fdb188ccfd
Implement unused pattern bindings, continued (#6518)
|
2 місяців тому |
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 місяців тому |
Geoff Romer
|
7938d9a8d0
Lex/parse support for ->?, :?, and form literals (#6695)
|
2 місяців тому |
Özgür
|
bdcac5087d
Allow incomplete types in associated constants (#6657)
|
3 місяців тому |
Dana Jansens
|
32aa7cb1fa
Make identifying a facet type an operation on a (self+facet type) pair (#6592)
|
3 місяців тому |
Geoff Romer
|
b72bfb918b
Allocate `CallParamIndex`es eagerly (#6540)
|
3 місяців тому |
Burak Emir
|
fec6ce2f9f
Implement "unused pattern bindings" p2022 - parsing (#6460)
|
4 місяців тому |
Özgür
|
2a3d0b71bb
Reject abstract types in `var` function parameters (#6499)
|
4 місяців тому |
Jon Ross-Perkins
|
77918d023b
Make symbolic local bindings a TODO (#6449)
|
4 місяців тому |
Geoff Romer
|
57a2715f10
Remove support for `addr` (#6375)
|
5 місяців тому |
Jon Ross-Perkins
|
42e2280150
Clean up singleton TypeId use (#6300)
|
6 місяців тому |
Geoff Romer
|
4821eec2f8
Add support for `ref` patterns (#6283)
|
6 місяців тому |
Geoff Romer
|
0811d996e1
Finish renaming BindName and related insts. (#6281)
|
6 місяців тому |
Geoff Romer
|
09710d102f
Separate binding insts for refs and values (#6235)
|
6 місяців тому |
Dana Jansens
|
ed43fd2c1c
Give the BindSymbolicName for .Self in a binding pattern a FacetType type (#6036)
|
7 місяців тому |
Elliott Kalt
|
58de34e534
Decouple associated constants from let (#5973)
|
8 місяців тому |
Dana Jansens
|
4b0e2b03b6
Add the `.Self` name for the type expression of a compile time binding (#5937)
|
8 місяців тому |
Jon Ross-Perkins
|
89a6818424
Move TokenOnly to LocIdForDiagnostics (#5590)
|
11 місяців тому |
Richard Smith
|
95903dc624
Generate thunks for functions in `impl`s (#5390)
|
1 рік тому |
Dana Jansens
|
315e206ff1
Construct LocId from InstId directly (explicitly) instead of doing lookups when possible (#5355)
|
1 рік тому |
Geoff Romer
|
fafb655d39
Separate pattern types from expression types (#5360)
|
1 рік тому |
Geoff Romer
|
f5b5731c76
Separate fields from other `var` decls in parse (#5320)
|
1 рік тому |
Jon Ross-Perkins
|
4923445e3a
Drop `Singleton` from `ErrorInst::SingletonInstId` and similar (#5304)
|
1 рік тому |