Re: Type Inference Error

[Patrick LAM <plam@sable.mcgill.ca>]

On Mon, 30 Aug 1999, Liang Guo wrote:

> Hi, 
> 
> I am not quite if this is some bug or not. I am using jasmin-1.06-s3,
> sableUtil-1.11, and soot-1.beta.3. I developped an Interprocedural
> Slicing package on Soot, and now I am doing experiments on benchmarks
> of jvm98. Most of benchmarks are fine, except two, _202_jess, _213_javac.
> The problem is a RuntimeException: type inference failed. I liseted the
> stack track below for both benchmarks. I am wondering if you also use
> jvm98 as benchmarks for your experimental works, and if you encountered
> this same problem, if so how did you solve it. So, I can make my
> experimental work move on. :-)

I think that the first thing is to try 1.beta.4.  There have been many
fixups to the type inference, and I think that some of them fix problems
with the spec benchmarks (which we can certainly get through.)

If 1.beta.4 doesn't manage to jimplify jvm, then Release 1 will certainly
fix it, when it is available.

pat