> 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?
>
Suppose in some function definition some variable is of type A s a and I
want to do something like this : if the type variable of the first parameter
in A s a
is s then do this if not then do something else.
It should be some sort of program flow during compilation before the code is
generated.
Friendly
Jan Brosius
