Author | SHA1 Message | Date |
---|---|---|
|
e0ef859130 strict effects (#18777) | 3 years ago |
|
03c146cd93 do not track 'raise Defect' in the .raises: [] clause anymore (#14298) | 4 years ago |
|
7d6cbf290a Error -> Defect for defects (#13908) | 4 years ago |
|
3ce6b2acb9 Fix exception tracking in try blocks (#10455) | 6 years ago |