Fix typechecker's Java typeing

[GoogleCodeExporter]

The typechecker seems to have some issues interoperating with Java types, 
namely:
- Not treating Java void methods as type Signal
- Can't understand many constructor types

Original issue reported on code.google.com by jthywissen on 3 Aug 2013 at 4:35

[GoogleCodeExporter]

Here's an example of the constructor type problem:

Try to invoke this c'tor: String(char[], int, int) -- always get type error
(One way to get a char[] is to use java.nio.CharBuffer.allocate(int).array() )

And, here's an additional bug:

Try to type a call to java.util.Hashtable.remove(Object) -- Need to cast Orc 
Strings and Integers to some random Java class

Original comment by jthywissen on 3 Aug 2013 at 8:01

[GoogleCodeExporter]

Original comment by jthywissen on 9 Sep 2013 at 10:07

• Added labels: Milestone-2.1

[GoogleCodeExporter]

One of the problems:  The typechecker (as documented in a FIXME) does not use 
JLS § 15.12.2.5 rules to find the most specific method to invoke on a call to 
a method with more than one applicable method, but simply uses the first one 
that allows the call to typecheck.

Original comment by jthywissen on 12 Sep 2013 at 5:13

• Changed title: Fix typechecker's Java typeing

[GoogleCodeExporter]

Original comment by jthywissen on 12 Sep 2013 at 6:07

• Changed state: Started

[GoogleCodeExporter]

This issue was closed by revision r3264.

Original comment by jthywissen on 12 Sep 2013 at 8:58

• Changed state: Fixed

[GoogleCodeExporter]

This issue was closed by revision r3268.

Original comment by jthywissen on 15 Sep 2013 at 12:06