Added data options
Eliminators working for some type - still experimental. Will create a way to make them work with the elim type class
Fixed testing failures I accidentally introduced when showing a better naming for machine generated names (so that I could better debug)
Fixed malformed haddock comments
Generate Haddock as a part of testing
Merge remote-tracking branch 'jfdm/haddock' into haddock-on-test
Some interactive editing fixes

Case splitting on 'case' expressions fixed, and 'with' now
generated more neatly.
Merge branch 'master' of github.com:idris-lang/Idris-dev
`showCG` should be recursive and not use `show`
Use `showCG` instead of `show` when loading package names

`showCG` is for showing names, but for code generation

`show` is for showing names, but human readable

At the moment these do the same for namespaces but we probably
shouldn't rely on that.
AbsSyntaxTree `showName` should use `showCG`, not `show`
Replace partial `showDeclImp` function with total `dumpDecl`

Remove original `dumpDecl` and replace call to `dumpDecls` with call
to `showDecls True`.
Report top level class resolution failure

Rather than the innermost - prevents strange error reporting when
chasing parent classes that have no hope of resoloving.
Merge pull request #692 from puffnfresh/show-changes

Show changes
Merge branch 'feature/eliminators' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/eliminators
Update result of reg028

Name generation order has changed for 'with' clauses, due to more uses
of getName.
Merge pull request #688 from david-christiansen/haddock-on-test

Haddock on test
Add a test_c target for testing C back end only
DecEq instances for some primitive types
Invent names when case splitting

Although the choices are not always very good, this is useful because
it means if any names are unified, you get told about it directly.

Names are taken from binder names, and a digit added if they are not
unique.