From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Thu, 9 Apr 2009 16:06:47 +0000 (+0200)
Subject: Add an importModule function.
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;ds=sidebyside;h=7351c9c23660a0217c42483e10ac9b7a25cb49b2;hp=7351c9c23660a0217c42483e10ac9b7a25cb49b2;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

Add an importModule function.

This function allows us to import a module inside the TcRn monad and
properly handles (family) instances. This is needed for working with the
tfp package.
---