gistfile1

~/projects/mirah ➔ mirahc --java -e "def foo(a:String); puts a; end; foo('Hello, Java')"
Parsing...
  <inline script>
Inferring types...
Compiling...
  DashE
Done!

~/projects/mirah ➔ cat DashE.java 
// Generated from DashE
public class DashE extends java.lang.Object {
  public static void main(java.lang.String[] argv) {
    DashE.foo("Hello, Java");
  }
  public static java.io.PrintStream foo(java.lang.String a) {
    java.io.PrintStream temp$1 = java.lang.System.out;
    temp$1.println(a);
    return temp$1;
  }
}