27 Fév
2017
27 Fév
'17
17:52
Do we want to allow:
mult : Int => Int -> Int; mult x y = x * y;
Currently this will produce an error because mult x y = x * y; is transformed to (lambda_->_ x (lambda_->_ y (_*_ x y))) when the expression is translated from sexp to pexp.
--
Pierre Delaunay