Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Generics details part 1 #553

Merged
merged 36 commits into from
Aug 11, 2021
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
36 commits
Select commit Hold shift + click to select a range
112eae9
Filling out template with PR 553
josh11b May 25, 2021
e77f3a8
Update proposal description.
josh11b May 25, 2021
ef552e9
Copy in details.md
josh11b May 26, 2021
7956f38
Remove template content
josh11b May 26, 2021
eb25ccf
Update to new syntax.
josh11b May 27, 2021
0ea3cc8
Add some future work.
josh11b Jun 9, 2021
f47adc7
Widget -> Song
josh11b Jun 10, 2021
cccbe6c
Implement decision on #575 re: impl syntax.
josh11b Jun 23, 2021
d2cd8b0
Checkpoint progress.
josh11b Jun 25, 2021
b766a1e
Update terminology
josh11b Jun 29, 2021
c5141d1
Move rejected alternatives to an appendix?
josh11b Jun 30, 2021
f2e0cac
Move rejected impl syntax to appendix
josh11b Jun 30, 2021
db788b1
Fix link
josh11b Jul 1, 2021
e0e5e53
Fix headers
josh11b Jul 1, 2021
2185517
Checkpoint progress.
josh11b Jul 1, 2021
b80e73e
`:$` -> `:!`
josh11b Jul 9, 2021
88cefb2
Switch method syntax to #494
josh11b Jul 9, 2021
148ac6f
TODO to add link to struct doc
josh11b Jul 9, 2021
c9bc1f8
Make decision links into "references"
josh11b Jul 28, 2021
c371119
Move appendix with impl alternatives to proposal doc
josh11b Jul 28, 2021
6e44d59
Merge remote-tracking branch 'refs/remotes/origin/generics-details-1'…
josh11b Jul 28, 2021
172e43b
Fix some references questions -> proposals
josh11b Jul 28, 2021
c73e546
Finish including alternatives and rationale from #575 in proposal
josh11b Jul 29, 2021
d236d14
Refine comparison to Rust & Swift
josh11b Jul 29, 2021
22157df
`var` -> `let` for associated types
josh11b Jul 30, 2021
d1f79c0
struct -> class to reflect decision on #651.
josh11b Jul 30, 2021
7e59ac0
Merge remote-tracking branch 'upstream/trunk' into generics-details-1
josh11b Aug 4, 2021
ad110f6
Apply suggestions from code review
josh11b Aug 7, 2021
6aa0bd1
Fix formatting
josh11b Aug 7, 2021
b00896c
intefaces can extend structural interfaces
josh11b Aug 9, 2021
057c85f
Qualified syntax matches casting
josh11b Aug 9, 2021
31fdab9
Types are facets
josh11b Aug 9, 2021
bef0f43
Don't use constraints until they've been defined
josh11b Aug 9, 2021
9c615c5
`Graph` can be defined externally
josh11b Aug 9, 2021
d34b46d
Clarify interface APIs included in types
josh11b Aug 9, 2021
ef134ff
Update docs/design/generics/details.md
josh11b Aug 10, 2021
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 2 additions & 1 deletion docs/design/generics/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -16,5 +16,6 @@ feature of Carbon:
direction.
- [Terminology](terminology.md) - A glossary establishing common terminology
for describing the design.
- ~~Detailed design~~ - not implemented yet
- [Detailed design](details.md) - In depth description of how generic type
parameters work.
- ~~Rejected alternatives~~ - not implemented yet
Loading