diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-03-09 17:52:48 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-03-09 17:52:48 -0400 |
| commit | 94ed28b4d19692cccc9da7640931ed45d31e47c6 (patch) | |
| tree | 1c57de73ec25e256d63250551c27cafdba1f63d7 /docs | |
| parent | 6abd4e80244a7fa73a7213101b1d61e4df1b6689 (diff) | |
Add better typechecking for Abort (and add `Abort` as a user-reachable
type) and check for unreachable code
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions