Skip to content

Conversation

@Anton-Latukha
Copy link
Collaborator

@Anton-Latukha Anton-Latukha commented Jan 7, 2021

Aligning instances according to the logical inheritance structure which is layed-out in the #778.

Since this PR is easier, waiting to be mergeable with #804. It changed some of the instances touched here.

@Anton-Latukha Anton-Latukha force-pushed the 2021-01-07-treating-orphans branch from 0503332 to 124a9f3 Compare January 21, 2021 09:31
@Anton-Latukha Anton-Latukha force-pushed the 2021-01-07-treating-orphans branch from 124a9f3 to e935904 Compare February 8, 2021 21:53
@Anton-Latukha
Copy link
Collaborator Author

Anton-Latukha commented Feb 8, 2021

The #804 would free us from the StdIdT and so its instances.

@Anton-Latukha Anton-Latukha force-pushed the 2021-01-07-treating-orphans branch from 574644b to 3c44459 Compare February 8, 2021 23:26
@Anton-Latukha Anton-Latukha force-pushed the 2021-01-07-treating-orphans branch from 3c44459 to ecab803 Compare February 8, 2021 23:28
@Anton-Latukha Anton-Latukha marked this pull request as ready for review February 9, 2021 00:16
@Anton-Latukha Anton-Latukha force-pushed the 2021-01-07-treating-orphans branch from 6cac906 to 8c6fb78 Compare February 9, 2021 00:18
@Anton-Latukha
Copy link
Collaborator Author

Upstreamed the instance MonadAtomicRef (ST s): mainland/ref-tf#4

@Anton-Latukha Anton-Latukha merged commit fccb886 into master Feb 9, 2021
@Anton-Latukha Anton-Latukha deleted the 2021-01-07-treating-orphans branch February 9, 2021 00:45
@Anton-Latukha Anton-Latukha changed the title Treating orphans Children finding their parents Feb 9, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants