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 6: remove facets #950

Merged
merged 40 commits into from
Jan 6, 2022
Merged
Show file tree
Hide file tree
Changes from 37 commits
Commits
Show all changes
40 commits
Select commit Hold shift + click to select a range
c2b0276
Filling out template with PR 950
josh11b Nov 12, 2021
c553ddb
Terminology, goals, starting on overview
josh11b Nov 14, 2021
5c32f62
Remove definition of facet types
josh11b Nov 15, 2021
ca1dc56
Define dependent
josh11b Nov 15, 2021
cb133b8
Overview
josh11b Nov 16, 2021
2c5000f
Checkpoint progress.
josh11b Nov 17, 2021
2f4a757
Checkpoint progress.
josh11b Nov 17, 2021
fa25003
Interfaces recap to named constraints
josh11b Nov 17, 2021
a6e5680
Unrelated fixes
josh11b Nov 17, 2021
32451e5
Up through adapters
josh11b Nov 18, 2021
bae453a
Changes based on review suggestions
josh11b Nov 18, 2021
92e7d27
Apply suggestions from code review
josh11b Nov 18, 2021
f44af82
Fix formatting
josh11b Nov 18, 2021
1571d6c
Checkpoint progress.
josh11b Nov 19, 2021
1214030
Where constraints
josh11b Nov 22, 2021
c4ba4d5
Other constraints
josh11b Nov 23, 2021
0b4b8a3
Split out unrelated edits into #965
josh11b Dec 2, 2021
d68680c
Checkpoint progress.
josh11b Dec 3, 2021
48b9f73
Checkpoint progress.
josh11b Dec 3, 2021
c4248dc
Some more work on alternatives considered
josh11b Dec 3, 2021
41bb807
Associated types outside a generic
josh11b Dec 3, 2021
3482ff4
Generic let
josh11b Dec 4, 2021
b2ddf50
Progress on proposal
josh11b Dec 4, 2021
5f0dc1c
Alternatives considered
josh11b Dec 6, 2021
35bf702
Checkpoint progress.
josh11b Dec 6, 2021
8d02bfc
Merge remote-tracking branch 'upstream/trunk' into no-facet
josh11b Dec 7, 2021
f963af5
Merge remote-tracking branch 'upstream/trunk' into no-facet
josh11b Dec 7, 2021
a4f948c
Merge remote-tracking branch 'upstream/trunk' into no-facet
josh11b Dec 9, 2021
696f3a7
Merge remote-tracking branch 'upstream/trunk' into no-facet
josh11b Dec 9, 2021
a282f81
Add reference to this pr
josh11b Dec 13, 2021
5bffe7a
Merge remote-tracking branch 'upstream/trunk' into no-facet
josh11b Dec 15, 2021
8de0afd
Apply suggestions from code review
josh11b Dec 16, 2021
510043d
Clarify based on feedback
josh11b Dec 16, 2021
373aa70
this -> me
josh11b Dec 16, 2021
64887a7
Use impl not extends in an adapter
josh11b Dec 16, 2021
bbe815c
Give interface a name
josh11b Dec 16, 2021
eb22660
Merge remote-tracking branch 'upstream/trunk' into no-facet
josh11b Jan 4, 2022
ec9b895
Apply suggestions from code review
josh11b Jan 5, 2022
dbd0faa
let template -> let
josh11b Jan 6, 2022
4c9db28
Fix
josh11b Jan 6, 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