hs-to-coq icon indicating copy to clipboard operation
hs-to-coq copied to clipboard

Published 20 hours ago • verified publisher icon antalsz

Sort defintions more carefully

Open nomeata opened this issue 7 years ago • 1 comments

We have to do a topological sort to mix instance declarations and value declarations, and also to get instance declarations in the right order. Currently, this uses topoSortSentences. I want to see if I can make this function, or another function, a bit better at preserving the original order, so that we have to emit less order edits when things are in the right order in the source code already. examples/successors is an example for that.

nomeata avatar Sep 28 '17 15:09 nomeata

Would also fix the problem that the notations for operators are in the wrong order.

nomeata avatar Oct 11 '17 19:10 nomeata