Menu
▾
▴
#88 spurious typechecking errors in Generic MultiJava
I tried to compile Polyglot with the current version of
mjc and got a number of spurious typechecking errors.
(Polyglot compiles fine with the 1.2 release of mjc.)
All of the typechecking errors are similar to the
following:
[javac] File "src/java_cup/assoc.java", line 8,
character 13 error: "java_cup.assoc.<clinit>( )" has
same signature with method "java.lang.Object.<clinit>(
)" but not indirectly override [Generic MultiJava]
The file assoc.java is attached. The typechecker
thinks the class's static initializer does not properly
override Object's static initializer. For some reason,
assoc.java seems to compile fine on its own, even
though it fails to compile during the Polyglot build
process. I was unfortunately unable to come up with a
small test case that exhibits the error on its own.
Logged In: YES
user_id=635640
Gary, what should we do with this bug now that Tongjie is gone? Or is he
planning on continuing work with mjc?
Logged In: YES
user_id=633675
It should still be assigned to Tongjie, as he's supposed to
finish this work for his MS thesis. I'm expecting he will and
hoping so... Of course if someone else can fix this, they
would be welcome to do so...
Logged In: YES
user_id=637881
Thanks Tongjie, for fixing that bug. Now compiling Polyglot
with mjc gets a lot further than before! However, it still
fails later on with another spurious Generic MultiJava error:
File "src/polyglot/ext/jl/qq/QQ.java", line 132,
character 12 error: Method "list" has duplicate signature
after erasure [Generic MultiJava]
The "list" method is overloaded a bunch, so possibly there's
a problem with type erasure in the presence of static
overloading? I've attached the file in question (I tried
briefly to make a smaller test case but failed). Thanks again.
Logged In: YES
user_id=633675
We also need to find someone to deal with this bug, as
Tongjie is probably not going to have time to work on it.
Logged In: YES
user_id=633675
Tongjie says he'll take a look at it again.
Logged In: YES
user_id=633675
Tongjie says he'll take a look at it again.
Logged In: YES
user_id=633675
Well, it looks as if Tongjie is not going to get to this.
Does anyone have time and interest?
Logged In: YES
user_id=1527756
Could you maybe provide a link to the Polyglot sources which
trigger those errors?
Logged In: YES
user_id=633675
Unfortunately, I don't have a direct way to get you this file.
But I think you'll find an example if you compile a
moderately sized or larger Java program with the -G flag
turned on. Or use the version of Polyglott from November
2004 (see the original bug reports below).
Logged In: YES
user_id=633675
Werner, I'm assigning this to you so that if Ovidio (or
you) run across this problem in some simpler test case,
you may be able to recognize it, and perhaps fix it. If
you or Ovidio can't fix it, that it's okay, but I think
there is some lurking problem that you will most likely
run across in the work on generics. Thanks.