Closed vext01 closed 4 years ago
Includes a fair amount of churn due to necessary ykpack changes and for modularity.
E.g. Make lower_place() return ykpack::Place, not ykpack::Local.
Companion PR: https://github.com/softdevteam/yk/pull/50
We will need a 3-stage merge.
(Tests still running, but we can review in parallel)
tests passing.
Please squash and start 3-way merge.
squashed and added cycle breaker.
ready for bors.
bors r+
Includes a fair amount of churn due to necessary ykpack changes and for modularity.
E.g. Make lower_place() return ykpack::Place, not ykpack::Local.
Companion PR: https://github.com/softdevteam/yk/pull/50
We will need a 3-stage merge.