What steps will reproduce the problem?
Try to typecheck any program with java.lang.System.out.println in the source.
This will produce a typechecking error. It also fails to lookup the correct
method at runtime.
What is the expected output? What do you see instead?
The expected output is that the typechecker successfully typechecks and
whatever string argument that is passed to println is printed to the screen
when the program is run. Instead, there is a typechecking error and a runtime
error.
Please use labels and text to provide additional information.
We need to add the info we get from the package rep and state table stuff into
the initial context so that the typechecker can find things included by default
(especially on the Java side, e.g. java.lang.*). I'm not quite sure why this
fails at runtime, however. It appears that the LNF processing screwed up the
series of derefs that were trying to look up java.lang.System.out.println.
Original issue reported on code.google.com by mhahn...@gmail.com on 3 Dec 2010 at 3:40
Original issue reported on code.google.com by
mhahn...@gmail.comon 3 Dec 2010 at 3:40