Historique des commits

Auteur SHA1 Message Date
  Andreas Rumpf e0ef859130 strict effects (#18777) il y a 3 ans
  Andreas Rumpf 03c146cd93 do not track 'raise Defect' in the .raises: [] clause anymore (#14298) il y a 4 ans
  Jacek Sieka 7d6cbf290a Error -> Defect for defects (#13908) il y a 4 ans
  LemonBoy 3ce6b2acb9 Fix exception tracking in try blocks (#10455) il y a 6 ans