Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: d0f3ad6e6dfcdcec2d4be7019e8b612f30f528a8
https://github.com/WebKit/WebKit/commit/d0f3ad6e6dfcdcec2d4be7019e8b612f30f528a8
Author: Tadeu Zagallo <[email protected]>
Date: 2023-03-03 (Fri, 03 Mar 2023)
Changed paths:
M Source/WebGPU/WGSL/TypeCheck.cpp
M Source/WebGPU/WGSL/TypeCheck.h
M Source/WebGPU/WGSL/TypeDeclarations.rb
M Source/WebGPU/WGSL/WGSL.cpp
Log Message:
-----------
[WGSL] Re-land 260735@main
https://bugs.webkit.org/show_bug.cgi?id=253144
rdar://106078179
Reviewed by Myles C. Maxfield.
The commit had to reverted together with 260433@main because of build issues
with
the JavaScript DSL, so now we re-land it on top of the ruby DSL.
About the actual change (from the original PR):
At first, since there was very little of the type checking implemented, it was
only run right before generating code, errors were only printed and guarded by
a compiler-time flag. While the type checker is still far from complete, it can
now correctly check the examples we've been using for development, so we can
move
it into the validation phase.
* Source/WebGPU/WGSL/TypeCheck.cpp:
(WGSL::TypeChecker::check):
(WGSL::typeCheck):
* Source/WebGPU/WGSL/TypeCheck.h:
* Source/WebGPU/WGSL/TypeDeclarations.rb:
* Source/WebGPU/WGSL/WGSL.cpp:
(WGSL::staticCheck):
(WGSL::prepareImpl):
Canonical link: https://commits.webkit.org/261127@main
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
