{"push_id":2047909994,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"575230b93370fea86ecccb53fba73927280e917b","before":"9a231a5efb0ddce635e7e40c2d5b086ff4bd389a","commits":[{"sha":"575230b93370fea86ecccb53fba73927280e917b","author":{"name":"Tim Foley","email":"4483be28d7b118b23be41d8cd38a24491f0ef11e@users.noreply.github.com"},"message":"Work towards target-specific function overloads (#210)\n\n* Checkpoint: interface conformance work\r\n\r\n- Add explicit definition of `saturate` for the GLSL target, which calls through to `clamp`\r\n\r\n- Needed to add explicit initializer to `__BuiltinFloatingPointType` to allow initialization from a single `float`, so that the `saturate` implementation can be sure that it can initialize a `T` from `0.0` or `1.0`.\r\n\r\n- This triggered errors in overload resolution, because the logic in place could not figure out that the `T` of the outer generic (`saturate<T>()`) conformed to the interface required by the callee.\r\n\r\nAt this point I have the call to the scalar `clamp()` getting past type-checking, but not the vector or matrix cases.\r\n\r\n* More fixups for overload resolution inside generics\r\n\r\n- Make sure value parameters are treated the same as type parameters: we only want to solve for the parameters of the generic actually being applied, and not accidentally generate constraints for outer generics (e.g., when checking the body of a generic function).\r\n\r\n- Make sure that the diagnostics stuff uses the correct source manager when expanding the location of a builtin.\r\n\r\n* Fixes for function redeclaration\r\n\r\n- Handle case of redeclaring a generic function\r\n  - Enumerate siblings in the parent of the *generic* not the parent of the *function*\r\n  - Add logic to compare generic signatures\r\n  - When generic signatures match, specialize functions to compatible generic arguments before comparing the function signatures\r\n\r\n- Fix redeclaration logic to *not* detect prefix/postifx operators as redeclarations of one another\r\n\r\n- Build an explicit representation of function redeclaration groups\r\n  - First declaration is the \"primary\" and others are stored in a linked list\r\n\r\n- Make overload resolution handle redeclared functions\r\n  - Only consider the primary declaration and skip others","distinct":true,"url":"https://api.github.com/repos/shader-slang/slang/commits/575230b93370fea86ecccb53fba73927280e917b"}]}
{"actor":{"display_login":"tfoleyNV"}}