[nhc-users] Type inference

[sonja groening]

Hi!

Working with the nhc is new to me and the way I want to use it, is not
very usual, I guess. 

I'd like to use the nhc to do type inference (instead of writing it by
myself :-) 

I tried to understand the code fragments that do this inference, but I
wasn't lucky at all...

Now I wonder if there's anybody on this mailing list, who could help
me. I'd like to know in which way the information about types is
stored and how I can get access to this information.

For any answers: Thanks a lot!!

sonja
uni bremen

-- 
Die naechste WM ist erst 2006.