Update 001-where-clauses.md

shader-slang · Sep 6, 2024 · b4ae24d · b4ae24d
1 parent 20f9086
commit b4ae24d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/proposals/001-where-clauses.md b/docs/proposals/001-where-clauses.md
@@ -1,4 +1,4 @@
-`where` Clauses
+SP #001: `where` Clauses
 ===============
 
 We propose to allow generic declarations in Slang to move the constraints on generic type parameters outside of the `<>` and onto distinct `where` clauses.
@@ -345,4 +345,4 @@ For any generic type `X<A, B, C, ...>` appearing in:
 * the bases of a type declaration
 * the existing generic constraints
 
-The expansion step would add whatever constraints are required by `X`, with the arguments `A, B, C, ...` substituted in for the parameters of `X`.
+The expansion step would add whatever constraints are required by `X`, with the arguments `A, B, C, ...` substituted in for the parameters of `X`.