Commit Verlauf

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