edwinb/Idris-dev — pull request #480 by david-christiansen (2013-09-13 16:26:41+00:00)
Title: Prevent duplicate dynamic linking

This fixes a bug where :r would stop type providers from working.