diff options
| author | Yong He <yonghe@outlook.com> | 2024-09-05 21:06:48 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-05 21:06:48 -0700 |
| commit | b4ae24dd079d86d34a84eb84a6c30937db47bf18 (patch) | |
| tree | 08d093a96951356a7d32f071df18047d6ac8f400 | |
| parent | 20f908612c6217099f64dafe145621efc7c2bc0a (diff) | |
Update 001-where-clauses.md
| -rw-r--r-- | docs/proposals/001-where-clauses.md | 4 |
1 files 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<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`.
\ 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`. |