Repository navigation

[WIP] New Overload Resolution - #150

Draft

Vipul-Cariappa wants to merge 27 commits into

compiler-research:mainfrom

Vipul-Cariappa:dev/overload-resolution

Draft

[WIP] New Overload Resolution#150
Vipul-Cariappa wants to merge 27 commits into
compiler-research:mainfrom
Vipul-Cariappa:dev/overload-resolution

Commits on Oct 21, 2026
- [WIP] Support LLVM 23
  Vipul-Cariappa
  committed
  462440b
- Adopt Clang-driven overload resolution from CppInterOp
  Vipul-Cariappa
  committed
  681d384
- Fix crashes and overload regressions on new overload resolution
  
  aaronj0
  authored and
  Vipul-Cariappa
  committed
  e2614f4
- Update tests for new overload resolution behaviour
  
  aaronj0
  authored and
  Vipul-Cariappa
  committed
  eef45ba
- minor refactors
  Vipul-Cariappa
  committed
  340f6ef
- Implement `IsEquivalentTypes` to check if two types are equivalent
  Vipul-Cariappa
  committed
  dbcd0bc
- `BestOverloadFunctionMatch` loop optimization
  Vipul-Cariappa
  committed
  079cb17
- fix cases where `ambiguous_candidates` have duplicate entries
  Vipul-Cariappa
  committed
  f41c8f1
- Remove dead code
  Vipul-Cariappa
  committed
  d703868
- fix #151
  Vipul-Cariappa
  committed
  97d44a3
- Match the selected overload by canonical declaration
  Vipul-Cariappa
  committed
  d619e13
- Use the C++ element type name of low-level views in overloads
  Vipul-Cariappa
  committed
  767f28c
- Spell ctypes arguments as their C types in overload prototypes
  Vipul-Cariappa
  committed
  348f9c1
- Spell the object of a call through a smart pointer as the pointee
  Vipul-Cariappa
  committed
  65f2cc9
- Spell numpy scalars and arrays as their C types in overload prototypes
  Vipul-Cariappa
  committed
  b73a482
- Derive OverloadResolutionException from TypeError
  Vipul-Cariappa
  committed
  7b52afb
- Spell an empty list argument as an initializer_list
  Vipul-Cariappa
  committed
  6ff8896
- Resolve __overload__ of templated method sets with the object
  Vipul-Cariappa
  committed
  bb94897
- Bind an object of another class to T&& through a temporary
  Vipul-Cariappa
  committed
  cf3716e
- Return enum instances for data members of enum type
  Vipul-Cariappa
  committed
  f90135f
- Raise OverloadResolutionException when no template overload matches
  Vipul-Cariappa
  committed
  aec7931
- Don't leave an error set when a vector iterator has no data pointer
  Vipul-Cariappa
  committed
  3170dc6
- Fail GetMethodTemplate if the argument types can't be resolved
  Vipul-Cariappa
  committed
  206eea3
- Match keyword arguments to parameters by name in overload resolution
  Vipul-Cariappa
  committed
  a8236d0
- Honour the silent flag of interop::Compile again
  Vipul-Cariappa
  committed
  7e4e25c
- Update tests tags
  Vipul-Cariappa
  committed
  05090fc
- Let the CI run
  Vipul-Cariappa
  committed
  1db462b

Navigation Menu

Repository navigation

[WIP] New Overload Resolution - #150

[WIP] New Overload Resolution#150
Vipul-Cariappa wants to merge 27 commits into
compiler-research:mainfrom
Vipul-Cariappa:dev/overload-resolution

Commits on Oct 21, 2026

[WIP] Support LLVM 23

Adopt Clang-driven overload resolution from CppInterOp

Fix crashes and overload regressions on new overload resolution

Update tests for new overload resolution behaviour

minor refactors

Implement `IsEquivalentTypes` to check if two types are equivalent

`BestOverloadFunctionMatch` loop optimization

fix cases where `ambiguous_candidates` have duplicate entries

Remove dead code

fix #151

Match the selected overload by canonical declaration

Use the C++ element type name of low-level views in overloads

Spell ctypes arguments as their C types in overload prototypes

Spell the object of a call through a smart pointer as the pointee

Spell numpy scalars and arrays as their C types in overload prototypes

Derive OverloadResolutionException from TypeError

Spell an empty list argument as an initializer_list

Resolve overload of templated method sets with the object

Bind an object of another class to T&& through a temporary

Return enum instances for data members of enum type

Raise OverloadResolutionException when no template overload matches

Don't leave an error set when a vector iterator has no data pointer

Fail GetMethodTemplate if the argument types can't be resolved

Match keyword arguments to parameters by name in overload resolution

Honour the silent flag of interop::Compile again

Update tests tags

Let the CI run