[Webkit-unassigned] [Bug 177045] New: WSL should have a way to express pointers that are generic over address space

[bugzilla-daemon at webkit.org]

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

            Bug ID: 177045
           Summary: WSL should have a way to express pointers that are
                    generic over address space
           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

This is trivial if we just say that either:

A) All pointers have to point to primitive.

B) Pointers can point to anything regardless of address space.

In either case, the address space of a pointer is decoupled from the pointed-to type, and so could be expressed as its own type variable.  Yay!

Note that (B) is totally OK - we can just say that this is an instantiation-time verification.

-- 
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/20170917/d044150e/attachment-0001.html>