From b4ae24dd079d86d34a84eb84a6c30937db47bf18 Mon Sep 17 00:00:00 2001 From: Yong He Date: Thu, 5 Sep 2024 21:06:48 -0700 Subject: Update 001-where-clauses.md --- docs/proposals/001-where-clauses.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/proposals/001-where-clauses.md b/docs/proposals/001-where-clauses.md index 086248386..0e49735e2 100644 --- 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` 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`. \ No newline at end of file +The expansion step would add whatever constraints are required by `X`, with the arguments `A, B, C, ...` substituted in for the parameters of `X`. -- cgit v1.2.3