diff options
| -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`. |