Revision - 15ab026 - inference: add reflection utility for exception type analysis - origin: https://github.com/JuliaLang/julia

visit type:

https://github.com/JuliaLang/julia

19 April 2024, 06:28:37 UTC

Revision 15ab0262bf015ec9e41df89f718d6718c2bb1ee6 authored by Shuhei Kadowaki on 20 November 2023, 17:59:58 UTC, committed by Shuhei Kadowaki on 21 November 2023, 09:15:27 UTC

inference: add reflection utility for exception type analysis

This commit defines functions that mirror our tools for analyzing return
types and computational effects.

The key point to discuss is that this commit introduces two functions:
`Base.exception_types` and `Base.exception_type`. `Base.exception_types`
acts like `Base.return_types`, giving a list of exception types for each
method that matches with the given call signature. On the other hand,
`Base.exception_type` is akin to `Base.infer_effects`, returning a
single exception type that covers all potential outcomes entailed by the
given call signature. I personally lean towards the latter for its
utility, particularly in testing scenarios, but I included
`exception_types` too for consistency with `return_types`.
I'd welcome any feedback on this approach.

1 parent 65090d1

Files
Changes

Permalinks

Tip revision: 15ab0262bf015ec9e41df89f718d6718c2bb1ee6 authored by Shuhei Kadowaki on 20 November 2023, 17:59:58 UTC
inference: add reflection utility for exception type analysis

Tip revision: 15ab026

File	Mode	Size
.devcontainer
.github
base
cli
contrib
deps
doc
etc
src
stdlib
test
.buildkite-external-version	-rw-r--r--	5 bytes
.clang-format	-rw-r--r--	3.3 KB
.clangd	-rw-r--r--	114 bytes
.codecov.yml	-rw-r--r--	52 bytes
.git-blame-ignore-revs	-rw-r--r--	371 bytes
.gitattributes	-rw-r--r--	65 bytes
.gitignore	-rw-r--r--	523 bytes
.mailmap	-rw-r--r--	12.7 KB
CITATION.bib	-rw-r--r--	513 bytes
CITATION.cff	-rw-r--r--	940 bytes
CONTRIBUTING.md	-rw-r--r--	23.4 KB
HISTORY.md	-rw-r--r--	372.8 KB
LICENSE.md	-rw-r--r--	1.3 KB
Make.inc	-rw-r--r--	55.9 KB
Makefile	-rw-r--r--	30.3 KB
NEWS.md	-rw-r--r--	6.0 KB
README.md	-rw-r--r--	7.3 KB
THIRDPARTY.md	-rw-r--r--	3.8 KB
VERSION	-rw-r--r--	11 bytes
julia.spdx.json	-rw-r--r--	35.8 KB
pkgimage.mk	-rw-r--r--	5.8 KB
sysimage.mk	-rw-r--r--	4.2 KB
typos.toml	-rw-r--r--	78 bytes

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...

https://github.com/JuliaLang/julia

inference: add reflection utility for exception type analysis

README.md