[nem-en] About macro

[Vladimir Reshetnikov]

I want to implement the following feature:

[nemerle]
public module A
{
	public Foo(x : int, y : string) : void {}
	public Foo(x : int, y : object) : void {}
}

def info = infoof(A.Foo(int * string)); /* infoof - new feature */
[/nemerle]

that would be equivalent to

[nemerle]
public module A
{
	public Foo(x : int, y : string) : void {}
	public Foo(x : int, y : object) : void {}
}


def info = typeof(A).GetMethod(
    "Foo",
    System.Reflection.BindingFlags.Public |
System.Reflection.BindingFlags.Static,
    null,
    System.Reflection.CallingConventions.Standard,
    array[typeof(int), typeof(string)],
    null);
[/nemerle]

but with compile-time check that the target method exists.

Can Nemele macro help me with it?