Syntax: Method call

[alcides]

Assume you have the following code:

def Int.toString : (n:Int) -> String = native "str";
def Int.plus : (n:Int) -> (m:Int) -> Int = \x -> \y -> x+y;

You should be able to write:

s : String = 1.toString
v : String = (1.plus 2).toString

Implementing this is not necessarily trivial in the current version. You need:

• [ ] Add MethodCall to the Sugar AST.
• [ ] Pre-annotate Sugar AST with (possibly non-liquid) types.
• [ ] Replace MethodCalls with the correct Core syntax, during elaboration.

Depends on #26.