search

antalsz / hs-to-coq

Convert Haskell source code to Coq source code
https://hs-to-coq.readthedocs.io
MIT License
279 stars 27 forks source link

Sort defintions more carefully #15

Open nomeata opened 7 years ago

nomeata commented 7 years ago

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 commented 6 years ago

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