edwinb/Idris-dev — pull request #335 by david-christiansen (2013-06-19 10:39:47+00:00)
Title: Updates to type provider infrastructure

This improves strictness behaviour, makes prim__readString work more like the C code, and makes test026 work with the improved prim__readString.