Historique des commits

Auteur SHA1 Message Date
  Dana Jansens 46bb0fecd4 Properly diagnose ambiguous `.Self` in `T impls X where...` (#7132) il y a 1 jour
  Geoff Romer 4c9049346d Replace form insts with actions (#7100) il y a 3 jours
  Dana Jansens 554b1b8d10 Remove SymbolicBindingType (#7114) il y a 5 jours
  Dana Jansens d9841992cb Replace .Self in facet types (#7097) il y a 1 semaine
  Dana Jansens 9c9f5cb52c Preserve named constraints across `where` (#7104) il y a 1 semaine
  Geoff Romer ad0a4ea8a4 Restructure action-dependence APIs (#7074) il y a 2 semaines
  Dana Jansens cc5a42691e Add `where T impls X` constraints into the FacetTypeInfo (#7038) il y a 3 semaines
  Dana Jansens d1dc8e820d Resolve the specific definition for a function that is evaluated (#7034) il y a 3 semaines
  Dana Jansens f483a28f2f Refactor WhereExpr evaluation into smaller helper functions (#7006) il y a 3 semaines
  Dana Jansens 451b50a3ad Add storage for `<type> impls <facettype>` in the FacetTypeInfo (#7005) il y a 1 mois
  Nicholas Bishop 0075d530b9 Support const eval when calling a C++ thunk (#6947) il y a 1 mois
  Dana Jansens 17180558e5 Diagnose `where` clause without a designator (#6995) il y a 1 mois
  Nicholas Bishop bf6a14ac39 Support `Temporary` constants (#6983) il y a 1 mois
  Jon Ross-Perkins a2ba7f1262 Have Specific track whether regions contain errors (#6982) il y a 1 mois
  Richard Smith 965879a9a9 Support for in-place return in `eval fn`. (#6954) il y a 1 mois
  Dana Jansens 17657d0586 CHECK if a SymbolicOnly instruction produces a concrete value of the same inst type (#6938) il y a 1 mois
  Richard Smith ce50f181f1 Add an interface for initialization of `var`s without an explicit initializer (#6934) il y a 1 mois
  Dana Jansens bad9beddc7 Diagnose using named constraint's name inside its definition (#6906) il y a 1 mois
  Nicholas Bishop c1fd771242 Support calling constexpr functions at compile time (#6878) il y a 1 mois
  Dana Jansens fbc8d59d32 Introduce Diagnostics::ContextScope and remove diagnoser callbacks in type completion (#6761) il y a 2 mois
  Geoff Romer 6a3529f4b5 Add `Core.Form` to prelude (#6745) il y a 2 mois
  Richard Smith 108277c3f3 Support if expressions in `eval fn`. (#6725) il y a 2 mois
  Geoff Romer 7f29436d4e Restore the name of GetCompileTimeBindValue. (#6733) il y a 2 mois
  Richard Smith 1b2ae912fc Add basic support for `eval fn` and `musteval fn`. (#6694) il y a 2 mois
  Jon Ross-Perkins 45ca3d28f5 Drop "diagnostic" from some filenames in the "diagnostics" folder (#6686) il y a 2 mois
  Richard Smith c0b24047dd Interop support for initialization via `std::initializer_list`. (#6672) il y a 3 mois
  Vinicius Silva f42352759f Adding support for `UInt`-to-`char` conversion (#6425) il y a 3 mois
  Richard Smith 31919afa24 Allow conversion between `T*` and `Cpp.void*`. (#6575) il y a 3 mois
  Jon Ross-Perkins c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) il y a 4 mois
  Ammar Alassal a848ae11e4 Added string indexing (#6329) il y a 4 mois