RESOLVED WONTFIX 177045
WSL should have a way to express pointers that are generic over address space 
https://bugs.webkit.org/show_bug.cgi?id=177045
Summary WSL should have a way to express pointers that are generic over address space
Filip Pizlo
Reported 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.
Attachments
Add attachment proposed patch, testcase, etc.
Myles C. Maxfield
Comment 1 2018-08-29 17:07:17 PDT
We don't have generics any more, so this doesn't make any sense.
Myles C. Maxfield
Comment 2 2018-10-13 16:35:42 PDT
Migrated to https://github.com/gpuweb/WHLSL/issues/129
Note You need to log in before you can comment on or make changes to this bug.