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

Plutarch 1.2 #317

Merged
merged 738 commits into from
Aug 1, 2022
Merged

Plutarch 1.2 #317

merged 738 commits into from
Aug 1, 2022

Conversation

L-as
Copy link
Member

@L-as L-as commented Feb 22, 2022 •
edited
Loading

See Plutarch 1.2 label

@srid srid added this to the 1.2 milestone Feb 22, 2022
@TotallyNotChase TotallyNotChase linked an issue Feb 23, 2022 that may be closed by this pull request
More informative errors on plift #319
Closed
@L-as L-as linked an issue Feb 24, 2022 that may be closed by this pull request
Plutarch 1.2 #315
Closed
L-as
L-as commented Mar 8, 2022
View reviewed changes
Plutarch/Internal/Generic.hs Outdated Show resolved Hide resolved
blamario
blamario reviewed Mar 15, 2022
View reviewed changes
Plutarch/Lift.hs Show resolved Hide resolved
Plutarch/Bool.hs Outdated Show resolved Hide resolved
Plutarch/Internal/Generic.hs Outdated Show resolved Hide resolved
@L-as
Copy link
Member Author

L-as commented Mar 16, 2022

#385

This was linked to issues Mar 17, 2022
Remove redundant #&& in PEq generic instance #368
Closed
Check for unused goldens in CI #389
Closed
@L-as L-as linked an issue Apr 7, 2022 that may be closed by this pull request
No proper stack traces when tests fail #295
Closed
This was linked to issues Apr 8, 2022
Fix kind of HRec #385
Closed
Fix remaining issues in #326 #400
Closed
Can't use OverloadedRecordDot when extracting the "data" field from PTxInfo #369
Closed
Fix pto for PDataRecord xs #392
Closed
Unexport hrecField #402
Closed
@TotallyNotChase
Copy link
Collaborator

TotallyNotChase commented Apr 9, 2022 •
edited
Loading

GitHub doesn't let me link more issues so I'll keep a tally of the other issues that will also be closed by this PR.

@TotallyNotChase
Copy link
Collaborator

I'm fixing the CI failure.

This was unlinked from issues Apr 19, 2022
No proper stack traces when tests fail #295
Closed
Plutarch 1.2 #315
Closed
More informative errors on plift #319
Closed
Remove redundant #&& in PEq generic instance #368
Closed
Can't use OverloadedRecordDot when extracting the "data" field from PTxInfo #369
Closed
Fix kind of HRec #385
Closed
Check for unused goldens in CI #389
Closed
Fix pto for PDataRecord xs #392
Closed
Fix remaining issues in #326 #400
Closed
Unexport hrecField #402
Closed
@L-as L-as linked an issue Apr 19, 2022 that may be closed by this pull request
Plutarch 1.2 #315
Closed
danielfarrelly and others added 27 commits July 13, 2022 18:20
@danielfarrelly
Update PTryFrom instances for Plutarch 1.2
9d482e2
@L-as
Merge branch 'staging' into df/upstream-ptryFrom-instances
26e7f86
@emiflake
Drop PAsData from TxInfo where it is redundant
160cce0
@L-as
Merge pull request #521 from Plutonomicon/emiflake/drop-as-data-api
829f7d6 
Drop `PAsData` from TxInfo where it is redundant
@TotallyNotChase
Partial ordering relations and type sig fixes
3574284
@TotallyNotChase
Minor changes
13547f4
@TotallyNotChase
More CSE in pcheckBinRel
4364bd0
@TotallyNotChase
Eta reduction for pcheckBinRel
96a58ef
@L-as
Merge pull request #524 from Plutonomicon/pvalue-order
273552f 
`PValue` ordering
@TotallyNotChase
Fix parens wrapping on prettifier
ebc94bf 
Also add some more docs
@L-as
Merge pull request #527 from Plutonomicon/pretty-fix
c25c5a7 
Fix parens wrapping on prettifier
@TotallyNotChase
Add PPartialOrd
a8564db
@TotallyNotChase
Remove POrd instance of PValue
3852f3a 
Add `PPartialOrd` instance instead
@TotallyNotChase
Fixity declaration for PPartialOrd methods
410c1d2
@TotallyNotChase
PPartialOrd and POrd rehaul
af33579
@L-as
Merge branch 'staging' into pvalue-remove-pord
e297150
@L-as
Merge pull request #528 from Plutonomicon/pvalue-remove-pord
e23f2d9 
Remove POrd instance of PValue - add `PPartialOrd`
@TotallyNotChase
Merge branch 'staging' into df/upstream-ptryFrom-instances
104fdc5
@TotallyNotChase
Fix some PValue type sigs
0ecac88
@TotallyNotChase
ptryFrom error convention
3180ae4
@TotallyNotChase
Fix test suite compilation
d67e1ce
@TotallyNotChase
Improve PTxId PTryFrom instance
7bfb370
@TotallyNotChase
Remove Flip export and define inline everywhere
77bbe60
@L-as
Merge pull request #520 from danielfarrelly/df/upstream-ptryFrom-inst…
2f6faa2 
…ances

Update `PTryFrom` instances for Plutarch 1.2
@L-as
1.2
a89859e
@L-as
Merge remote-tracking branch 'origin/master' into staging
ab34e54
@L-as
Merge pull request #530 from Plutonomicon/las/release
2629dc2 
1.2 final
@L-as
Copy link
Member Author

L-as commented Aug 1, 2022

Waiting for CI, will merge if it passes.

@L-as L-as merged commit 3140f47 into master Aug 1, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@blamario blamario blamario left review comments

@srid srid srid left review comments

@MatthewCroughan MatthewCroughan Awaiting requested review from MatthewCroughan

@DarthPJB DarthPJB Awaiting requested review from DarthPJB

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
1.2
Development

Successfully merging this pull request may close these issues.

Plutarch 1.2
7 participants
@L-as @TotallyNotChase @srid @blamario @MangoIV @danielfarrelly @emiflake