Geoff Romer
|
4c9049346d
Replace form insts with actions (#7100)
|
3 روز پیش |
Dana Jansens
|
5503f643c6
Introduce typed-inst accessors for ConstantValueStore (#6980)
|
1 ماه پیش |
Dana Jansens
|
fbc8d59d32
Introduce Diagnostics::ContextScope and remove diagnoser callbacks in type completion (#6761)
|
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 ماه پیش |
Jon Ross-Perkins
|
45ca3d28f5
Drop "diagnostic" from some filenames in the "diagnostics" folder (#6686)
|
2 ماه پیش |
Dana Jansens
|
7f7186c227
Extended name lookup replaces inner Self (#6632)
|
3 ماه پیش |
Dana Jansens
|
ee77aa4b67
Member access into a facet is not a "lookup in type of base" (#6631)
|
3 ماه پیش |
Jon Ross-Perkins
|
42e2280150
Clean up singleton TypeId use (#6300)
|
6 ماه پیش |
Geoff Romer
|
39503a5561
Disambiguate "value binding" (#6231)
|
6 ماه پیش |
Richard Smith
|
e26b6a35c2
Allow instance binding on tuple-valued expressions. (#6203)
|
6 ماه پیش |
Dana Jansens
|
3d592ebe59
Support member access into the type of `(facet as type)` expressions as being into the facet's type (#6190)
|
6 ماه پیش |
Dana Jansens
|
fe020ee08b
Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115)
|
6 ماه پیش |
Dana Jansens
|
54b994ceac
Simplify member access in facet values (#6146)
|
7 ماه پیش |
Richard Smith
|
3b6d202730
Implement support for mixed-access overload sets. (#6137)
|
7 ماه پیش |
Jon Ross-Perkins
|
8004c2d5f6
CalleeFunction -> Callee name adjustments (#6117)
|
7 ماه پیش |
Jon Ross-Perkins
|
0f7df4ed7e
Switch CalleeFunction to a variant (#6104)
|
7 ماه پیش |
Richard Smith
|
ca40e9d693
Support making method calls to C++ overload sets. (#6069)
|
7 ماه پیش |
Dana Jansens
|
91722ae21a
Stop round tripping through an InstId to get the ConstantId of a TypeId (#6044)
|
7 ماه پیش |
Dana Jansens
|
3d77c4441b
Compare ImplWitnessAccess into Self as canonical constants (#5883)
|
8 ماه پیش |
Dana Jansens
|
3d07794650
Gracefully error in non-compound member lookup into a runtime facet value (#5485)
|
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 سال پیش |
Dana Jansens
|
51498547c9
Always use `LookupImplWitness` instructions for symbolic witnesses (#5321)
|
1 سال پیش |
Dana Jansens
|
c38e723dd8
Rename singleton InstId constants to TypeInstId (#5323)
|
1 سال پیش |
Jon Ross-Perkins
|
4923445e3a
Drop `Singleton` from `ErrorInst::SingletonInstId` and similar (#5304)
|
1 سال پیش |
Dana Jansens
|
c34a8d0a3a
Convert remaining type-value InstId fields to TypeInstId (#5294)
|
1 سال پیش |
Richard Smith
|
a74ca9071b
Remove all remaining uses of `TypeId`s as instruction operands. (#5280)
|
1 سال پیش |
Dana Jansens
|
76c68153a2
Look for final impl when accessing associated constant in facet (#5269)
|
1 سال پیش |
Richard Smith
|
1a4d6ca255
Store an `InstId` instead of a `TypeId` in `UnboundElementType`. (#5260)
|
1 سال پیش |