Hi Paolo

> -- We only call code verification from the interpreter but not yet 
> from the JIT compiler?

The interp doesn't verify the code either. -- Sorry I missed that...

> I suggest following these steps:

> *) Add the code to verify some of the tables that still are not verified
> *) Work on type checking in the IL code

I agree. I'll start on the metadata code, and have a think about how to do
the type checking.

What are your thoughts on the necessity of a dataflow?

Regards

Hinne

_______________________________________________
Mono-list maillist  -  [EMAIL PROTECTED]
http://lists.ximian.com/mailman/listinfo/mono-list

Reply via email to