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

accept standard hlists as record/variant specs #14167

Merged
merged 15 commits into from
Jun 16, 2022
Merged

accept standard hlists as record/variant specs #14167

Changes from 1 commit
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
132b6c0
prototype for accepting standard hlists as record/variant specs
S11001001 Jun 13, 2022
183e641
pass the field ValueAddends in
S11001001 Jun 13, 2022
aecd735
the steps themselves are internally consistent
S11001001 Jun 13, 2022
0072f9e
not quite so consistent
S11001001 Jun 13, 2022
0eee17a
replace RecVarSpec with new experimental example
S11001001 Jun 13, 2022
b2d1038
fix examples to work with new syntax
S11001001 Jun 13, 2022
b993be3
RNil alias for HNil; everything compiles
S11001001 Jun 13, 2022
20a7ff5
port to the record macro syntax
S11001001 Jun 13, 2022
43508c0
make HNil work, port remaining HashSpec records
S11001001 Jun 13, 2022
f21f1f3
a couple smaller specs
S11001001 Jun 13, 2022
6e596f9
better todo
S11001001 Jun 13, 2022
c267330
rename some variables to remove artifacts from old implementation
S11001001 Jun 15, 2022
7c2aa01
link to #14189
S11001001 Jun 15, 2022
5a2e1ce
Merge commit '7a4fc9f5fe9d028963bb697fdbae09684623d0c3' into 13356-tv…
S11001001 Jun 15, 2022
c5cf189
expand abbrev in example docs
S11001001 Jun 16, 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
Prev Previous commit
Next Next commit
Merge commit '7a4fc9f5fe9d028963bb697fdbae09684623d0c3' into 13356-tv… 
…g-big-step-records-variants
  • Loading branch information
@S11001001
S11001001 committed Jun 15, 2022
commit 5a2e1cec3147cf6f1a383a4a528485beaeab0a94

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.