diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2022-07-18 15:23:07 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-18 15:23:07 +0000 |
| commit | 265d5e86f26d6dff9a795dace55243ac7de12134 (patch) | |
| tree | fc9fb4feb468bbbbca8265420e2b2f67ef1fe5be /gcc/fp-test.cc | |
| parent | 6920d2294b3c6f106478fd3decaa511faf3cac84 (diff) | |
| parent | d82201be88ce09c92db709573171c869d94b55fd (diff) | |
| download | gcc-265d5e86f26d6dff9a795dace55243ac7de12134.zip gcc-265d5e86f26d6dff9a795dace55243ac7de12134.tar.gz gcc-265d5e86f26d6dff9a795dace55243ac7de12134.tar.bz2 | |
Merge #1358
1358: Disambiguate generic args r=CohenArthur a=CohenArthur
Needs #1355. Only review the last commit. The next steps are to typecheck const generics and then lower them to TREE
This removes all the hacks previously introduced to resolve ambiguous
generic args as types, and adds proper disambiguation.
The algorithm is as follows:
is that name referring to a type?
-> disambiguate to a type
is that name referring to a value?
-> disambiguate to a const value
else
-> disambiguate to type
Since types are the default expected behavior, this allows us to report
type errors properly during typechecking.
Co-authored-by: Arthur Cohen <arthur.cohen@embecosm.com>
Diffstat (limited to 'gcc/fp-test.cc')
0 files changed, 0 insertions, 0 deletions