marco-vassena/testing-agda — pull request #1 by joaopizani (2014-09-10 09:56:24+00:00)
Title: Merge branch porting2.4.2 into master

Hey Marco, I was just browsing around and reading the code this morning and then stumbled upon problems in the `Test/Converter` module related to the changes introduced in Agda 2.4.2 for the `Arg-info` and Term datatypes in the `Reflection` module.

So I made the required changes myself, and was ready to send a pull request with my own changes, when I found out that you already had a `porting2.4.2` branch ☺

Well, the branch can be fast-forward-merged into master (I did it), and apparently it all typechecks fine (Works on My Machine ⓒ)...