-
has a changelog entry
This works around the dune/coq build bug by removing the dependency from the extracted Coq code to tezos-micheline, and inserting conversions back and forth between the two copies of the Micheline node type.
This is only a temporary workaround. Upcoming changes to the backend will avoid this Coq->Tezos dependency naturally. (We could also get the dune/coq bug fixed someday... It would be good to report it, but I feel obligated to create a small test project which reproduces the bug first.)
(I also snuck in some noop changes to suppress those annoying Coq warnings.)