edwinb/Idris-dev — pull request #261 by JanBessai (2013-03-24 16:23:59+00:00)
Title: Improved reflection

See "samples/reflection.idr" for examples.

This currently breaks the effects lib, which uses the old provisional reflection capabilities. Therefore I've added a flag -f NoEffects which will exclude the effects lib from the build process.