[Webkit-unassigned] [Bug 176335] New: WSL StructTypes and Funcs should be type-specializable

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=176335

            Bug ID: 176335
           Summary: WSL StructTypes and Funcs should be type-specializable
           Product: WebKit
           Version: WebKit Nightly Build
          Hardware: All
                OS: All
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: WebGPU
          Assignee: webkit-unassigned at lists.webkit.org
          Reporter: fpizlo at apple.com

I think that we should generalize the power of casts.  Specifically, make it possible to say:

void foo<|int>() { ... }
void foo<|double>() { ... }

Then when you call foo<int>(), you get the first one, and if you call foo<double>(), you get the second one.  If you call foo<bool>(), you get an error.

In general, the syntax would be:

void foo<typeVariables | typeParameters>()

So you could say:

void foo<T, U:numeric | vec4<T>, U>() { ... }

You'd get that function if you called:

foo<vec4<int>, double>();

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20170904/95498b4a/attachment.html>