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

Generic details 9: default impl #1034

Closed
wants to merge 26 commits into from
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
26 commits
Select commit Hold shift + click to select a range
9df8d68
Filling out template with PR 1034
josh11b Jan 19, 2022
b680c26
Start proposal text
josh11b Jan 20, 2022
c077064
Filling out template with PR 1034
josh11b Jan 19, 2022
bc91466
Start proposal text
josh11b Jan 20, 2022
e8cfd56
Merge branch 'impl-default' of github.com:josh11b/carbon-lang into im…
josh11b Jan 25, 2022
94a4d09
Alternatives
josh11b Jan 27, 2022
a275c40
Merge remote-tracking branch 'upstream/trunk' into impl-default
josh11b Jan 27, 2022
ac9d249
Start reorganization
josh11b Jan 27, 2022
139f040
Merge remote-tracking branch 'upstream/trunk' into impl-default
josh11b Jan 27, 2022
c74f819
Checkpoint progress.
josh11b Jan 29, 2022
8cd76da
Checkpoint progress.
josh11b Jan 29, 2022
5332e4c
Finish first pass on proposal text
josh11b Jan 31, 2022
f3d9cae
Finish details
josh11b Jan 31, 2022
5d5d7e3
Apply suggestions from code review
josh11b Jan 31, 2022
1fddebe
Fix
josh11b Jan 31, 2022
39e52c7
Checkpoint progress.
josh11b Feb 3, 2022
6bb20bc
Add to proposal
josh11b Feb 3, 2022
ed04e06
Both interfaces in the same library
josh11b Feb 3, 2022
d9dd9a8
Weaker constraints
josh11b Feb 3, 2022
dfedac7
Defaults for other types
josh11b Feb 3, 2022
a16f02f
`observe` alternative
josh11b Feb 4, 2022
fafd2bd
Interface members with defaults use `default` keyword
josh11b Feb 7, 2022
4b2af95
Finer control over defaults
josh11b Feb 7, 2022
3f90eec
Out-of-line defaults
josh11b Feb 8, 2022
8a5d2c7
Apply suggestions from code review
josh11b Feb 9, 2022
dffdd16
Fix
josh11b Feb 9, 2022
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
Loading