https://github.com/shader-slang/slang
Revision 7ebc9875bbd765c1f6d7763b4ff0823ecc282e00 authored by Tim Foley on 22 December 2017, 18:48:55 UTC, committed by Tim Foley on 22 December 2017, 18:50:32 UTC
Fixes #326 This basically just copy-pastes logic from the explicit case over to the implicit case. After we've solved for the explicit type/value arguments, we loop over the constraints and for each one we try to find a suitable subtype witness to use (after substituting in the arguments solved so far). This change includes a test case for the new functionality.
1 parent fab52a1
Tip revision: 7ebc9875bbd765c1f6d7763b4ff0823ecc282e00 authored by Tim Foley on 22 December 2017, 18:48:55 UTC
Support generic type constraints when implicitly invoking generic
Support generic type constraints when implicitly invoking generic
Tip revision: 7ebc987
| File | Mode | Size |
|---|---|---|
| build | ||
| docs | ||
| examples | ||
| external | ||
| source | ||
| tests | ||
| tools | ||
| .gitattributes | -rw-r--r-- | 95 bytes |
| .gitignore | -rw-r--r-- | 398 bytes |
| .gitmodules | -rw-r--r-- | 107 bytes |
| .travis.yml | -rw-r--r-- | 1.6 KB |
| CODE_OF_CONDUCT.md | -rw-r--r-- | 3.1 KB |
| LICENSE | -rw-r--r-- | 1.1 KB |
| Makefile | -rw-r--r-- | 6.3 KB |
| README.md | -rw-r--r-- | 6.2 KB |
| appveyor.yml | -rw-r--r-- | 3.5 KB |
| slang.h | -rw-r--r-- | 39.1 KB |
| slang.sln | -rw-r--r-- | 9.1 KB |
| test.bat | -rw-r--r-- | 1.4 KB |
Computing file changes ...
