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.

Reply via email to