Domů Procházet Nápověda
Přihlásit se
tomteb
/
carbon-lang
1
0
Rozštěpit 0
Soubory Úkoly 0 Pull Requesty 0 Wiki
Větev: trunk
Větve Značky

Historie revizí

Autor SHA1 Zpráva Datum
  Geoff Romer ba6257891e Remove ValueParamPattern case from deduction (#6869) před 1 měsícem
  Dana Jansens 917a6ea971 Add an interface-with-self generic to each interface and same for constraints (#6667) před 2 měsíci
  Jon Ross-Perkins 2c6d9c7f66 Rename type's GetInstId to GetTypeInstId, reflecting returned type (#6708) před 2 měsíci
  Geoff Romer 0811d996e1 Finish renaming BindName and related insts. (#6281) před 6 měsíci
  Dana Jansens e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) před 6 měsíci
  Dana Jansens b99bc00632 Deduce arguments against the canonical facet value (#6158) před 7 měsíci
  Dana Jansens 737c329aba Save a trip through the deduce work loop with the non-canonical value in DeduceImplArguments() (#6120) před 7 měsíci
  Dana Jansens b1b79c1bac Set deduce_through to false for FacetType, since we don't deduce through it (#6087) před 7 měsíci
  Dana Jansens ad4914b575 Avoid deducing errors as argument instructions after subst (#5710) před 10 měsíci
  Dana Jansens 315c79ea33 Apply enclosing specifics to symbolic arguments in generic calls (#5597) před 11 měsíci
  Richard Smith 7a55568f15 Fix crash when impl lookup fails and the type of `.Self` is symbolic. (#5603) před 11 měsíci
  Dana Jansens 493bea1647 Fearlessly hold references into ValueStore again (#5589) před 11 měsíci
  Jon Ross-Perkins 6f32a003d2 Remove `needs_substitution` logic (#5443) před 1 rokem
  Geoff Romer fafb655d39 Separate pattern types from expression types (#5360) před 1 rokem
  Jon Ross-Perkins 4923445e3a Drop `Singleton` from `ErrorInst::SingletonInstId` and similar (#5304) před 1 rokem
  Dana Jansens cf57c85545 Introduce TypeInstId (#5288) před 1 rokem
  Richard Smith a74ca9071b Remove all remaining uses of `TypeId`s as instruction operands. (#5280) před 1 rokem
  josh11b 4af0c8f8d1 Implement ...`where .Self impls`... (#5238) před 1 rokem
  Jon Ross-Perkins 9134e36ec0 Extend CARBON_KIND_SWITCH to support ArgAndKind (#5216) před 1 rokem
  Jon Ross-Perkins 4cb61ae4e1 Remove ArgKinds to encourage safer coding patterns (#5212) před 1 rokem
  Boaz Brickner 15bb7d5ac6 Change `DeductionWorklist.context_` from reference to pointer (#5204) před 1 rokem
  Jon Ross-Perkins acbe6530c3 Move diagnostics into a namespace (#5173) před 1 rokem
  Dana Jansens 9131b3a0de Use CARBON_KIND in deduce for FacetAccessType (#5163) před 1 rokem
  Dana Jansens ce08e4d9a1 Avoid UAF in impl lookup when deduce imports an impl from Core (#5126) před 1 rokem
  Dana Jansens 82fe19ee99 Remove redundant deduced specifics (#5107) před 1 rokem
  Dana Jansens a0b7f39591 Support impl lookup for multiple interfaces in a facet type (#5047) před 1 rokem
  Dana Jansens 92e635c2f0 Use the constant value unconditionally in deduce diagnostic (#5034) před 1 rokem
  Richard Smith c4c3381b18 Add `TypeId::is_symbolic` and `is_concrete`. (#5024) před 1 rokem
  Dana Jansens e5feced884 Avoid crash when deduce fails for imported generic (#5001) před 1 rokem
  Jon Ross-Perkins 422cc3d48a Move diagnostic usings off Context (#5007) před 1 rokem

Novější Starší