agda-mode

agda-mode copied to clipboard

To-do

• [x] setup testing environment
  • [x] customize testing suite (arguably the most difficult part, screw Jasmine, now we use Mocha)
• [x] continuous integration
  • [x] hook up with Travis CI (test drive on branch spec)
  • [x] dockerize Agda
  • [ ] target OS X and Windows
• [ ] actually write down some tests
  • [x] package activation
  • [ ] commands
  • [ ] input method
  • [ ] others

What's the status on this one? It struck me while I was blundering about breaking stuff that you get a fair few tests for free that way. I don't quite know enough about Atom packages to figure out how to format tests, though.

There are many test suites (Jasmine, Mocha, Jest ...). In theory we can use any of the suite we like to write tests. However, some tests require bindings to Atom, and Atom only "supports" an old version of Jasmine, other suites would require some addition machinery.

The suite I'm prefer is Jest (works great with React, has Reasonml binding ...), but the binding is either unmaintained and dunno how to use, or broken. I think I can get this to work given I have enough time. But perhaps I should just stop using this as an excuse and starting writing unit tests that doesn't require Atom anyway :)