Bug 177045

Summary: WSL should have a way to express pointers that are generic over address space
Product: WebKit Reporter: Filip Pizlo <fpizlo>
Component: WebGPUAssignee: Nobody <webkit-unassigned>
Status: RESOLVED WONTFIX    
Severity: Normal CC: mmaxfield
Priority: P2    
Version: WebKit Nightly Build   
Hardware: All   
OS: All   
Bug Depends on: 177303    
Bug Blocks: 176199    

Description Filip Pizlo 2017-09-16 19:43:10 PDT
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.
Comment 1 Myles C. Maxfield 2018-08-29 17:07:17 PDT
We don't have generics any more, so this doesn't make any sense.
Comment 2 Myles C. Maxfield 2018-10-13 16:35:42 PDT
Migrated to https://github.com/gpuweb/WHLSL/issues/129