Histórico de Commits

Autor SHA1 Mensagem Data
  Jon Ross-Perkins 9704dc670e Change the Destroy blanket impls to be more specific (#6098) há 7 meses atrás
  Richard Smith b44ba47cf3 Don't treat dependent types as having a copy value representation. (#6055) há 7 meses atrás
  Jon Ross-Perkins 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) há 7 meses atrás
  Jon Ross-Perkins 0518fdebbc Fix potential fingerprint conflict in constraints (#6033) há 7 meses atrás
  Jon Ross-Perkins 7ccc1e0144 Expand naming for impls and functions (#5808) há 9 meses atrás
  Dana Jansens bcba76aca7 Require file tests to specify a min-prelude (#5818) há 9 meses atrás
  Richard Smith 80529aaef9 Convert the scrutinee of a binding pattern to the right category. (#5662) há 10 meses atrás
  Alina Sbirlea 77afd0678b Prototype for coalescing equivalent specifics of the same generic. (#5314) há 11 meses atrás