On 29-Apr-2000, Jan Brosius <[EMAIL PROTECTED]> wrote:
>
> Is it possible to interrogate the typechecker
> from within a Haskell program
You can of course invoke a Haskell typechecker (e.g. Hugs) as a separate process.
Why do you ask? What kind of questions do you want to ask the type checker?
--
Fergus Henderson <[EMAIL PROTECTED]> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger [EMAIL PROTECTED] | -- the last words of T. S. Garp.