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.

Sign up for GitHub

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

Jump to bottom

Generics details 9: forward declarations #1084

Merged
merged 57 commits into from
Apr 13, 2022
Merged

Generics details 9: forward declarations #1084

Show file tree
Hide file tree
Changes from 51 commits
Commits
Show all changes
57 commits
Select commit Hold shift + click to select a range
986b7e8
Filling out template with PR 1084
josh11b Feb 11, 2022
821e99a
Rough draft with the main points to make
josh11b Feb 11, 2022
881a329
Update examples
josh11b Feb 12, 2022
3107b8c
Mark defaults with `default` so they may be declared separately
josh11b Feb 14, 2022
26ccbc7
Out-of-line definition of final members
josh11b Feb 15, 2022
b6641e1
Impls definitions for incomplete types
josh11b Feb 15, 2022
ff75bfa
Work on proposal text
josh11b Feb 15, 2022
ff823d5
Finish first pass of design
josh11b Feb 15, 2022
e6e7c32
Polish examples
josh11b Feb 16, 2022
a198167
Fix up alternatives
josh11b Feb 16, 2022
7f4d803
Filling out template with PR 1084
josh11b Feb 11, 2022
90aa390
Rough draft with the main points to make
josh11b Feb 11, 2022
36f1de5
Update examples
josh11b Feb 12, 2022
3adddb4
Mark defaults with `default` so they may be declared separately
josh11b Feb 14, 2022
a588241
Out-of-line definition of final members
josh11b Feb 15, 2022
029faa7
Impls definitions for incomplete types
josh11b Feb 15, 2022
a57e37e
Work on proposal text
josh11b Feb 15, 2022
451bfb5
Finish first pass of design
josh11b Feb 15, 2022
91ed3e5
Polish examples
josh11b Feb 16, 2022
2890173
Fix up alternatives
josh11b Feb 16, 2022
f5d840a
Merge branch 'forward' of github.com:josh11b/carbon-lang into forward
josh11b Feb 16, 2022
369010f
Remove future work, add reference to this proposal
josh11b Feb 16, 2022
0837099
impl -> impl as
josh11b Feb 16, 2022
221824a
Impls must be declared before being queried
josh11b Feb 22, 2022
ad1ad08
Merge remote-tracking branch 'upstream/trunk' into forward
josh11b Feb 23, 2022
081c07e
Apply suggestions from code review
josh11b Feb 28, 2022
621c036
Merge github.com:josh11b/carbon-lang into forward
josh11b Feb 28, 2022
9e34707
Merge branch 'forward' of github.com:josh11b/carbon-lang into forward
josh11b Feb 28, 2022
6ff944a
Fix formatting
josh11b Feb 28, 2022
65680ad
Fix formatting
josh11b Feb 28, 2022
50f6012
Checkpoint progress.
josh11b Mar 1, 2022
adf55c1
Expand rationale
josh11b Mar 3, 2022
f0bd96a
Can't access members of interface in its own definition
josh11b Mar 4, 2022
07f3f1f
Impls need only be declared in prioritization blocks
josh11b Mar 4, 2022
648cc85
Clarify match_first can use defined impls explicitly.
josh11b Mar 4, 2022
cebd6e8
Changes based on feedback
josh11b Mar 10, 2022
24f05a3
Forward declaring named constraints
josh11b Mar 10, 2022
c9cdca6
Don't repeat `private`
josh11b Mar 10, 2022
54258bf
Forward-declared named interfaces help more
josh11b Mar 10, 2022
8020e83
Apply suggestions from code review
josh11b Mar 10, 2022
8574984
Fix formatting
josh11b Mar 11, 2022
9647692
Update docs/design/generics/details.md
josh11b Mar 11, 2022
3db88c9
Fix formatting
josh11b Mar 11, 2022
57ca055
Incorporate feedback, discussion, and #1132
josh11b Mar 16, 2022
4384c09
`Self` should not be equivalent to `Self` in another context
josh11b Mar 17, 2022
015d68f
Reflect merging of #875
josh11b Mar 17, 2022
c76af8c
Merge remote-tracking branch 'upstream/trunk' into forward
josh11b Mar 17, 2022
3a2514a
Enable link
josh11b Mar 17, 2022
bf2dc7e
Update overview
josh11b Mar 18, 2022
60caa63
This implements the resolution of #1132
josh11b Mar 23, 2022
d982c7f
Specify what `Self` matches
josh11b Mar 27, 2022
ac3d570
Apply suggestions from code review
josh11b Apr 8, 2022
1164386
Implement review suggestions
josh11b Apr 8, 2022
872c334
Merge remote-tracking branch 'upstream/trunk' into forward
josh11b Apr 8, 2022
5cec063
Checkpoint progress.
josh11b Apr 8, 2022
6e78b58
Fix bad merge
josh11b Apr 9, 2022
0348ec3
Update proposals/p1084.md
josh11b Apr 10, 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