idris-lang/Idris-dev — pull request #692 by puffnfresh (2013-11-30 01:43:47+00:00)
Title: Show changes

I've been debugging Idris a bit to figure out how it works and I've had some problems with the `Show` instances:

* `Show Name` was used for opening files (i.e. changing the implementation would crash Idris)
* Seems like using `showCG` makes more sense
* `Show PDecl` was partial (would crash on certain nodes)
* Seems like the implementation of the total `dumpDecl` function was superior
* `showCG` would call `show` instead of being recursive

I'm happy to remove any changes from this PR if they don't make sense.